|
|
Definition of Slice category
1. Noun. (category theory) Given a category ''C'' and an object ''X'' ∈ Ob(''C''), the ''slice category'' has, as its objects, morphisms from objects of ''C'' to ''X'', and as its morphisms, morphisms connecting the tails of its own objects in a commutative way (i.e., closed under composition). The category is said to be "over ''X''". (More formally, the objects of ''C'' over ''X'' are ordered pairs of the form (''A'', ''f'') where ''A'' is an object of ''C'' and ''f'' is a morphism from ''A'' to ''X''. Then the morphisms of ''C'' over ''X'' have such ordered pairs as their domains/codomains instead of objects of ''C'' directly.) ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Slice Category
Other Resources:
