A monoidal category of dependently sorted algebraic theories I: syntax

Daniel Almeida

This is the first of a pair of papers where we construct and investigate a closed monoidal structure on the category of generalized algebraic theories (in the sense of Cartmell). I…