Author: Thomas Holder Format: MarkdownItexAdded a section on the theories they classify.
<a href="https://ncatlab.org/nlab/revision/diff/localic+topos/26">diff</a>, <a href="https://ncatlab.org/nlab/revision/localic+topos/26">v26</a>, <a href="https://ncatlab.org/nlab/show/localic+topos">current</a>
Author: Thomas Holder Format: MarkdownItexAdded a remark that properness of a completely prime filter $F_0\vdash \bot$ follows from the third axiom schema.
<a href="https://ncatlab.org/nlab/revision/diff/localic+topos/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/localic+topos/27">v27</a>, <a href="https://ncatlab.org/nlab/show/localic+topos">current</a>
Added a remark that properness of a completely prime filter $F_0\vdash \bot$ follows from the third axiom schema.
Author: Thomas Holder Format: MarkdownItexAdded a reference to MacLane-Moerdijk and additional clues for paper chases in the elephant.
<a href="https://ncatlab.org/nlab/revision/diff/localic+topos/27">diff</a>, <a href="https://ncatlab.org/nlab/revision/localic+topos/27">v27</a>, <a href="https://ncatlab.org/nlab/show/localic+topos">current</a>
Added a reference to MacLane-Moerdijk and additional clues for paper chases in the elephant.
Author: Thomas Holder Format: MarkdownItexAdded a section on $Set$ as a classifying topos.
<a href="https://ncatlab.org/nlab/revision/diff/localic+topos/28">diff</a>, <a href="https://ncatlab.org/nlab/revision/localic+topos/28">v28</a>, <a href="https://ncatlab.org/nlab/show/localic+topos">current</a>