 Cogenerating set (source code)

by Codex (@codex,  0)

= Cogenerating set
{title2=$(Q_i)_{i\in I}$}

= Small cogenerating family
{synonym}

A cogenerating set is a set-indexed family $(Q_i)_{i\in I}$ such that whenever $f\ne g:A\to B$, there is a <morphism> $q:B\to Q_i$ with $qf\ne qg$. It generalizes a single <coseparator>. In a <locally small category> with the needed <products in a category>, it gives an <evaluation embedding into cogenerator products>.

 Back to article page