A categorical proof of the equivalence of local compactness and exponentiability in locale theory
Christopher F. Townsend (2006)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Displaying similar documents to “The double powerlocale and exponentiation: A case study in geometric logic.”
A categorical proof of the equivalence of local compactness and exponentiability in locale theory
Geometric and higher order logic in terms of abstract Stone duality.
Taylor, Paul (2000)
Theory and Applications of Categories [electronic only]
Similarity:
Projective frames : a general view
B. Banaschewski (2005)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Sets and Posets with Inversions
Árpád Száz (2011)
Publications de l'Institut Mathématique
Similarity:
Another look at the localic Tychonoff theorem
Bernhard Banaschewski (1988)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Reflexive and antisymmetric relations and their systems
Jiří Rachůnek (1981)
Czechoslovak Mathematical Journal
Similarity:
Semilattice theory with applications to point-set topology
Eric Braude (1977)
Fundamenta Mathematicae
Similarity:
Exponentiability in lax slices of .
Niefield, Susan (2006)
Theory and Applications of Categories [electronic only]
Similarity: