More on action representability and normalizers
We show that under mild assumptions a functor is a prefibration if and only if it has terminal objects in its fibers and admits precartesian liftings of monomorphisms. We use this to show that the following conditions on a pointed category $\mathbb{C}$ are equivalent: (a) The category of morphisms of $\mathbb{C}$ admits generic split extensions; (b) Each functor category of $\mathbb{C}$ with finite domain category admits generic split extensions; (c) $\mathbb{C}$ admits normalizers and generic split extensions; (d) The kernel functor from the category split extensions in $\mathbb{C}$ to…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.35122
curl -X POST /api/v1/records/arxiv/2609.35122/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.35122/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'