Contents

(0,1)-category

(0,1)-topos

# Contents

## Idea

Following the general concept of $(n,r)$-category, a $(0,1)$-category is a category whose hom-objects are (-1)-groupoids, hence which for every pair of objects $a,b$ have either no morphism $a \to b$ or an essentially unique one.

More in detail, recall that:

Therefore:

###### Remark

(relation between preorders and (0,1)-categories)
An $(0,1)$-category is equivalently a proset (hence a poset).

We may without restriction assume that every hom-$\infty$-groupoid is just a set. Then since this is (-1)-truncated it is either empty or the singleton. So there is at most one morphism from any object to any other.

## Extra stuff, structure, property

• A $(0,1)$-category with the structure of a site is a (0,1)-site: a posite.

• A $(0,1)$-category with the structure of a topos is a (0,1)-topos: a Heyting algebra.

• A $(0,1)$-category with the structure of a Grothendieck topos is a Grothendieck (0,1)-topos: a frame or locale.

• A $(0,1)$-category which is also a groupoid (that is, every morphism is an isomorphism) is a $(0,0)$-category (which may think of as either a $0$-category or as a $0$-groupoid), which is the same as a set (up to equivalence) or a setoid (up to isomorphism).

Last revised on July 22, 2022 at 12:05:30. See the history of this page for a list of all contributions to it.