Adjunction morphism Unit-adjunction: について、 を満たすfunctorのペア: をadjunction morphismという。*1 命題 要件1と2が成立するとき、 のcounitをそれぞれ natural bijectionを とすると、 要件3 Adjunction category Small category上のadjunctionと…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。