Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
The theory of 2-monads entails that, for a strict monoidal category C, there is a strict monoidal category L(C) such that strict monoidal functors from L(C) are precisely the lax monoidal functors from C. We give an elementary, diagrammatic, construction of L(C) and of its variants for oplax and Frobenius lax functors. The diagrams used are analogous to the diagrammatics for lax monoidal functors studied by McCurdy.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.24166
curl -X POST /api/v1/records/arxiv/2604.24166/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.24166/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'