Definition from Wiktionary, the free dictionary
- (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.)
- If slice category C over X has two objects (A, f) and (B, g) and a morphism h : (A, f) → (B, g), then this morphism would correspond to a like-named morphism h : A → B of C such that .