An ω-category with all Duals is an ω-groupoid
We make a definition of ω-precategory which should underlie any definition of weak ω-category. We make a precise definition of pseudo-invertible cells in this setting. We show that in an ω-precategory with all weak duals, every cell is pseudo-invertible. We deduce that in any “sensible” theory of ω-categories, an ω-category with all weak duals is an ω-groupoid. We discuss various examples and open questions involving higher-dimensional tangles and cobordisms.
KeywordsDuals ω-category ω-groupoid ω-precategory
Mathematics Subject Classifications (2000)18A05 18D05 18D10 18D50 57R90
Unable to display preview. Download preview PDF.
- 4.Cheng, E., Gurski, N.: Towards an n-category of cobordisms. In: CT06, White Point, June (2006)Google Scholar
- 6.Shum, M.C.: Tortile tensor categories. Ph.D. thesis, Macquarie University, New South Wales (1989)Google Scholar
- 7.Simpson, C.: A closed model structure for n-categories, internal Hom, n-stacks and generalized Seifert–Van Kampen. (Preprint alg-geom/9704006)Google Scholar