Recursos para el aprendizaje de la Teoría de Categorías desde la perspectiva de la lógica

Eché un vistazo a algunos scripts en línea disponibles gratuitamente de Teoría de categorías, pero sospecho que me quedaría atascado rápidamente, ya que muchos ejemplos presuponen un conocimiento de álgebra que no tengo. Me interesa principalmente la Teoría de categorías debido a su papel fundamental en la lógica, así que creo que un libro/guión escrito desde ese punto de vista sería beneficioso para mí. Agradecería especialmente que el material fuera gratuito, ya que no soy muy rico. (Aunque esto no debería desanimarlo a recomendar también recursos que no son gratuitos).

Muchas gracias. :)

¿Ya conoce algo de teoría de categorías o está buscando un texto que enseñe los conceptos básicos de la teoría de categorías desde una perspectiva lógica?
@IttayWeiss No sé exactamente nada sobre la teoría de categorías. Me interesé porque escuché que está profundamente conectado con la lógica, y la lógica es mi amor.

Respuestas (1)

Recientemente compré publicaciones de Goldblatt, TOPOI, The Categorical Analysis of Logic, Dover.

Puede que te interese. Lo conseguí a través de Amazon.

¡Las publicaciones de Dover son geniales! me encanta su filosofia
¿Lo has leído y puedes dar fe de su calidad?
@Godbless: es excelente (al menos hasta donde he leído). Y puedes comprobarlo por ti mismo, ya que está disponible de forma gratuita: projecteuclid.org/ebooks/books-by-independent-authors/…
+1 para Golblatt Topoi. Te gustará.