nLab grouplike geometric morphism

Contents

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

Definition

A geometric morphism p:𝒮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:𝒮q:\mathcal{F} \to\mathcal{S} the category of 1-cells from qq to pp in the 2-category Top/𝒮\mathbf{Top}/\mathcal{S} of 𝒮\mathcal{S}-toposes is a groupoid.

Properties

Reference

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