Isomorphism
Collection
| context | A,B∈ObC |
| definiendum | f in A≅B |
| inclusion | f:C[A,B] |
| exists | f−1:C[B,A] |
| postulate | f−1∘f=idA |
| postulate | f∘f−1=idB |
Reference
Wikipedia: Isomorphism, Automorphism
Context
| context | A,B∈ObC |
| definiendum | f in A≅B |
| inclusion | f:C[A,B] |
| exists | f−1:C[B,A] |
| postulate | f−1∘f=idA |
| postulate | f∘f−1=idB |
Wikipedia: Isomorphism, Automorphism
