===== Isomorphism =====
==== Collection ====
| @#55CCEE: context     | @#55CCEE: $A,B\in\mathrm{Ob}_{\bf C}$ |
| @#FFBB00: definiendum | @#FFBB00: $f$ in $A\cong B$ |
| @#AAFFAA: inclusion   | @#AAFFAA: $f:{\bf C}[A,B]$ |
| @#FFFDDD: exists      | @#FFFDDD: $f^{-1}:{\bf C}[B,A]$ |
| @#55EE55: postulate   | @#55EE55: $f^{-1}\circ f=\mathrm{id}_A$ |
| @#55EE55: postulate   | @#55EE55: $f\circ f^{-1}=\mathrm{id}_B$ |

-----
=== Reference ===
Wikipedia: 
[[https://en.wikipedia.org/wiki/Isomorphism|Isomorphism]], 
[[https://en.wikipedia.org/wiki/Automorphism|Automorphism]]

-----
=== Context ===
[[Categories]]