tʲiˈorʲija kʌtʲiɡˈorʲij, tˈɑɡʒy ɕitˈɑjuɕʌjasʲʌ raʑdʲˈeɭʌm ˈopɕij ˈɑɭɡʲibry, ɪzutʃʲˈɑjit svˈojstva aɭɡʲibraˈitʃʲiskʲix struktˈur ˈi sʌʌtnʌʃˈɛnʲij mʲˈeʒdu nʲˈimʲɪ s ɪspˈoɭzʌvʌnʲijim takʲˈix apstrˈɑktsyj, kˈɑk ʌbjjˈekty, mʌrfʲˈizmy, funktˈory, kʌtˈoryjɪ ʌbʌpɕˈɑjut sʌʌtvʲˈetstvujuɕijɪ pʌnʲˈɑtʲija nʲe tˈoɭkʌ v aɭɡʲibraˈitʃʲiskʲix struktˈurʌx, no ˈi f tʌpʌɭˈoɡʲiɪ, ɭˈoɡʲikʲi, tʲiˈorʲiɪ mnˈoʒystf.
Теория категорий, также считающаяся разделом общей алгебры, изучает свойства алгебраических структур и соотношений между ними с использованием таких абстракций, как объекты, морфизмы, функторы, которые обобщают соответствующие понятия не только в алгебраических структурах, но и в топологии, логике, теории множеств.