Overview

An automorphism, {% f %} is a morphism in a category {% A %} such that {% dom_A(f) = cod_A(f) %}. That is, the morphism (arrow) points at the same object that it originates from