Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
@faibles_math
K.Hirata
7
474
Follow
0
Followers
1
Traces
0
Follow
0
Followers
1
Traces
0
未登録
未登録
faibles_math
所属組織
高評価数順
新着順
2
Articles
0
Books
5
Goods
解説
大学数学以上
by
K.Hirata
at
2022年12月25日
嘘記事書いてすみませんでした!
圏論
,
加法圏
,
2圏論
185
3
文献あり
解説
大学数学以上
by
るめなる
at
2022年12月12日
∞-groupoid は空間である ~Joyal の拡張定理の応用とその証明~
圏論
,
無限圏
333
6
文献あり
解説
大学数学以上
by
Μίττον
at
2022年12月06日
Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である
圏論
125
2
解説
大学数学以上
by
くろの
at
2022年12月02日
極限と余積の交換
圏論
250
2
文献あり
解説
大学数学以上
by
K.Hirata
at
2022年12月01日
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
圏論
,
加法圏
,
モナド
289
4