9000 » from archive
"Народная теория категорий, через типы" - http://ivan-gandhi.livejournal.com/2240346.html?style=mine&nc...
"Категория состоит из типов и функций; каждая функция - из какого-то типа А в какой-то тип Б; имеется композиция функций, имеется тождественная функция. Имеется особый тип, Unit, aka (). Функция из () в тип А называется инстансом типа А." ‎- 9000