Ingen översättning hittades i den valda målspråket.

Din sökning innehåller flera ord. För bättre resultat, prova att söka orden separat: slice, category

Liknande ord

Definitioner

Substantiv

  1. (category theory) Given a category C and an object X ∈ Ob(C), the slice category C \downarrow X 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 C \downarrow X 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.)

Exempel

  • If slice category C over X has two objects and and a morphism h : → , then this morphism would correspond to a like-named morphism h : A → B of C such that g ° h = f.

Böjningsformer

Pluralslice categories

Kategorier