Core idea

For objects A,BA,B in a C\mathcal C, write

Hom⁡C(A,B),End⁡C(A)=Hom⁡C(A,A),Aut⁡C(A)=End⁡C(A)×.\operatorname{Hom}_{\mathcal C}(A,B),\qquad \operatorname{End}_{\mathcal C}(A)=\operatorname{Hom}_{\mathcal C}(A,A),\qquad \operatorname{Aut}_{\mathcal C}(A)=\operatorname{End}_{\mathcal C}(A)^\times.

Here the last expression means the invertible elements of the endomorphism monoid under composition. The category is part of the question: an object's carrier alone does not specify its allowed maps.

What can change

For an algebra over a K/FK/F, there are four natural views: a KK-vector space, an FF-vector space, a KK-algebra, and an FF-algebra. Forgetting multiplication permits more maps; restricting scalars can also permit more maps. See .

For , the changes Hom and End, even though all three categories have the same automorphisms of a unital object.

For a such as SL(2,C)SL(2,\mathbb C), use or . Its has distinct . A matrix group is not generally a .

What the catalogue records

A record marked complete describes the whole requested Hom-set, endomorphism monoid, or automorphism group under its stated conditions. A partial record gives a verified family, constraint, or example, without claiming exhaustiveness. A missing record says not catalogued. It does not say that no maps exist.

This distinction is visible in the : an empty field Hom-set can become a singleton containing the zero map after switching to arbitrary .