subcategory

(redirected from Inclusion functor)

sub·cat·e·go·ry

 (sŭb-kăt′ĭ-gôr′ē, sŭb′kăt′-)
n. pl. sub·cat·e·go·ries
A subdivision that has common differentiating characteristics within a larger category.

subcategory

(ˈsʌbˌkætəɡərɪ)
n, pl -ries
a further category within a category already established
Translations
podkategorie
References in periodicals archive ?
When it exists, the left adjoint to the inclusion functor Norm(B) [right arrow] (E [down arrow] B) will be denoted by Norm: (E [down arrow] B) [right arrow] Norm(B) and called the normalisation functor (over B).
Assume that [F.sub.4] : SFun [right arrow] SRel is the inclusion functor and define a functor