Теория категорий
Словарь
TODO:Arrow, etc