Я взглянул на некоторые свободно доступные онлайн-скрипты теории категорий, но я подозреваю, что быстро застряну, так как многие примеры предполагают некоторые знания алгебры, которых у меня нет. Меня в основном интересует теория категорий из-за ее основополагающей роли в логике, поэтому я думаю, что книга/сценарий, написанный с этой точки зрения, был бы полезен для меня. Я был бы особенно признателен, если бы материал был бесплатным, так как я не очень богат. (Хотя это не должно препятствовать вам также рекомендовать платные ресурсы.)
Большое спасибо. :)
Недавно я купил Goldblatt, TOPOI, Категориальный анализ логики, издания Dover.
Это может вас заинтересовать. Я получил его через Амазон.
Иттай Вайс
Бог благословил