in と ∈ は同じ同じ意味で使ってよい。 in-0 と ∈0 と ∈ は同義 in-1 と ∈1 は同義 in-2 と ∈2 は同義、以下同様 a in C ⇔ a in-0 C a: in C ⇔ a in-1 C a:: in C ⇔ a in-2 C 、以下同様 対象類、ホム集合、ホム圏 |Set| = Obj[Set] Set(A, B) = HomSet[Set]…

もっと整理が必要だが縦に見ると同義語 1-真偽値 2-真偽値 3-真偽値 4-真偽値 5-真偽値 0-要素 1-要素 2-要素 3-要素 4-要素 (-1)-集合 0-集合 1-集合 2-集合 3-集合 (-2)-圏 (-1)-圏 0-圏 1-圏 2-圏 縦に見ると同義語 1-インスタンス 2-インスタンス 3-イン…