>>418
>AIが圏論を書くとどんなものになるだろうか

「圏論」しか 共通点がないが
”ガロア理論の基本定理を圏論で─圏論の学習ノートより─ 佐藤　創”日本大学経済学部
がヒットしたので ご紹介（＾＾

(参考)
https://www.eco.nihon-u.ac.jp/
日本大学経済学部
https://www.eco.nihon-u.ac.jp/research/annals_liberalarts/
2016年度版
第81号（新田義彦教授定年退職記念号）
ガロア理論の基本定理を圏論で─圏論の学習ノートより─ 佐藤　創
https://www.eco.nihon-u.ac.jp/wp-content/uploads/2023/05/81-08.pdf
ガロア理論の基本定理を圏論で
日本大学経済学部
PDF
ガロア理論は代数方程式を解くアルゴリズムの存在条件を明らかにし，5次以上の方程式に根の公式. が存在しないことを導く理論として有名ですが，ガロア（Évariste Galois ...
10 ページ

　まえがき　佐藤　創
新田義彦教授とはこの数年，甘睡会と称する私的なセミナーで圏論を学ぶ苦楽を共にしている間柄から，新田教授の定年ご退職を記念してささやかな論考を寄稿させていただきます．最初に圏論とその魅力の一端を簡単に紹介した後，以前から関心を抱いていたテーマ「ガロア理論の圏論による記述」に関して学び得た事柄を整理して記すことにします．ガロア理論は代数方程式を解くアルゴリズムの存在条件を明らかにし，５次以上の方程式に根の公式が存在しないことを導く理論として有名ですが，ガロア（Évariste Galois）はこの理論構築を20歳の若さで成し遂げた末，決闘で倒れた革命的天才としてさらに有名です．
Ⅰ　圏とは
略

P6
４　ガロア接続は随伴である

Ⅲ　ガロア理論と圏論
１　ガロア理論の基本定理