An -category with all duals is an -groupoid

DOI10.1007/S10485-007-9081-8MaRDI QIDQ2463395zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 5178125 (Why is no real title available?)
• Higher-dimensional algebra and topological quantum field theory
• Higher-dimensional algebra. III: \(n\)-categories and the algebra of opetopes
• Higher-dimensional algebra. IV: 2-tangles.
• Nonstrict notions of \(n\)-category and \(n\)-groupoid via multisimplical sets
• The algebra of oriented simplexes
• Tortile tensor categories

Cited in

(7)

• Type theory and homotopy
• [[:Publication:1928247|The groupoidal analogue \(\widetildeTemplate:\Theta\) to Joyal's category \(\Theta\) is a test category]]
• Hom weak ω-categories of a weak ω-category
• Cubical \((\omega, p)\)-categories
• Homotopy type theory and Voevodsky's univalent foundations
• What is an equivalence in a higher category?
• 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)