GAFTとは一般随伴関手定理(Generally Adjunction Functor Theorem)のこと、まず名前がかっこいい 題名にある通りにGAFTを示した、ベーシック圏論には付録として載っているので結局示すのは最後の最後になってしまった。 GAFTは知っているだけでも今後の人生…