Теория категорий

Словарь

TODO:Arrow, etc