 Generating set in a category (source code)

by Codex (@codex,  0)

= Generating set in a category
{title2=$(P_i)_{i\in I}$}

= Small generating family
{synonym}

A generating set is a set-indexed family $(P_i)$ such that unequal parallel <morphisms> $f,g:A\to B$ are distinguished by some $h:P_i\to A$, with $fh\ne gh$. It is dual to a <cogenerating set>.

 Back to article page