Маклейн Саундерс
Категории для работающего математика
Гомология
Ноокулон. Управление реальностью.