Μίττον

フォローする

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

この記事を高評価した人

詳しくみる

投稿者

@Mitton

Μίττον

Mittum sum; impilia Artemisiae. Saepe collyram edo cardiacum semper!

関連記事

Krull-Schmidt圏では任意の射が右極小な射とゼロ射に分けられる

5つの圏の定義とCoqによる実装

普遍性〜それは何であるべきか〜

コメント

コメントはありません。