Overcategory
= Overcategory
{wiki=Overcategory}
In category theory, the term "overcategory" is used to describe a particular kind of category construction. Specifically, given a category \\( \\mathcal\{C\} \\) and an object \\( A \\) in \\( \\mathcal\{C\} \\), the overcategory \\( \\mathcal\{C\}/A \\) refers to the category whose objects are morphisms in \\( \\mathcal\{C\} \\) that have \\( A \\) as their codomain.