Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
initial_morphism [2014/06/14 17:48] nikolaj |
initial_morphism [2014/06/18 15:43] 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 19: | Line 19: | ||
| === Context === | === Context === | ||
| [[Functor]] | [[Functor]] | ||
| + | === Requirements === | ||
| + | [[Product type]] | ||
