Mathlog
×
Mathlog
アカウント
アカウント作成
ログイン
その他
ヘルプ
利用規約
意見箱
2022/12/25
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
K.Hirata
K.Hirata
フォローする
解説
大学数学以上
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
圏論
,
加法圏
,
モナド
4
共有
Tweet
URL
PDF
279
投稿日:2022年12月01日
最終更新日:2022年12月25日
4
共有
Tweet
URL
PDF
この記事を高評価した人
詳しくみる
投稿者
@faibles_math
K.Hirata
関連記事
任意の群は自明群からの単射準同型を持つことの証明
∞-groupoid は空間である ~Joyal の拡張定理の応用とその証明~
とある半群の構造決定
コメント
コメントはありません。
詳細へ
購入へ