Spahn couniversal mapping property 1 (changes)

Showing changes from revision #4 to #5: Added | Removed | Changed

Let $F:X\to C$ be a functor between categories. A $C$ morphism $f:a\to F(x)$ is called to satisfy the couniversal mapping property with respect to $F$ or we say that $f$ is a couniversal arrow from $c$ to $F$ or that $f$ is the initial arrow from $c$ to $F$, if $f=0\in C/F$ is initial in the comma category $c/F$.

This means: for any $y\in X$ and any morphism $\varphi :a\to \mathrm{<span><del\; class="diffmod">\; G</del><ins\; class="diffmod">\; F</ins></span>}(y)$ \phi:a\to G(y) F(y) there is a morphism $\psi:x\to y$ such that

commutes.