Stability of properties of locales under groups

DOI10.1007/S10485-016-9430-6zbMATH Open1405.18005arXiv1509.08229OpenAlexW2278890941MaRDI QIDQ2014016FDOQ2014016

Christopher F. Townsend

Publication date: 10 August 2017

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

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.

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

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
• 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

zbMATH Keywords

localestoposes

Mathematics Subject Classification ID

Topoi (18B25)

Cites Work

• A universal characterization of the double powerlocale
• Aspects of slice stability in locale theory
• Title not available (Why is that?)
• Localic triquotient maps are effective descent maps
• A categorical account of the Hofmann–Mislove theorem
• Title not available (Why is that?)
• A representation theorem for geometric morphisms
• The Classifying Topos of a Continuous Groupoid. I
• Principal bundles as Frobenius adjunctions with application to geometric morphisms
• Title not available (Why is that?)
• An axiomatic account of weak triquotient assignments in locale theory

Cited In (5)

• Some local properties of \(\omega\)-stable groups
• Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
• Title not available (Why is that?)
• Distributive idempotents in an order-enriched category
• Title not available (Why is that?)

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)