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...
research
∙
11/09/2021
Enumerating Independent Linear Inferences
A linear inference is a valid inequality of Boolean algebra in which eac...
research
∙
09/03/2021