Теория категорий

Раздел математики, который изучает математические объекты не по их внутреннему устройству, а через отображения между ними (морфизмы) и через то, как эти отображения складываются друг с другом. Даёт общий язык для разных областей — алгебры, топологии, логики — и применяется в теоретической информатике (теория типов, функциональное программирование) и теоретической физике.