【圏論】コンマ圏はなぜ生まれたのか: 随伴のコンマ圏による特徴付け

コンマ圏が一番最初に使われた論文について ↓射の対応を調べる動画    • 【2圏論】普遍性とは全単射のことです 2   ↓初心者向け圏論動画リスト    • 圏論(初心者向け)   ↓むずかしい方の圏論動画リスト    • 圏論   ■参考文献 https://ncatlab.org/nlab/show/comma+c... http://www.tac.mta.ca/tac/reprints/ar... ーーーーーーーーーーーーーーーー ■動画の途中で登場する動画 コンマ圏：定義と例    • 【圏論】コンマ圏：定義と例【初心者向け】   Formal Category Theory    • 【圏論】Formal Category Theory【2圏入門】   コンマ圏の普遍性    • 【圏論】コンマ圏の普遍性【初心者向け】   表現可能関手とは普遍性である    • 【圏論】表現可能関手とは普遍性である   ーーーーーーーーーーーーーーーー ■圏論の話を文字で読みたい人は↓からPDFをDLしてください。 https://alg-d.com/math/kan_extension/ 今回の話は第3章「2-categoryでの極限」で読めます ■圏論の基本的な本『全ての概念はKan拡張である』『全ての概念はKan拡張であるII』『全ての概念はKan拡張であるIII』Amazonにて好評発売中 https://amzn.to/3C08Qqn https://amzn.to/3OY7EZI https://amzn.to/3QxWGz9 ーーーーーーーーーーーーーーーー alg-dチャンネル用のdiscordを作ったので良かったらどうぞ(誰でも入れます)   / discord   ※メンバーシップの人は、discordのアカウントとyoutubeのアカウントを連携すると専用チャンネルが見れるので連携をお願いします。（今までコミュニティ等でやってたメンバー特典がまとまってます） ーーーーーーーーーーーーーーーー ■マシュマロ(なんでも送ってください) https://marshmallow-qa.com/79m5047j5u... ーーーーーーーーーーーーーーーー Vtuberのalg-d、略してV-alg-dです。 Twitter: https://x.com/alg_d Vのデザインとか: https://x.com/waheyhey ↓チャプター用 00:00 はじめに 00:22 コンマ圏が生まれた論文 02:31 随伴の言い換え 04:21 話が具体的すぎる 04:41 コンマ対象を定義したい 05:33 通常の圏論の場合 06:44 2圏の場合 10:57 定理 13:43 双対