![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Higher Universal Algebra in Type Theory
Higher Universal Algebra in Type TheoryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Jamie Vicary. I will describe recent progress on understanding higher algebraic structures in dependent type theory. In particular, I show how one can define a coherent version of polynomial monad, whose special cases include definitions of $(\infty,1)$-category and $\infty$-groupoid. I will also explain how these techniques yield a definition of simplicial type, discuss progress on formalization and formulate a number of conjectures aimed testing the definition’s suitability. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsBravo Beverley Glover Astrophysics Talks SeriesOther talksUltrafast, all-optical, and highly efficient imaging of molecular chirality Modelling uncertainty in image analysis. TBC Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Geometry of alternating projections in metric spaces with bounded curvature Test talk |