An -category with all duals is an -groupoid

DOI10.1007/S10485-007-9081-8zbMATH Open1142.18002OpenAlexW2035244622MaRDI QIDQ2463395FDOQ2463395

Authors: Eugenia Cheng 

Publication date: 6 December 2007

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10485-007-9081-8

Recommendations

• Cubical \((\omega, p)\)-categories
• Duality for simple \(\omega\)-categories and disks
• Types are weak \(\omega \)-groupoids
• A cellular nerve for higher categories
• Hom weak ω-categories of a weak ω-category

zbMATH Keywords

dualsweak n-categoryhigher equivalenceweak \(\omega \)-groupoid

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Other types of cobordism (57R90)

Cites Work

• The algebra of oriented simplexes
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Tortile tensor categories
• Higher-dimensional algebra and topological quantum field theory
• Higher-dimensional algebra. IV: 2-tangles.
• Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
• Title not available (Why is that?)

Cited In (7)

• Type theory and homotopy
• The groupoidal analogue \(\widetilde{{\Theta}}\) to Joyal's category \(\Theta\) is a test category
• Hom weak ω-categories of a weak ω-category
• Cubical \((\omega, p)\)-categories
• What is an equivalence in a higher category?
• Homotopy type theory and Voevodsky's univalent foundations
• An inductive model structure for strict \(\infty\)-categories

This page was built for publication: An \(\omega\)-category with all duals is an \(\omega\)-groupoid

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463395)