def SSet.QCat : Type (u_1 + 1)

Equations

• SSet.QCat = CategoryTheory.FullSubcategory SSet.Quasicategory

instance SSet.instCategoryQCat : CategoryTheory.Category.{u_1, u_1 + 1} SSet.QCat

Equations

• SSet.instCategoryQCat = CategoryTheory.FullSubcategory.category SSet.Quasicategory