Зачем нужна теория категорий?
Этот животрепещущий вопрос только что возник на студенческом форуме физфака МГУ и в блоге Ars Mathematica.
В сети есть по крайней мере один пример физика, который занимается теорией категорий как предметом: это Джон Баез. В его науке теория категорий применяется для построения некоторого обобщения дифференциальной геометрии, необходимого для описания движения струн вместо классического движения точек.
Нетривиальное применение теория категорий находит в computer science.
