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 | ||
isomorphism [2014/11/25 17:30] nikolaj |
isomorphism [2014/12/04 22:34] nikolaj |
||
---|---|---|---|
Line 4: | Line 4: | ||
| @#FFBB00: definiendum | @#FFBB00: $f$ in $A\cong B$ | | | @#FFBB00: definiendum | @#FFBB00: $f$ in $A\cong B$ | | ||
| @#AAFFAA: inclusion | @#AAFFAA: $f:{\bf C}[A,B]$ | | | @#AAFFAA: inclusion | @#AAFFAA: $f:{\bf C}[A,B]$ | | ||
- | | @#FFFDDD: exists | @#FFFDDD: $f^{-1}$ | | + | | @#FFFDDD: exists | @#FFFDDD: $f^{-1}:{\bf C}[B,A]$ | |
| @#55EE55: postulate | @#55EE55: $f^{-1}\circ f=\mathrm{id}_A$ | | | @#55EE55: postulate | @#55EE55: $f^{-1}\circ f=\mathrm{id}_A$ | | ||
| @#55EE55: postulate | @#55EE55: $f\circ f^{-1}=\mathrm{id}_B$ | | | @#55EE55: postulate | @#55EE55: $f\circ f^{-1}=\mathrm{id}_B$ | | ||
Line 13: | Line 13: | ||
==== Parents ==== | ==== Parents ==== | ||
=== Context === | === Context === | ||
- | [[Category]] | + | [[Categories]] |