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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Type Theory and Regular Completions

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.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Multi-Agent Cooperation St Giles Church, Castle Street, Cambridge CB3 0AQ Average on weekdays: 8936.85159817 kWh

Other talks

Talk TBC Title and abstract tba Machine Politics? Computers and AI in the History of Political Thought Synthesizing Diverse Policies for Multi-Agent Coordination Cooperation in Nature TBC
 

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