Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
initial_morphism [2014/06/14 17:44] nikolaj |
initial_morphism [2014/06/14 19:12] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ===== Initial isomorphism ===== | + | ===== Initial morphism ===== |
| ==== Collection ==== | ==== Collection ==== | ||
| | @#55CCEE: context | @#55CCEE: $X:\mathrm{Ob}_{\bf C}$ | | | @#55CCEE: context | @#55CCEE: $X:\mathrm{Ob}_{\bf C}$ | | ||
| 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=\phi\circ U(g)$ | | + | | @#55EE55: postulate | @#55EE55: $\exists!g.\ f=U(g)\circ\phi$ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
| - | For an elaboration, see [[terminal morphisms]], the dual concept. | + | For an elaboration, see [[terminal morphism]], the dual concept. |
| === Reference === | === Reference === | ||
