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

Там наоборот: сначала теория категорий, а потом сверху на неё навешиваем то, что удачно моделируется этой теорией.