On univalent categories in homotopy type theory:

- Amélia Liao,
*Univalent Category Theory*, Homotopy Type Theory Electronic Seminar Talks, 6 October 2022, (slides, video)

- Amélia Liao,
*Displayed Categories as Building Blocks*, Seminar for foundations of mathematics and theoretical computer science, 22 September 2022, Faculty of Mathematics and Physics, University of Ljubljana

category: people

Last revised on February 19, 2023 at 15:56:11. See the history of this page for a list of all contributions to it.