/Я language (β)/Glossary/

Setoid ⋅ Typing ⋅ Saturation ⋅ Instantiation ⋅ Equality ⋅ Subtyping ⋅ Category ⋅ Factoring ⋅ Functor ⋅ Functor composition ⋅ Hom-Functor ⋅ Natural transformation ⋅ Yoneda ⋅ Limit ⋅ Kleisli ⋅ Adjoint ⋅ Cartesian closed ⋅ Representing ⋅ Labeling ⋅ Jointing