暇つぶし2chat MATH

- 暇つぶし2ch34:可逆写像があっても、すべてのオブジェクトが同相的である場合もあるかもしれない。カテゴリの等価性はコリミットと一致し、等価なカテゴリの自由なココンプレッションは等価なので、1つは自由であることに注意してください。の自由共畳の要素を与えるものとして、一目的カテゴリC'の中のダイアグラムを考えることができます。繰り返しになりますが、私は、C'が一つの目的の範疇であるダイアグラムD → C'が、C'の自由共畳の非自明な結果を与えることができることを強調します。可能な限りこの方法で計算を進めることができない数学的な理由はありません。 (引用終り) 以上