research
∙
02/10/2023
Strictly Associative and Unital ∞-Categories as a Generalized Algebraic Theory
We present the first definition of strictly associative and unital ∞-cat...
share
research
∙
05/18/2022
Zigzag normalisation for associative n-categories
The theory of associative n-categories has recently been proposed as a s...
research
∙
09/03/2021
A Type Theory for Strictly Associative Infinity Categories
Many definitions of weak and strict ∞-categories have been proposed. In ...
research
∙
01/19/2021
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
The third annual International Applied Category Theory Conference (ACT20...
research
∙
07/16/2020
A Type Theory for Strictly Unital ∞-Categories
We present a type theory for strictly unital ∞-categories, in which a te...
research
∙
04/20/2018