Сначала было Ничто. Потом появилась Категория. Потом Категория начали структурироваться. Так появился Отрезок, Треугольник и Число. Треугольник родил Умножение. Умножение и Треугольник родили Степень. Степень и Умножении родили Декартово-Замкнутую Категорию, которая родила Лямбла-исчисление и Тюринг-полноту. Так родилось Функциональное Программирование. Потом родились Лимиты и Сопряжения. Потом родился классификатор. Так родился Топос, который родил Логику и Геометрию, которая родила…
