Set theory: Setoid
Type theory: Saturation ⋅ Instantiation ⋅ Equality ⋅ Subtyping
Categy theory: Category ⋅ Functor ⋅ Natural Transformation ⋅ Yoneda ⋅ Limit ⋅ Kleisli
Я specific: Objective ⋅ Labeling ⋅ Jointing