- PhD Student
I am a PhD student supervised by Marcelo Fiore and co-supervised by Chris Kapulkin.
Research
I am working on category theory and homotopy type theory.
Teaching
Professional Activities
Talks given:
- Geometry and Topology Seminar. January 22, 2025. University of Western Ontario. Extensional concepts in intensional type theory, revisited.
- HoTT/UF 2025. April 15, 2025. Università di Genova. Extensional concepts in intensional type theory, revisited [abstract, slides].
Publications
- Krzysztof Kapulkin and Yufeng Li. Extensional concepts in intensional type theory, revisited. Theoretical Computer Science, 2025.
- Marcelo Fiore, Krzysztof Kapulkin and Yufeng Li. Logical Structure on Inverse Functor Categories. arXiv preprint, 2024.