で、さらに15分ほど考えた。f:A→B, g:C→Dだとして、B 〜C であったとき、cod(f)≠dom(g) でも f;g を定義できるか？ これが問題になる。結論を言えば「できない」。これはホモトピーとの類似を追いかけてみるとわかる。i:B〜C, j:B〜C であるとき、i〜j とは…

シェンロン ブルードラゴン 亀仙人 まっ、いいか。

1日15分くらいずつ考えている感じだな。高次骨格の構成はそれほど単純じゃないかもな。Cが2-圏として、C1をCの1-セルの集合だとする（1以下のセルではない）。C0の同値（2-同値）をもとにして、C1にも普通の同値関係を入れられるが、期待した構造とはどうも…