Higher category

-category

Let . Given a fixed notion of an -category, a -category is an -category in which #m/def/ncat

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

#state/develop | #lang/en | #SemBr