Highly Influenced

@article{Beke2004TheoriesOP, title={Theories of presheaf type}, author={Tibor Beke}, journal={J. Symb. Log.}, year={2004}, volume={69}, pages={923-934} }

- Published 2004 in J. Symb. Log.

Let us say that a geometric theory T is of presheaf type if its classifying topos B[T ] is (equivalent to) a presheaf topos. (We adhere to the convention that geometric logic allows arbitrary disjunctions, while coherent logic means geometric and finitary.) Write Mod(T ) for the category of Set-models and homomorphisms of T . The next proposition is well known; see, for example, MacLane–Moerdijk [13], pp. 381-386, and the textbook of Adámek– Rosický [1] for additional information: Proposition 0… CONTINUE READING