Presentación de tesis:Thomas Jan MikhailType Theory for (¿,¿)-Categories, and Decomposition Spaces

Detalles del evento

• 21 julio 2025
• 14:00
• Aula Petita (CRM) Centre de Recerca Matemàtica (CRM)