Вот пытаюсь читать: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/Awodey.pdf В теории категорий категория --- это множество неких объектов и стрелок между ними. Если в качестве объектов выбрать все типы языка Haskell, а в качестве стрелок какой-то один тип(но полиморфный) Хаскелля, то можно описать определение категории с помощью классов-типов, так как классы-типов позволяют абстрагироваться от типов: class Category (~>) Во-первых, в любой категории присутствуют единичные (нейтральные... read more
