collaborators

1 paper

math.CT2026

A monoidal category of dependently sorted algebraic theories II: categorical aspects

Daniel Almeida

This is the second 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).…