En el artículo Cuantificadores y gavillas de Lawvere, en la parte inferior de la segunda página, el autor escribe:
"... la condición que cada epi se divide, que geométricamente llamaríamos 0-dimensionalidad y lógicamente llamaríamos el axioma de la elección."
¿Qué significa esta interpretación geométrica de la elección como cero dimensionalidad? Supongo que tiene algo que ver con las fibras, pero no puedo entenderlo yo mismo.
