Core of a category

In mathematics, especially category theory, the core of a category C is the category whose objects are the objects of C and whose morphisms are the invertible morphism in C. ^{[1] [2] [3]} In other words, it is the largest groupoid subcategory.

As a functor ${\displaystyle C\mapsto \operatorname {core} (C)}$, the core is a right adjoint to the inclusion of the category of (small) groupoids into the category of (small) categories. ^[1]

For ∞-categories, ${\displaystyle \operatorname {core} }$ is defined as a right adjoint to the inclusion ∞-Grpd ${\displaystyle \hookrightarrow }$ ∞-Cat. ^[4] The core of an ∞-category ${\displaystyle C}$ is then the largest ∞-groupoid contained in ${\displaystyle C}$. The core of C is also often written as ${\displaystyle C^{\simeq }}$.

In Kerodon, the subcategory of a 2-category C obtained by removing non-invertible morphisms is called the pith of C. ^[5] It can also be defined for an (∞, 2)-category C; ^[6] namely, the pith of C is the largest simplicial subset that does not contain non-thin 2-simplexes.

References

1. Pierre Gabriel, Michel Zisman, § 1.5.4., Calculus of fractions and homotopy theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 35, Springer (1967)
2. https://kerodon.net/tag/007G
3. nlab, https://ncatlab.org/nlab/show/core+groupoid
4. § 3.5.2. and Corollary 3.5.3. of Cisinski, Denis-Charles (2023). Higher Categories and Homotopical Algebra (PDF). Cambridge University Press. ISBN   978-1108473200.
5. https://kerodon.net/tag/00AL
6. https://kerodon.net/tag/01XA

Further reading

• https://mathoverflow.net/questions/347477/what-is-the-core-of-a-localization