nLab (0,1)-topos

Redirected from "Grothendieck (0,1)-topos".
Contents

Context

(0,1)(0,1)-Category theory

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Idea

The notion of (0,1)(0,1)-topos is that of topos in the context of (0,1)-category theory.

The notion of (0,1)(0,1)-topos is essentially equivalent to that of Heyting algebra; similarly, a Grothendieck (0,1)(0,1)-topos is a locale.

Notice that every (1,1)(1,1)-Grothendieck topos comes from a localic groupoid, i.e. a groupoid internal to locales, hence a groupoid internal to (0,1)(0,1)-toposes. See classifying topos of a localic groupoid for more.

flavors of higher toposes

References

.

Last revised on August 25, 2021 at 15:40:29. See the history of this page for a list of all contributions to it.