m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 圏一般論 恒等射、同型射、圏同値を与える関手などを総称して、同値性セル（equivalence cell）と呼ぶことにする。A, Bのあいだに、i:A→B と、（iに対して一意的とは限らない）i#があって、 i;i# 〜 idA i#;i 〜 idB となることが同値性セルの条件。ここで、〜 は、適当な同値関係だが、ホモトピーとの類似では A、Bを基点とするループのホモトピーに相当する。同値性セル i:A→B が存在すれば、AとBは∃同値と呼ぶことにする（正確に書くと、形容詞がイッパイ付くが省略）、単に同値性セルが存在するよ、って意味。i, j:A→B が2つの同値性セルだとして、iとjがより高い次元で… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20081127%2F1227771782" 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-27 16:43:02 rich https://m-hiyama-memo.hatenablog.jp/entry/20081127/1227771782 1.0 100%