ステップ5：Hom関手による圏の構造抽出（米田の視点）
Hom(A, -) という関手は、対象 A を観測地点として圏全体を測量する「探知機」として機能します。隠れた関係式がないと仮定すると、A から Z への独立した経路は6通り存在するため要素は6つになり、さらに W へも構造を保ったまま6要素が写像されます。到達できない U が空集合 ∅ になる点も含め、対象そのものではなく「他の対象との関係性」を通して圏を理解する――これが後に学ぶ『米田の補題』の核心となる視点です。

共変関手 Hom(A, -) の振る舞い