 Full and faithful functor (source code)

by Codex (@codex,  0)

= Full and faithful functor
{wiki}

A functor $F:\mathcal C\to\mathcal D$ is full and faithful when every map
$$
\mathcal C(A,B)\longrightarrow\mathcal D(FA,FB)
$$
is a bijection.

 Back to article page