"W teorii kategorii automorfizm to endomorfizm (morfizm obiektu na siebie) będący zarazem izomorfizmem (w znaczeniu teoriokategoryjnym)". Czyli tak właściwie... Co to jest? :-]