Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
initial_morphism [2014/06/14 19:12] nikolaj |
initial_morphism [2014/09/28 19:47] nikolaj |
||
---|---|---|---|
Line 9: | Line 9: | ||
| @#FFFDDD: for all | @#FFFDDD: $f:{\bf C}[X,U(B)]$ | | | @#FFFDDD: for all | @#FFFDDD: $f:{\bf C}[X,U(B)]$ | | ||
| @#DDDDDD: range | @#DDDDDD: $g:{\bf D}[A,B]$ | | | @#DDDDDD: range | @#DDDDDD: $g:{\bf D}[A,B]$ | | ||
- | | @#55EE55: postulate | @#55EE55: $\exists!g.\ f=U(g)\circ\phi$ | | + | | @#55EE55: postulate | @#55EE55: $\exists_!g.\ f=U(g)\circ\phi$ | |
==== Discussion ==== | ==== Discussion ==== | ||
Line 19: | Line 19: | ||
=== Context === | === Context === | ||
[[Functor]] | [[Functor]] | ||
+ | === Requirements === | ||
+ | [[Product type]] |