This is an old revision of the document!

Automorphism

Collection

 context $A\in\mathrm{Ob}_{\bf C}$ definiendum $f$ in it inclusion $f : A\cong A$