activity
20192021
most citedSmall object arguments, plus-construction, and left-exact localizations

3 citations · 4 across the 4 of their papers we have counts for

collaborators
Showing 2021 · math.CTShow all

1 paper · 2 filters

math.CT2021★ 1 cited

From dependent type theory to higher algebraic structures

Chaitanya Leena Subramaniam

The first part of this dissertation defines "dependently typed algebraic theories", which are a strict subclass of the generalised algebraic theories (GATs) of Cartmell. We charact…