m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ CADG 幾何っぽい 参考：「包含付き圏：対象を集合っぽく扱うために」http://d.hatena.ne.jp/m-hiyama/20101102/1288670139 category with inclusionsにさらに条件を足す。 そのinclusionをopen inclusionと呼ぶ。 他に、a family of models を指定する。 category with open-inclusions with models = CwOIwM が多様体が定義できる圏。 位相構造と局所性 「局所ナントカ」「局所的にドウコウ」を有意化する。開包含射の条件： 開包含射の部分圏は包含射の部分圏の条件を満たす… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20170623%2F1498195287" title="多様体が定義できる圏 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2017-06-23 14:21:27 rich https://m-hiyama-memo.hatenablog.jp/entry/20170623/1498195287 1.0 100%