Лицата на Протей

Погледнете мъжа на корицата - ще видите, че той няма лице. На негово място е поставена геометрична конфигурация, разпадаща се всеки път, щом се опитаме да видим в нея устойчив образ. В това отношение той напомня за един от най-загадъчните персонажи от гръцката митология - Морския старец Протей, за който легендата разказва, че можел да приеме облика на всеки предмет, животно или растение... Ако опитаме да нарисуваме негов портрет, вероятно бихме получили същото: абстрактна структура, изпъкваща в поредица от форми, които поне на пръв поглед нямат нищо общо една с друга.

Книгата, която държите в ръцете си, също може да се разглежда като своеобразен портрет: нейна задача е да ви покаже математиката такава, каквато не сте я виждали никога досега. Тя разказва за една нова математическа дисциплина, която се ражда преди по-малко от седемдесет години в резултат от сътрудничеството между двама от най-изтъкнатите математици на нашето време - Сондърс Мак Лейн и Самуел Айленберг. Нейното име е теория на категориите и също като мъжа от картината, който няма свое лице, тя няма свой собствен предмет. Вместо да се интересува от определен тип обекти от рода на числата или геометричните фигури, тя изследва самите математически структури. По този начин теорията на категориите ни позволява да видим общото между отделните дялове на математиката, осигурява ни универсален език, в който могат да бъдат облечени резултатите на всяка известна формална теория.

С помощта на стотици строго формулирани дефиниции, подробно обосновани теореми и детайлни диаграми, настоящата книга ще позволи на читателя да усвои този език, който през последния четвърт век намира десетки приложения в различни научни области - от физиката и математиката през логиката и компютърната наука до философията и социалната теория.