カテゴリー: definition

Decrypt history, Encrypt future™

Equivalenceの階層体系|≣,≡,=,≅,≃,≈, ≠,⊣の違い

伝統的なEqualityはより等号の条件を緩和した一般的なEquivalenceの部分集合である。 Homotopical Equality≠Classical Mathematical Equalityであるので、この…
Read more