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 colimits in synthetic ∞-categories.
Published in Submitted preprint, 2022
We develop a theory of limits and colimits in the setting of synthetic ∞-categories.
Recommended citation: https://arxiv.org/abs/2202.12386
Exponentiable functors between synthetic ∞-categories
Published in Submitted preprint, 2024
We study exponentiable functors in simplicial type theory. Submitted
Recommended citation: https://arxiv.org/abs/2407.18072
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
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.s
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).
The language of a model category
Published:
Contributed talk at the Foundational methods in computer science in Kananaskis, AB.
The language of a model category
Published:
Speed talk at the Categorical logic and higher categories conference
Homotopy languages
Published:
Invited talk for the ASSUME joint seminar on Univalent foundations between Universities of Birmingham and Notthingham.
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).