![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > A homotopy type theory for directed homotopy theory
A homotopy type theory for directed homotopy theoryAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Dan Ghica. In this talk, I will propose a directed type theory. The goal of this project is to develop a type theory which can be used to describe directed homotopy theory and category theory. At the core of this type theory is a `homomorphism’ type former whose terms are meant to represent homomorphisms or directed paths. Its rules are roughly analogous to those of Martin-Löf’s identity type. I will give an interpretation of this type former in the category of small categories which helps to elucidate its rules. I will also describe progress towards constructing weak factorization systems and interpretations in categories of directed spaces. 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 listsCondensed Matter Physics Seminars Seminars on Advanced Materials What's on in Physics?Other talksThe tragic destiny of Mileva Marić Einstein TBA Ultrafast Spectroscopy and Microscopy as probes of Energy Materials Waveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy TBA TBA |