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 morphisms in C. In other words, it is the largest groupoid subcategory. As a functor C ↦ core ( C ) {\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.
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 morphisms in C. In other words, it is the largest groupoid subcategory. As a functor C ↦ core ( C ) {\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.
Source: Wikipedia "Core of a category" · CC BY-SA 4.0
Share this article: X · Bluesky