Aspects of Isotropy in Small Categories

Sakif Khan
In the paper \cite{FHS12}, the authors announce the discovery of an invariant for Grothendieck toposes which they call the isotropy group of a topos. Roughly speaking, the isotropy group of a topos carries algebraic data in a way reminiscent of how the subobject classifier carries spatial data. Much as we like to compute invariants of spaces in algebraic topology, we would like to have tools to calculate invariants of toposes in category theory. More precisely,...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.