m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 僕がジャンクションと呼んだもの（ステファネスクは確かコネクターと呼んでいた）を定式化するのに、細かい定義や補題が要る。圏Cが全不連結とは： X≠Y ならば C(X, Y)=空。 要するに、End(X) = C(X, X)にしか射がない。本質的に全不連結とは： C(X, Y)≠空 ならば XとYは同型。 例を挙げる。 S(n, n) = S(n) がn次対称群として定義される対称亜群は全不連結である。 同様に、ブレイド亜群も全不連結である。 集合の双射だけを射とした圏は、本質的に全不連結である。 次に圏の自由貼り合わせを定義する。C, Dを圏として、単射写像 i:X→|C|、j:X→|D|がある… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20060807%2F1154909875" 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 2006-08-07 09:17:55 rich https://m-hiyama-memo.hatenablog.jp/entry/20060807/1154909875 1.0 100%