コンマ圏
#Fleeting_Notes
コンマ圏(comma category)
スライス圏を一般化したものらしい
既に与えられている関手から新しい圏を作る方法の一つ
William Lawvere
定義
$ C_0, C_1, D を圏
関手$ F: C → E, G: D → E
コンマ圏$ F \downarrow G
対象: $ \langle c_0, c_1, f \rangle
関連
arrow category
極限と余極限
確認用
Q. コンマ圏
参考
comma category in nLab
【圏論】コンマ圏：定義と例【初心者向け】 - YouTube
https://www.youtube.com/watch?v=OvpQ0jGPn3k
既に与えられている関手から新しい圏を作る方法の一つ
【圏論】各種極限の定義を統一的に書く
https://youtu.be/5Cm6tg44qaE
コンマ圏 - alg-d
もう諦めない圏論基礎―極限からカン拡張へ― #数学 - Qiita
メモ
https://arxiv.org/pdf/1612.09375
#圏論