BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:A homotopy type theory for directed homotopy theor
y - Paige North
DTSTART:20180608T100000Z
DTEND:20180608T110000Z
UID:TALK3210AT
URL:/talk/index/3210
DESCRIPTION:In this talk\, I will propose a directed type theo
ry. The goal of this\nproject is to develop a type
theory which can be used to describe\ndirected ho
motopy theory and category theory. At the core of
this\ntype theory is a `homomorphism’ type former
whose terms are meant to\nrepresent homomorphisms
or directed paths. Its rules are roughly\nanalogou
s to those of Martin-Löf’s identity type. I will g
ive an\ninterpretation of this type former in the
category of small\ncategories which helps to eluci
date its rules. I will also describe\nprogress tow
ards constructing weak factorization systems and\n
interpretations in categories of directed spaces.
LOCATION:Computer Science\, The Sloman Lounge (UG)
CONTACT:Dan Ghica
END:VEVENT
END:VCALENDAR