category of V-enriched categories
Enriched category theory
For a suitable context of enrichment (notbaly: for a cosmos) there is a -category whose
Sometimes one also considers as a mere category by dropping the -morphisms (and using enriched strict categories).
-categories of (n,r)-categories
Revised on October 31, 2012 01:57:48
by Toby Bartels