He estado usando el libro "Topoi: Un Análisis Categorial de la Lógica" por Robert Goldblatt. Me pareció intuitiva y divertida, pero me siento como algunas piezas que faltan. Por ejemplo, he luchado para demostrar $a^1 \cong a$, y parece que yo no era el único. De hecho, Goldblatt del libro produce el concepto Cartesiano de Categorías Cerradas sin la primera presentación Yoneda del lexema, digamos functors! (Nótese, sin embargo, que functors se introdujo en el capítulo 9 y Yoneda del lema se presentó en el capítulo 16).
En este punto, estoy luchando por volver a probar algo como $ev\circ \langle \lceil f\rceil, x\rangle = f \circ x$, y tengo la sensación de que es por la misma razón que la dificultad de probar cosas acerca de los exponentes; es decir, adjoints, functors, Yoneda del lema, y mucho de lo riguroso de material de la categoría de la teoría es sorta glosado en favor de un enfoque más intuitivo.
Estoy buscando a los que faltan herramientas para resolver algunos de los ejercicios en este libro. Me gusta el ritmo de los "Topoi" y su exposición es agradable, así que me gustaría seguir con ella, si es posible, pero hay referencias que pueden ser útiles como estoy aprendiendo?
