Covariant isotropy of Grothendieck toposes and extensive categories

DOI10.1007/s10485-022-09674-0zbMath1491.18014OpenAlexW4211175370MaRDI QIDQ2156420

Jason Parker

Publication date: 18 July 2022

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

Full work available at URL: https://doi.org/10.1007/s10485-022-09674-0

zbMATH Keywords

inner automorphismisotropy groupGrothendieck topossheafextensive category

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Grothendieck topologies and Grothendieck topoi (18F10)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• An inner automorphism is only an inner automorphism, but an inner endomorphism can be something strange.
• Partial Horn logic and Cartesian categories
• Sheaves in geometry and logic: a first introduction to topos theory
• Introduction to extensive and distributive categories
• Isotropy of algebraic theories
• Aspects of predicative algebraic set theory III: sheaves