Sober spaces and continuations.
Taylor, Paul (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “Geometric and higher order logic in terms of abstract Stone duality.”
Sober spaces and continuations.
Subspaces in abstract Stone duality.
Taylor, Paul (2002)
Theory and Applications of Categories [electronic only]
Similarity:
Predicative algebraic set theory.
Awodey, Steve, Warren, Michael A. (2005)
Theory and Applications of Categories [electronic only]
Similarity:
Upsetting the foundations for mathematics
Lawrence Neff Stout (2005)
Philosophia Scientiae
Similarity:
Starting with a review of the kinds of questions a foundation for mathematics should address, this paper provides a critique of set theoretical foundations, a proposal that multiple interconnected categorical foundations would be an improvement, and a way of recovering set theory within a categorical approach.
Partial toposes.
Bénabou, Jean, Streicher, Thomas (2003)
Theory and Applications of Categories [electronic only]
Similarity:
Algebraic aspects of topos theory
J. Lambek, P. J. Scott (1981)
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:
A note on discrete Conduché fibrations.
Johnstone, Peter (1999)
Theory and Applications of Categories [electronic only]
Similarity:
On product and change of base for toposes
Andrews Pitts (1985)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Closure operators in exact completions.
Menni, Matías (2001)
Theory and Applications of Categories [electronic only]
Similarity:
The separated extensional Chu category.
Barr, Michael (1998)
Theory and Applications of Categories [electronic only]
Similarity: