2014-04-29 Adjunction lifting 圏論 命題 Kan-extension Precomposition functor Category と functor について、precomposition functor: *1 を定義できる。 命題 counit-adjunction: category: について は counit-adjunction となる。ここで *2 は、-ran *3 の族である。 逆に、二つの -ran: が存在するならば *4 は counit-adjunction となる。 系 が counit-adjunction が共に -ran 参考文献 Categories for the Working Mathematician (Graduate Texts in Mathematics) Anderson.pdf Kan.pdf Kan extension - PS *1:whiskering *2:明らかにnatural *3:-terminal natural transfomation *4:族は必ずしも必要ない