Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
isomorphism [2014/11/25 17:30] nikolaj |
isomorphism [2014/11/25 17:31] 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$ | | ||
