Amélia Liao in nLab
Talks
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
Last revised on June 26, 2023 at 16:15:12. See the history of this page for a list of all contributions to it.