Notes
数学
-
Dependent Multiple Choice で得られる非空有限部分集合列の初項が任意に選べることについて.
- 2021/12/03: 公開
-
様々な有限の定義や,その間の関係について.
- Math Advent Calendar 2021, 11日目の記事
- 2021/12/11: 公開
-
ZF上で可分距離空間がパラコンパクトであることについて.
- 2021/12/14: 公開
-
エンドについて.
- 2022/02/21: 公開
- 2022/02/24: 更新
-
Wallmanコンパクト化について.
- Math Advent Calendar 2022, 7日目の記事
- 2022/12/07: 公開
-
圏論における同値関係について.
- 圏論 Advent Calendar 2023, 20日目の記事
- 2023/12/20: 公開
-
sieve を用いて sheaf を定義し,Kan 拡張を用いて開基上の sheaf を位相空間上の sheaf に拡張する.最後に,開基上の sheaf の圏と位相空間上の sheaf の圏が圏同値 であることを確認する.
- 2024/04/18: 公開