Stability of properties of locales under groups

DOI10.1007/S10485-016-9430-6MaRDI QIDQ2014016zbMATHOpenAlexFDO

Authors Christopher F. Townsend

Publication date 10 August 2017

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1509.08229

zbMATH Keywords

localestoposes

Mathematics Subject Classification ID

Topoi (18B25)

Abstract: Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $mathcalC$ is a category that satisfies the axioms then so too is the category $[G,mathcalC]$ of $G$-objects, for any internal group $G$. To achieve this we prove a general categorical result: if an object $S$ is double exponentiable in a category with finite products then so is its associated trivial $G$-object $(S,p{i}_2:GimesSightarrowS)$. The result holds even if $S$ is not exponentiable. An example is given of a category $mathcalC$ that satisfies the axioms, but for which there is no elementary topos $mathcalE$ such that $mathcalC$ is the category of locales over $mathcalE$. It is shown, in outline, how the results can be extended from groups to groupoids.

Recommendations

• Some local properties of \(\omega\)-stable groups
• A local stability principle for continuous group homomorphisms in nonstandard setting
• Stability of \(G\)-critical groups
• scientific article; zbMATH DE number 3175316
• scientific article; zbMATH DE number 907930
• scientific article; zbMATH DE number 4189906
• Exactness of locally compact groups
• Stability of group and ring homomorphisms
• An algebraic characterization of stability groups
• Local properties on the remainders of the topological groups

Cites work

• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• A categorical account of the Hofmann–Mislove theorem
• A categorical account of the localic closed subgroup theorem.
• A representation theorem for geometric morphisms
• A universal characterization of the double powerlocale
• An axiomatic account of weak triquotient assignments in locale theory
• Aspects of slice stability in locale theory
• Localic triquotient maps are effective descent maps
• Principal bundles as Frobenius adjunctions with application to geometric morphisms
• The Classifying Topos of a Continuous Groupoid. I

Cited in

(7)

• Distributive idempotents in an order-enriched category
• Aspects of slice stability in locale theory
• Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
• Double power monad preserving adjunctions are Frobenius
• A categorical account of the localic closed subgroup theorem.
• Some local properties of \(\omega\)-stable groups
• scientific article; zbMATH DE number 4204644 (Why is no real title available?)

This page was built for publication: Stability of properties of locales under groups

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