The double powerlocale and exponentiation: A case study in geometric logic.
Vickers, Steven (2004)
Theory and Applications of Categories [electronic only]
Similarity:
Displaying similar documents to “A categorical proof of the equivalence of local compactness and exponentiability in locale theory”
The double powerlocale and exponentiation: A case study in geometric logic.
Cartesian spaces over and locales over
S. B. Niefield (1982)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Projective frames : a general view
B. Banaschewski (2005)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
A note on frame distributions
Anders Kock, Gonzalo Reyes (1999)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Glueing analysis for complemented subtoposes.
Kock, Anders, Plewe, Till (1996)
Theory and Applications of Categories [electronic only]
Similarity:
Geometric and higher order logic in terms of abstract Stone duality.
Taylor, Paul (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Local enrichments of categories
A. Pultr, W. Tholen (2000)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity: