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 | ||
category_._set_theory [2014/04/07 17:19] nikolaj |
category_._set_theory [2014/04/07 19:06] nikolaj old revision restored (2014/04/07 17:19) |
||
---|---|---|---|
Line 8: | Line 8: | ||
| @#55EE55: postulate | @#55EE55: $\mathrm{Mor}(A,B)\cap\mathrm{Mor}(U,V)\ne\emptyset\implies A=B\land U=V$ | | | @#55EE55: postulate | @#55EE55: $\mathrm{Mor}(A,B)\cap\mathrm{Mor}(U,V)\ne\emptyset\implies A=B\land U=V$ | | ||
| @#55EE55: postulate | @#55EE55: $(g\circ f)\circ h=g\circ (f\circ h)$ | | | @#55EE55: postulate | @#55EE55: $(g\circ f)\circ h=g\circ (f\circ h)$ | | ||
- | | @#55EE55: postulate | @#55EE55: $f\circ id(A)=id(A)\circ f=f$ | | + | | @#55EE55: postulate | @#55EE55: $f\circ id_A=id_A\circ f=f$ | |
==== Discussion ==== | ==== Discussion ==== |