(0,1)-category

(0,1)-topos

topos theory

# Contents

## Idea

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

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

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

## References

.

Revised on October 1, 2016 08:54:05 by Thomas Holder (89.204.153.50)