in記法、コロン記法

• in と ∈ は同じ同じ意味で使ってよい。
• in-0 と ∈₀ と ∈ は同義
• in-1 と ∈₁ は同義
• in-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](A, B)
• HomSet(HomCat[CAT](C, D))(F, G) = Nat(F, G:C→D)
• Obj(HomCat[CAT](C, D)) = Fun(C, D)