Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
You can define it by transfinite induction, together with a functor that sends weak β-categories to weak α-categories for all β<α and possibly with a truncation functor that sends weak α-categories to weak β-categories for all β<α: a weak α+1-category is a category weakly enriched in weak α-categories, and for a limit ordinal α, a weak α-category can be defined in two different, incompatible ways: as a weak β-category for any β<α, or as a compatible family of weak β-categories, one for each β<α, so that for any β’<β” the β”-th category truncates to the β’-th category.
1 to 2 of 2