- 660 名前：現代数学の系譜 雑談 [2025/12/12(金) 16:18:52.04 ID:mbMn9JqE.net]
- https://youtu.be/zEyQr43xXx0?t=1
ブルバキ対圏理論: 数学とは何か?
オートダビング版
jacobneu
チャンネル登録者数 3430人
26,044 回視聴 2025/11/27
数学理論は何から成り立つのか？ この問いは、20世紀を通してブルバキと圏論の実践者の間で繰り広げられた根本的な論争の核心でした。また、型理論の最先端の研究にも影響を与え、「有向」版の等式について考察するきっかけにもなっています。
これは、私が最近制作する予定の博士論文「有向等式の一般化代数理論」の概要を説明する一連のビデオの最初のものです。詳細はウェブサイト https://jacobneu.phd をご覧ください。
