Dual adjunctions between enriched algebraic categories
Working in the setting of enriched algebraic theories for a system of arities, we study several aspects of dual adjunctions between enriched algebraic categories, which we call algebraic dual adjunctions. Firstly, we generalize Freyd's theorem on contravariant algebra-valued right-adjoint functors to this setting. Secondly, we establish a biequivalence between a 2-category of algebraic dual adjunctions and a locally discrete 2-category of bifold algebras, in a sense defined in prior work of the author. Thirdly, we define special classes of algebraic dual adjunctions that we call (left- and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.18358
curl -X POST /api/v1/records/arxiv/2608.18358/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.18358/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'