Higher category

-category

Let . Given a fixed notion of an infinity-category, a -category is an -category in which ncat

• for , all -cells are identity
• for , all -cells are invertible

---

develop | en | sembr