ホム関手は非常に基本的かつ初等的な概念です。初等的なゆえにむしろ、シッカリと語られなかったり、ボンヤリした理解のまま先に進んでしまったりがアリガチかも知れません。$`\newcommand{\cat}[1]{\mathcal{#1}} \newcommand{\id}{\mathrm{id} } \newcomma…