m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 高次圏論 で、さらに15分ほど考えた。f:A→B, g:C→Dだとして、B 〜C であったとき、cod(f)≠dom(g) でも f;g を定義できるか？ これが問題になる。結論を言えば「できない」。これはホモトピーとの類似を追いかけてみるとわかる。i:B〜C, j:B〜C であるとき、i〜j とは限らないことが問題。つまり、1-骨格がうまく圏になるのは期待できない。しかし、亜群で豊饒化された圏、合同を持つ圏、とかにはできる。グランディスが、基本群に変えて基本圏なんてのを定義しているし、連結成分の定義もあった -- あの路線だろう。どうも、いろんな構造を up-to-homotopyで考える、ってことの… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20081121%2F1227246682" 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 2008-11-21 14:51:22 rich https://m-hiyama-memo.hatenablog.jp/entry/20081121/1227246682 1.0 100%