Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
terminal_morphism [2014/09/28 19:46] nikolaj |
terminal_morphism [2014/09/28 19:46] nikolaj |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| | @#FFFDDD: for all | @#FFFDDD: $\psi:{\bf C}[FA,Z]$ | | | @#FFFDDD: for all | @#FFFDDD: $\psi:{\bf C}[FA,Z]$ | | ||
| | @#DDDDDD: range | @#DDDDDD: $f:{\bf D}[A,B]$ | | | @#DDDDDD: range | @#DDDDDD: $f:{\bf D}[A,B]$ | | ||
| - | | @#55EE55: postulate | @#55EE55: $\exists!f.\ \psi=\phi\circ F(f)$ | | + | | @#55EE55: postulate | @#55EE55: $\exists_!f.\ \psi=\phi\circ F(f)$ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
