キタタクoctの活動記録

きたる時に自信に繋ぐための記録

2017-06-05から1日間の記事一覧

定数前層は層であるとは限らない (constant presheaf is not a sheaf)

空集合の被覆について を命題で表記すると次のようになる。 このように表記すれば空集合の被覆を考える際に便利である。 上の命題において の場合を考えると次のようになる。 この命題は真である。なぜなら、 を満たすようなや を満たすようなは存在しないの…