Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Algebraic models of intuitionistic theories of sets and classes.”
Predicative algebraic set theory.
Algebraic aspects of topos theory
J. Lambek, P. J. Scott (1981)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
On product and change of base for toposes
Andrews Pitts (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Internal presheaves toposes
Marta Bunge (1977)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Categories with slicing.
Palm, Thorsten (2009)
Theory and Applications of Categories [electronic only]
Similarity:
Closure operators in exact completions.
Menni, Matías (2001)
Theory and Applications of Categories [electronic only]
Similarity:
Classification of concrete geometrical categories.
Diers, Yves (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Categorical domain theory: Scott topology, powercategories, coherent categories.
Karazeris, Panagis (2001)
Theory and Applications of Categories [electronic only]
Similarity:
A theory of enriched sheaves
Francis Borceux, Carmen Quinteiro (1996)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Every Grothendieck topos has a one-way site.
McLarty, Colin (2006)
Theory and Applications of Categories [electronic only]
Similarity: