An axiomatic account of weak triquotient assignments in locale theory

DOI10.1016/J.JPAA.2009.07.005zbMATH Open1274.18010OpenAlexW1993364369MaRDI QIDQ847673FDOQ847673

Christopher F. Townsend

Publication date: 19 February 2010

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jpaa.2009.07.005

Recommendations

• Weakly topological representation of locales
• A categorical proof of the equivalence of local compactness of exponentiability in locale theory
• scientific article; zbMATH DE number 2125651
• A universal characterization of the double powerlocale
• Quotient maps of locales

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Categorical methods in general topology (54B30)

Cites Work

• Title not available (Why is that?)
• A universal characterization of the double powerlocale
• An extension of the Galois theory of Grothendieck
• Title not available (Why is that?)
• Proper maps of locales
• Open maps of toposes
• Localic triquotient maps are effective descent maps
• Presenting locale pullback via directed complete posets
• A categorical account of the Hofmann–Mislove theorem
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• On the parallel between the suplattice and preframe approaches to locale theory
• Stability of properties of locales under groups
• Representing geometric morphisms using power locale monads
• Title not available (Why is that?)
• Weakly topological representation of locales
• Distributive idempotents in an order-enriched category
• Principal bundles as Frobenius adjunctions with application to geometric morphisms

This page was built for publication: An axiomatic account of weak triquotient assignments in locale theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q847673)