圏の圏Cat
#Fleeting_Notes
圏の圏
$ \mathbf{Cat}
category of category Cat?
2-圏
(2-category)
対象は圏
射は
関手
射の合成は関手の合成
メタ圏
大きい圏
確認用
Q. 圏の圏Cat
関連
圏同値
圏同型
参考
Cat in nLab
メモ
様々な圏の圏の model structure
調査用
/pogi-log/Google.icon
圏の圏Cat(日)
/pogi-log/Google.icon
category of category Cat(英)
/pogi-log/Wikipedia.icon
圏の圏Cat - Wikipedia(日)
圏の圏Cat(検索) - Wikipedia(日)
/pogi-log/Wikipedia.icon
category of category Cat - Wikipedia(英)
category of category Cat(検索) - Wikipedia(英)