くろの

フォローする

SGL_Exercise4.15(e)の反例

参考文献

Saunders MacLane and Ieke Moerdijk, Sheaves in Geometry and Logic, Springer, 1994

この記事を高評価した人

詳しくみる

投稿者

@Khrono

くろの

関連記事

離散位相の「離散」ってなんだよ！！！！！！！！！！！！！！！

ウリゾーンの補題

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

コメント

コメントはありません。