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

めちゃくちゃ久しぶりに書いた 本当に日記なんですか？ きょうは朝起きてからずっと寝てた気がする、あんまり記憶がない。 昼ごろから活動を始めた、活動っていっても数学なんだけども。 任意の小圏上の前層圏はカルテシアン閉であることを示そうとしてた、…

圏論やったお気持ち 順極限は余極限で逆極限は極限 どうして、そうやって直感に働きかけない名称をつけてしまったのか。おそらく順極限、逆極限の方が先に出てきた概念なんだろうとは思う、ホモロジー代数とかですぐに具体例が出てくるような者だからね。 電…