Soy bastante nuevo en las categorías y el libro que estoy leyendo es Lawvere y Schanuel's Matemáticas conceptuales .
Al final de la segunda parte, los autores utilizan la prueba de los teoremas de punto fijo de Brouwer como ejemplo de cómo se puede utilizar el pensamiento categorial para construir pruebas, mediante la "objetivación" y la "mapificación".
Supongo que este proceso es muy importante si uno quiere realmente utilizar la categoría para profundizar en la comprensión. Sin embargo, esta parte me pareció bastante difícil. Me pregunto si hay otros ejemplos que muestren el poder de categorizar las pruebas.
Todos los ejemplos son bienvenidos. Gracias.
