Тяжело таких найти, потому что алгебру изучают на первых курсах, а ТК сильно позже, часто самостоятельно. Если какие-нибудь биологи/геологи вдруг в ТК ударились... Или, там, филологи...
Есть очевидный пример ударившихся в теоркат философов, у которых из математического бэкграунда только основы матлогики, но для них аж книжку написали, Categories for the Working Philosopher Edited by Elaine Landry
Ну, есть такая штука как категорная логика. Как раз для логиков, которые решили удариться в категории. Это книга Голдблатта и книга Васюкова. По категорным семантикам специальным нужно искать специфическую литературу.
Это идёт от Ламбека
Есть ещё веб-блог, что ли, про теорию категорий для программистов. А ещё есть книжка с почти таким же названием, но там вместо практикующих философов — практикующие математики.
Обсуждают сегодня