/Я language (β)/Glossary/

Set theory: Setoid

Type theory: Typing ⋅ Saturation ⋅ Instantiation ⋅ Equality ⋅ Subtyping

Categy theory: Category ⋅ Factoring ⋅ Functor ⋅ Natural Transformation ⋅ Yoneda ⋅ Limit ⋅ Kleisli

Я specific: Objective ⋅ Labeling ⋅ Jointing