Mathlog
Mathlog
  • アカウント アカウント作成 ログイン
    その他 ヘルプ 利用規約 意見箱
2022/12/06
Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である
Μίττον
Μίττον
フォローする
解説
大学数学以上

Set圏におけるκ-limitとκ-filtered colimitの可換性は量化子の交換である

圏論
2
共有
TweetURL
PDF
117
投稿日:2022年12月06日
2
共有
TweetURL
PDF

この記事を高評価した人

詳しくみる

投稿者

@Mitton
Μίττον
Mittum sum; impilia Artemisiae. Saepe collyram edo cardiacum semper!

関連記事

Krull-Schmidt圏では任意の射が右極小な射とゼロ射に分けられる
5つの圏の定義とCoqによる実装
普遍性〜それは何であるべきか〜

コメント

コメントはありません。

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