Director Académico en CINVCAT
correo electrónico: e.ruiz-hernandez@cinvcat.org.mx
Licenciatura en física y matemáticas
ESFM, IPN
Tutor: Miguel Xicoténcatl Merino (Leopoldo Román Cuevas, Francisco Marmolejo Rivas)
Título: Sobre coálgebras de los números reales y coinducción
Maestría en ciencias matemáticas
Instituto de Matemáticas, UNAM
Tutor: Francisco Marmolejo Rivas
Título: Seudoálgebras normales de la seudomónada (-)^E
Prepublicaciones
- (Con Agustín-Aquino, Arias) A categorical generalization of counterpoint (arxiv)
- Another characterization of no-iteration distributive laws (arxiv)
- (Con Solórzano) On logical parameterizations and functional representability in local set theories (arxiv)
Publicaciones
- (Con Solórzano) Connectedness through decidable quotients
- (Con Solórzano) Naive homotopy theories in cartesian closed categories
Intereses y Líneas de Investigación:
- Teoría de topos
- Cohesión axiomática
- Geometría diferencial sintética
- Teoría de categorías de bajas dimensiones
Colaboradores: