О главном

[timelets]

Представьте себе ребенка, который не умел говорить, но вдруг научился произносить какие-то два-три полезных слова, например, "дай" и "нет." С помощью этих простых слов и пары жестов он теперь может добиться от взрослых, практически, всего, что хочется.

Примерно так я себя чувствую в отношении теории категорий. Пока удалось узнать буквально несколько ценных понятий: object, function, pullback, pushout, and monoid. Удивительно, но с помощью этих простейших штук можно сделать очень многое. Сегодня за обедом исписал квадратиками и стрелками две салфетки и попросил у официанта добавки. Он улыбнулся и принес мне целую папку чистой бумаги. Хорошо!