Actions, semidirect products and crossed semimodules in the category of small categories with a fixed set of objects
We generalize to the fibres of the fibration $\mathcal{O}\colon\mathbf{Cat}\rightarrow\mathbf{Set},$ defined by mapping a small category $\mathbb{X}$ to its set of objects $X_0=ob(\mathbb{X}),$ the classical notions of action and semidirect product of monoids. We prove that the equivalence between monoid actions of a monoid $Y$ and Schreier split extensions on $Y,$ which is well known to generalize the equivalence between actions and split extensions for groups, is an instance of a broader adjunction between Schreier points and actions in the fibres $\mathcal{O}^{-1}(B).$ This adjunction is…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.09796
curl -X POST /api/v1/records/arxiv/2606.09796/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.09796/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'