# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeAug 20th 2022

I have touched the section “As Kan complexes” (here), slightly expanding text and cross-linking.

In particular, I have

• cross-linked with the illustrative examples of 1-(hyper-)groupoids (here)

• provided a link for the statement that every $n$-type is modeled by a 2-coskeletal Kan complex.

What is missing is a statement/pointer about reflecting all the way down to $n$-hypergroupoids