Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
Limits and exponentiable functors in simplicial type theory
Published in Preprint, 2022
We develop a theory of limits and colimits in the setting of synthetic ∞-categories. Also, we examine exponentiable functors in this framework
Recommended citation: https://arxiv.org/abs/2202.12386
The language of a model category
Published in Preprint, 2024
We explore a beautiful and intriguing relation between logic and homotopy theory. In this joint work with Simon Henry, we build the notion of a language over a model category. Throughout it, we hope to get some insights about models of infinity categories. The paper is still work in progress, but it is close to its final version.
Recommended citation: In preparation.
talks
Sheaves and Etale spaces
Published:
Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Western Ontario.
Univalent foundations of mathematics
Published:
Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Ottawa.
Limits and colimits of synthetic (∞,1)-categories.
Published:
Talk for the Logic Seminar in the Deparment of Mathematics at UOttawa at the University of Ottawa.
A first look into ∞-categories.
Published:
Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Ottawa.
Limits and colimits in simplicial homotopy type theory
Published:
Contributed talk during the Interactions of Proof Assistants and Mathematics Summer School at Regensburg.
The language of a model category
Published:
Contributed talk during the Category Theory Conference 2024 (CT2024).
teaching
National Autonomous University of Mexico (UNAM)
Teaching, Faculty of Sciences, 2016
- Lecturer for the course Linear Algebra I during the 2018 Winter semester.
- Lecturer for the course Superior Algebra I during the 2018 Winter semester for the Faculty of Higher Studies Acatlan.
- I was teaching assistant for a number of courses too (from 2016 to 2018):
- Linear algebra I.
- Number theory I.
- Algebra I.
- Algebra II.
University of Western Ontario
Teaching assistant, Department of Mathematics and Statistics, 1900
I was teaching assitant for:
- Calculus.
- Methods of matrix algebra.
- Methods of finite mathematics.
University of Ottawa
Teaching assistant, Department of Mathematics and Statistics, 2021
This semester I am a Lecturer for Calculus II (Mat 1322).