## Higher Universal Algebra in Type TheoryAdd to your list(s) Download to your calendar using vCal - Eric Finster, INRIA, Paris
- Thursday 24 January 2019, 12:00-13:00
- CS 217.
If you have a question about this talk, please contact Dr Steve Vickers. [This concludes the talk started on Tuesday 22 Jan] 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 Lab Lunch series. ## This talk is included in these lists:- CS 217
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Lab Lunch
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsanalysis Cargo Seminars on Advanced Materials## Other talksTBC |