Contents

topos theory

# Contents

## Definition

A geometric morphism $p:\mathcal{E} \to\mathcal{S}$ (, or the $\mathcal{S}$-topos $\mathcal{E}$ it corresponds to) is called grouplike if for every $\mathcal{S}$-topos $q:\mathcal{F} \to\mathcal{S}$ the category of 1-cells from $q$ to $p$ in the 2-category $\mathbf{Top}/\mathcal{S}$ of $\mathcal{S}$-toposes is a groupoid.

## Reference

Created on July 16, 2017 at 09:09:46. See the history of this page for a list of all contributions to it.