Type Theory and Regular Completions

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

• Enrico Ghiorzi
• Tuesday 13 May 2014, 14:15-15:15
• MR5, Centre for Mathematical Sciences.

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.

This talk is included in these lists:

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Category Theory Seminar
• DPMMS Lists
• DPMMS Pure Maths Seminar
• DPMMS info aggregator
• DPMMS lists
• Hanchen DaDaDash
• Interested Talks
• MR5, Centre for Mathematical Sciences
• School of Physical Sciences
• bld31
• ndb35's list
• yk373's list

Note that ex-directory lists are not shown.