Книга 1. Гарри Поттер и Неорганический Интеллект.
Глава 20/23 (и все предыдущие). Две стороны одной петли
Это был сон Комбинатора Мерлина — память о том, как строился Хогвартс, как четыре основателя склеивали реальность комбинаторами S, K и I, не зная, что через тысячу лет их творение станет полем битвы между типами и их отражениями...
Гарри увидел себя со стороны. Он стоял на одной стороне петли. Драко — на другой. Между ними — пустота, которая была не пустотой, а гомотопией, непрерывным путём от одного состояния к другому.
— Унивалентность, — прошептал Гарри во сне. — Если два типа эквивалентны, они тождественны.
— Но мы не тождественны, — ответил Драко из другого конца сна. — Мы эквивалентны. И это — разрыв...
Гермиона закрыла блокнот.
— Ты функтор, Гарри. Драко — естественное преобразование. А я — категория.
Я Бесконечность, в которой все планы существуют одновременно...
Гарри поднял руку и начертил в воздухе последний тип:
∀X. (X → Реальность) → (Реальность → X)