University of Cambridge > Talks.cam > Category Theory Seminar > Type Theory and Regular Completions

Type Theory and Regular Completions

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Julia Goedecke.

Categorical models of Type Theory are subject to the application of categorical constructions. Though, there seems not to be a straightforward way to apply the regular (or exact) completion. In this talk, motivations for the study of Type Theory in conjunction with regular completion will be presented, as well as the reasons why it is not possible to apply this construction as it is. This will lead to talk about the weak omega-groupoid structure of types and the weak factorisation system for models of Type Theory with identity types.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity