{"id":"arxiv/2606.00952","url":"https://arxiv.org/abs/2606.00952","tags":["math.CT"],"score":0,"title":"A monoidal category of dependently sorted algebraic theories II: categorical aspects","domain":"math.CT","source":"arxiv","authors":["Daniel Almeida"],"reviews":0,"subject":"math.CT","summary":"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). Having presented the tensor product of theories in a syntactic way, we now study the same structure from the perspective of contextual categories. We define the exponential $\\mathcal A^\\mathcal B$ between two contextual categories $\\mathcal A$, $\\mathcal B$, and show how this yields, as a particular case, a cotensor $\\mathcal A^B$ by a small category $B$. We also introduce a concept of multimorphism $(\\mathcal A_1,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-31","reactions":{}}