ブルブルエンジン兄貴の Twitter 圏論講義 自分用まとめ | 相転移プロダクションこのサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください. 理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください. とりあえずは結論から. 【結論】圏論は具体的過ぎてクソ、formal category theoryをやろう👊 — リロード・オン・アルゴドゥー (@alg_d) 2016年4月22日 何を言っているのか全く理解できていないが, とりあえず未来の自分のためにまとめておく. 圏論の基礎でとある命題を読んだぼく「なるほど」 その証明を読んだぼく「わからん」 Kan拡張を使って自力で証明したぼく「自明」 — リ
