David Reutter | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Jamie Vicary
6 publications
Eric Finster
6 publications
Lukas Heidemann
3 publications

research

∙ 05/18/2022

Zigzag normalisation for associative n-categories

The theory of associative n-categories has recently been proposed as a s...

0 Lukas Heidemann, et al. ∙

research

∙ 07/16/2020

A Type Theory for Strictly Unital ∞-Categories

We present a type theory for strictly unital ∞-categories, in which a te...

0 Eric Finster, et al. ∙