EDITAR: ahora he hecho una pregunta similar sobre la diferencia entre categorías y conjuntos. Cada vez que leo acerca de la teoría de tipos (que ciertamente es bastante informal), no puedo entender realmente en qué se diferencia de la teoría de conjuntos, concretamente . Entiendo que hay una...