Constant functor

A constant functor $𝐴 𝑇 : 𝖢 \to 𝖣$ is a functor that factorizes via the $1 ――$ , and therefore maps every object in $𝖢$ to an object $𝐴 \in 𝖣$ and every morphism to $i d 𝐴$ .

#state/tidy | #lang/en | #SemBr