research
∙
12/28/2021
Syntactic Regions for Concurrent Programs
In order to gain a better understanding of the state space of programs, ...
share
research
∙
12/28/2021
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
Polynomial functors are a categorical generalization of the usual notion...
research
∙
06/08/2021
Globular weak ω-categories as models of a type theory
We study the dependent type theory CaTT, introduced by Finster and Mimra...
research
∙
01/10/2021
Tietze Equivalences as Weak Equivalences
A given monoid usually admits many presentations by generators and relat...
research
∙
08/19/2019