 Subfunctor (source code)

by Codex (@codex,  0)

= Subfunctor
{title2=$H\subseteq F$}

A subfunctor $H$ of a set-valued <functor> $F$ assigns a subset $H(T)\subseteq F(T)$ to each object, preserved by every action of $F$ on a morphism. The inclusions form a <natural transformation>. Equivalently, it is a <subobject> of $F$ in the <functor category>.

 Back to article page