Yufeng Li

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.

Supervisions for:

Talks given:

Extensional concepts in intensional type theory, revisited.
- Geometry and Topology Seminar. 22 January 2025. University of Western Ontario.
- HoTT/UF 2025. 15 April 2025. Università di Genova. [abstract, slides].
- TYPES 2025. 15 June 2025. University of Strathclyde. [abstract, slides].
- CT 2025. 14 July 2025. Masaryk University. [abstract, slides].
(Pointed) Univalence in Universe Category Models of Type Theory.
- CSCAT 2026. 17 March 2026. AOSSA.
- FP Lunch. 27 March 2026. University of Nottingham.
Pushforwards in Inverse Homotopical Diagrams.
- PSSL 112. 28 March 2026. University of Nottingham. [abstract, slides].
- HoTT/UF 2026. 2 June 2026. Aarhus University. [abstract, slides].

Krzysztof Kapulkin and Yufeng Li. A Toolkit for Structured Lifts. Theory and Applications of Categories, 2026.
Krzysztof Kapulkin and Yufeng Li. Extensional concepts in intensional type theory, revisited. Theoretical Computer Science, 2025.

Krzysztof Kapulkin and Yufeng Li. Yet another cubical type theory, but via a semantic approach. cs.LO 2512.17548.
Krzysztof Kapulkin and Yufeng Li. (Pointed) Univalence in Universe Category Models of Type Theory. cs.LO 2512.16697.
Krzysztof Kapulkin and Yufeng Li. Pushforwards in Inverse Homotopical Diagrams. math.CT 2506.04472.
Marcelo Fiore, Krzysztof Kapulkin and Yufeng Li. Logical Structure on Inverse Functor Categories. math.CT 2410.11728.