エレベーター性を満たす射のクラスから自然変換が構成される

函手F,G \colon B \to C

射のクラス\left\{ h\lang b \rang \colon b.F \to b.G \mid b \in \operatorname{Obj}(B)\right\}

{}^{\exist!}α\colon F\Rightarrow G ,

b.\alpha\coloneqq h\lang b \rangが自然変換の適用

⇔{}^\forall f \colon b\to b',

2019/10/4