Characterizing (Co)Free Dagger Categories
For any category, there exists both a free dagger category and a cofree dagger category over it. A natural question to ask is: given a dagger category, how can we tell if it is free or cofree without specifying an external base category? In this paper, we provide characterizations of both free dagger categories and cofree dagger categories via internal dagger category structure. To characterize cofree dagger categories, we use rectangular bands and show that a dagger category is cofree if and only if it is enriched over rectangular bands. For free dagger categories, we define the notion of a…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.14285
curl -X POST /api/v1/records/arxiv/2609.14285/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.14285/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'