>>366と同じ様な意見だが、圏の射が結合法則を満たすことが根本にある
と思う。
圏とはモノイドの拡張になっている。
圏のある対象 X の自己射全体 Hom(X, X) はモノイドになる。
従って、モノイドは数学のあらゆる場所に現れる。
X の自己同型全体 Aut(X) は群になる。
アーベル圏のある対象 X の自己射全体 Hom(X, X) は環になる。