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:
Relatively pseudocomplemented posets
Ivan Chajda, Helmut Länger (2018)
Mathematica Bohemica
Similarity:
We extend the notion of a relatively pseudocomplemented meet-semilattice to arbitrary posets. We show some properties of the binary operation of relative pseudocomplementation and provide some corresponding characterizations. We show that relatively pseudocomplemented posets satisfying a certain simple identity in two variables are join-semilattices. Finally, we show that every relatively pseudocomplemented poset is distributive and that the converse holds for posets satisfying the ascending...