1
Teoría de Conjuntos / Re: Duda sobre consecuencias del principio de reflexión
« en: Ayer a las 10:30 am »
Pues no sé si soy muy bueno recomendando libros de estas cosas. Lo mejor que conozco es el de Bart Jacobs "Categorical logic and type theory".
Luego también tienes los de Homotopy Type Theory (hay uno colaborativo que se llama así, informalmente conocido como el "HoTT book", y otro de Egbert Rijke). Pero esto es más complicado desde el punto de vista de conexión con la teoría de categorías porque aquí los modelos ya no son categorías ordinarias sino ciertos tipos de \( (\infty,1) \)-categorías.
Luego también tienes los de Homotopy Type Theory (hay uno colaborativo que se llama así, informalmente conocido como el "HoTT book", y otro de Egbert Rijke). Pero esto es más complicado desde el punto de vista de conexión con la teoría de categorías porque aquí los modelos ya no son categorías ordinarias sino ciertos tipos de \( (\infty,1) \)-categorías.