Alex Rice | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Anupam Das
15 publications
Jamie Vicary
6 publications
Eric Finster
6 publications

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...

0 Eric Finster, et al. ∙

research

∙ 11/09/2021

Enumerating Independent Linear Inferences

A linear inference is a valid inequality of Boolean algebra in which eac...

0 Anupam Das, et al. ∙

research

∙ 09/03/2021

A Type Theory for Strictly Associative Infinity Categories

Many definitions of weak and strict ∞-categories have been proposed. In ...

0 Eric Finster, et al. ∙