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