wisdom of wombats » from archive
via piggymouse + alexclear Я пробывал самостаятельно выучить теорию котегорий, но непонел, почему при построении котегории, где объекты — типы данных, а морфизмы... - http://emdin.livejournal.com/780858.html