The double powerlocale and exponentiation: A case study in geometric logic.
Vickers, Steven (2004)
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.
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: