SLICECATEGORY

slice category

Noun

  1. Given a category C and an object X ∈ Ob(C), the slice category <math> C \downarrow X </math> 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 <math> C \downarrow X </math> 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 <math> g \circ h = f </math>.


The above text is a snippet from Wiktionary: slice category
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!