3つの等号

1. 超越的等号： 実質的に集合論の等号
2. (n+1)-射：n-圏の(n+1)-射としての等号
3. 述語 ： トポスにおいて、対角射 Δ_A:A→A×A の特性射 eq:A×A→Ω。