work Superior 1 2025-1 Grupo 4002 Lógica 2 2025-1 grupo 4280 Topos Elementales semestre 2023-2 Conjuntos 1 2025-2 fun Categorías Lo básico de teoría de categorías Lean Intentaremos usar un asistente de pruebas para demostrar teoremas