Mathlog
Mathlog
  • アカウント アカウント作成 ログイン
    その他 ヘルプ 利用規約 意見箱
2022/12/25
前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手
K.Hirata
K.Hirata
フォローする
解説
大学数学以上

前加法圏全体の圏 Ab-Cat から圏全体の圏 Cat への忘却関手

圏論,加法圏,モナド
4
共有
TweetURL
PDF
279
投稿日:2022年12月01日
最終更新日:2022年12月25日
4
共有
TweetURL
PDF

この記事を高評価した人

詳しくみる

投稿者

@faibles_math
K.Hirata

関連記事

任意の群は自明群からの単射準同型を持つことの証明
∞-groupoid は空間である ~Joyal の拡張定理の応用とその証明~
とある半群の構造決定

コメント

コメントはありません。

詳細へ 購入へ
Mathlog
数学特化の情報共有サービス
使い方
  • 利用規約
  • プライバシーポリシー
  • コミュニティガイドライン
  • ヘルプ
連絡先
  • 意見箱(Google Form)
  • mathlog.official@gmail.com
  • 公式ツイッター
※本アプリケーション内で表示されるコンテンツの一部は、アマゾンジャパン合同会社またはその関連会社により提供されたものです。これらのコンテンツは「現状有姿」で提供されており、随時変更または削除される場合があります。