Comonadic approach to pretorsion theories
We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories are comonadic in a 2-dimensional sense over the 2-category of semiexact categories with naturally chosen 1-cells. We then extend the built pseudo-comonad to guarantee that all pretorsion theories are pseudo-coalgebras. But interestingly, not all pseudo-coalgebras are pretorsion theories. Rather, pseudo-coalgebras give a generalized notion of pretorsion…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.11472
curl -X POST /api/v1/records/arxiv/2601.11472/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.11472/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'