Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
isomorphism [2014/11/25 17:30] nikolaj |
isomorphism [2015/04/16 20:05] 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$ | | ||
| - | ==== Discussion ==== | + | ----- |
| === Reference === | === Reference === | ||
| - | Wikipedia: [[http://en.wikipedia.org/wiki/Isomorphism|Isomorphism]] | + | Wikipedia: |
| - | ==== Parents ==== | + | [[https://en.wikipedia.org/wiki/Isomorphism|Isomorphism]], |
| + | [[https://en.wikipedia.org/wiki/Automorphism|Automorphism]] | ||
| + | |||
| + | ----- | ||
| === Context === | === Context === | ||
| - | [[Category]] | + | [[Categories]] |
