Paige North: Two-sided weak factorization systems

Tid: On 2019-10-02 kl 14.30 - 16.30

Föreläsare: Paige North, Ohio State University

Plats: Kräftriket, hus 5, sal 22

Abstract

In this talk, I’ll describe intended semantics for directed type theory. We generalize the two-sided fibrations of Street to obtain a notion of two-sided weak factorization systems: structure on a category which consists of two compatible weak factorization systems. These correspond to a notion of directed path object. The long-term goal is to use the behavior of these directed path objects to reverse-engineer a directed identity type.

Innehållsansvarig:webmaster@math.kth.se
Tillhör: Institutionen för matematik
Senast ändrad: 2019-09-27