THE LOCALIC ISOTROPY GROUP OF A TOPOS

Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Přírodovědeckou fakultu. Oficiální stránka publikace je na webu muni.cz.
Autoři

HENRY Simon Bruno

Rok publikování 2018
Druh Článek v odborném periodiku
Časopis / Zdroj Theory and Applications of Categories
Fakulta / Pracoviště MU

Přírodovědecká fakulta

Citace
www http://www.tac.mta.ca/tac/volumes/33/41/33-41.pdf
Klíčová slova Topos; Isotropy; localic groups
Popis It has been shown by J.Funk, P.Hofstra and B.Steinberg that any Grothendieck topos T is endowed with a canonical group object, called its isotropy group, which acts functorially on every object of the topos. We show that this group is in fact the group of points of a localic group object, called the localic isotropy group, which also acts on every object, and in fact also on every internal locale and on every T topos. This new localic isotropy group has better functoriality and stability property than the original version and sheds some light on the phenomenon of higher isotropy observed for the ordinary isotropy group. We prove in particular using a localic version of the isotropy quotient that any geometric morphism can be factored uniquely as a connected atomic geometric morphism followed by a so called "essentially anisotropic" geometric morphism, and that connected atomic morphisms are exactly the quotients by open isotropy actions, hence providing a form of Galois theory for general (unpointed) connected atomic geometric morphisms.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.