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