Теорія категорій: головна ідея математики, яку майже не пояснюють вчасно

Математику часто опи­су­ють як науку про числа, фор­му­ли або обчи­сле­н­ня. Але це лише поверх­ня. У більш стро­го­му сенсі мате­ма­ти­ка — це наука про від­но­ше­н­ня між об’єктами.

Довгий час голов­ною мовою цих від­но­шень була тео­рія мно­жин. Вона дозво­ля­ла опи­су­ва­ти будь-які об’єкти через про­сту ідею: еле­мент або нале­жить мно­жи­ні, або ні.

Чому теорії множин стало недостатньо

Класична мате­ма­ти­ка буду­ва­ла­ся нав­ко­ло від­но­ше­н­ня нале­жно­сті: a \in A. З цього виро­ста­ли всі інші кон­стру­кції — об’єднання, пере­тин, включення.

1. Статичність під­хо­ду. Теорія мно­жин опи­сує об’єкти як «набір еле­мен­тів». Але вона слаб­ко опи­сує самі пере­тво­ре­н­ня між ними.
2. Логічні обме­же­н­ня. У XX сто­літ­ті Курт Гедель пока­зав, що навіть фор­маль­ні мате­ма­ти­чні систе­ми не можуть бути одно­ча­сно пов­ни­ми і несу­пе­ре­чли­ви­ми. Це озна­чає, що «іде­аль­но­го фун­да­мен­ту» не існує.
3. Потреба в новій мові. Математика роз­ви­ва­ла­ся, і стало зро­зумі­ло: важли­ві не тіль­ки об’єкти, а й зв’язки між ними.

Саме тут з’являється інший підхід.

Що таке теорія категорій

Теорія кате­го­рій вини­кла у 1940‑х роках у робо­тах Самуеля Ейленберга і Сандерса Маклейна. Вона про­по­нує іншу опти­ку: замість об’єктів у цен­трі — від­но­ше­н­ня і перетворення.

1. Об’єкти. Це будь-які мате­ма­ти­чні сутно­сті: мно­жи­ни, про­сто­ри, групи.
2. Морфізми. Це від­обра­же­н­ня або «стріл­ки» між об’єктами. Вони опи­су­ють, як один об’єкт пере­хо­дить в інший.
3. Композиція. Морфізми можна поєд­ну­ва­ти. Якщо є пере­тво­ре­н­ня A → B і B → C, то існує A → C.

Ключова ідея: важли­во не те, з чого скла­да­є­ться об’єкт, а те, як він пов’язаний з іншими.

Чому це важливо

Теорія кате­го­рій стала уні­вер­саль­ною мовою для різних роз­ді­лів мате­ма­ти­ки. Вона дозво­ляє опи­су­ва­ти стру­кту­ри дуже різної при­ро­ди в єди­но­му форматі.

Через неї можна одна­ко­во опи­су­ва­ти алге­бру, топо­ло­гію, логі­ку і навіть части­ну інфор­ма­ти­ки. У цьому сенсі вона пра­цює як «мета­мо­ва» — спо­сіб гово­ри­ти про саму математику.

Це не озна­чає, що тео­рія мно­жин зни­кла. Вона зали­ша­є­ться базо­вим інстру­мен­том. Але тео­рія кате­го­рій дозво­ляє бачи­ти глиб­ші зако­но­мір­но­сті, які не видно через про­сте «нале­жить /​ не належить».

Чому про це рідко говорять рано

Це поня­т­тя скла­дно поясни­ти без мате­ма­ти­чної бази. Але водно­час саме воно фор­мує суча­сне розу­мі­н­ня мате­ма­ти­ки. У школі про нього не гово­рять, бо воно занад­то абстра­ктне. В уні­вер­си­те­ті його часто дають пізно, коли біль­шість сту­ден­тів уже зви­кли мисли­ти іна­кше. У резуль­та­ті бага­то хто так і не бачить цілі­сної кар­ти­ни: що мате­ма­ти­ка — це не про об’єкти, а про зв’язки між ними.

Теорія кате­го­рій змі­нює фокус: замість пита­н­ня «що це за об’єкт» вона ста­вить пита­н­ня «як він пов’язаний з інши­ми». Саме тому її часто нази­ва­ють одним із най­глиб­ших ідей суча­сної мате­ма­ти­ки. Вона не замі­нює інші під­хо­ди, але дозво­ляє поба­чи­ти всю систе­му цілком.