A monoidal category of dependently sorted algebraic theories II: categorical aspects
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,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.00952
curl -X POST /api/v1/records/arxiv/2606.00952/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.00952/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'