Без заголовка

Там внутри нормальная такая теория категорий, определение эписитемы опирается на морфизмы, эпистема опирается на гиперграф с функторами )))