Actions, semidirect products and crossed semimodules in the category of small categories with a fixed set of objects

Stefano Ambra

Actions, semidirect products and crossed semimodules in the category of small categories with a fixed set of objects

T0 review · 0 major / 2 minor · reviewed 2026-06-27 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Actions and semidirect products of monoids generalize to adjunctions in each fiber of the object functor on small categories, equating only when the object set is a singleton.

desk verdict This paper shows the monoid equivalences for actions and crossed modules are special cases of adjunctions in the fibers over fixed object sets, with equivalence only when the base is a singleton. read the letter →

arxiv 2606.09796 v1 pith:BD4WSPPH submitted 2026-06-08 math.CT

Stefano Ambra This is my paper · ORCID

classification math.CT

keywords actionssemidirectproductsSchreierpointscrossedsemimodulesinternalcategoriesfibressmallmonoids

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper extends the classical notions of action and semidirect product from monoids to the fibers of the object fibration from small categories to sets. It proves an adjunction between Schreier points and actions in these fibers that becomes an equivalence if and only if the fixed object set B has exactly one element. It further constructs an adjunction between Schreier internal categories in the fibers and crossed semimodules, which produces an equivalence between suitably defined crossed modules and Schreier internal groupoids.

What carries the argument

The object fibration O from small categories to sets, with its fibers O^{-1}(B) of categories having fixed object set B; the notions of actions, Schreier points, and crossed semimodules obtained by translating the monoid versions into each fiber.

What would settle it

An explicit computation in a fiber over a two-element set B showing that the unit or counit of the adjunction between Schreier points and actions fails to be an isomorphism.

Watch

Extended reading notes

Core claim

There is an adjunction between Schreier points and actions in the fibres O^{-1}(B) which is an equivalence iff B=1; there is an adjunction between Schreier internal categories in the fibres and crossed semimodules which yields an equivalence between crossed modules and Schreier internal groupoids when crossed modules are defined appropriately.

Load-bearing premise

The translated definitions of actions, Schreier points, crossed semimodules, and crossed modules inside each fibre O^{-1}(B) are the correct generalizations that preserve the adjunction and equivalence properties known for monoids.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The main point is that this work embeds the known monoid results on actions, Schreier points, and crossed semimodules into the fibers of the object fibration on small categories. The adjunction between actions and Schreier points in each fiber O^{-1}(B) becomes an equivalence only for B with one element, and the same pattern holds for the adjunction between Schreier internal categories and crossed semimodules, yielding an equivalence with crossed modules and internal groupoids under suitable definitions.

It does the translation of the monoid definitions into each fiber cleanly and verifies that the adjunctions reduce correctly to the classical cases, including Patchkoria's equivalence. That is useful bookkeeping in categorical algebra and keeps the claims consistent with prior work on monoids.

The softer part is that the method is the standard fiberwise translation, so the novelty sits mostly in carrying it out for this fibration rather than in new phenomena or broader applications. The restriction to equivalence only when B=1 is explicit but narrows the reach. No circularity or unsupported steps appear in the stated claims.

This is for category theorists already working on internal structures, actions in Cat, or monoid generalizations. A reader focused on those areas gets a precise organization of how the monoid equivalences sit inside the larger setting. It shows clear engagement with the literature and stays coherent on its own terms.

I would send it to peer review so the proofs can be checked in detail.

Referee Report

0 major / 2 minor

Summary. The paper generalizes the classical notions of actions, semidirect products, Schreier points, crossed semimodules, and crossed modules from the category of monoids to the fibres O^{-1}(B) of the fibration O: Cat → Set. It proves that the known equivalence between monoid actions and Schreier split extensions is an instance of a broader adjunction between Schreier points and actions in these fibres, with the adjunction being an equivalence if and only if B=1. It further establishes an adjunction between Schreier internal categories in the fibres and crossed semimodules (defined by direct translation from the monoid case), and shows that an appropriate definition of crossed modules yields an equivalence between crossed modules and Schreier internal groupoids in the fibres.

Significance. If the stated adjunctions and equivalences hold, the work supplies a uniform fibrewise framework that extends monoid results (including Patchkoria's equivalence) to categories with fixed object sets. The explicit observation that full equivalence requires B=1 is a clear contribution, and the standard method of translating definitions fibrewise ensures the claims reduce correctly to the known monoid case. This approach strengthens the paper's value for categorical algebra and internal category theory.

minor comments (2)

[Abstract] The abstract states that proofs exist for the adjunctions and equivalences but does not indicate the key propositions or sections where the fibrewise definitions are shown to preserve the required universal properties; adding such pointers would improve traceability.
Notation for the fibres O^{-1}(B) and the translated structures (actions, Schreier points, crossed semimodules) is introduced by direct reference to the monoid case; a brief explicit comparison table or diagram in the definitions section would clarify which axioms are preserved verbatim and which are adapted.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper translates the monoid-case definitions of actions, Schreier points, crossed semimodules and crossed modules directly into each fibre O^{-1}(B), then derives the stated adjunctions and the B=1 equivalence from those translated definitions. This is ordinary categorical generalization; the claims reduce to the known monoid results (including Patchkoria) without any self-definitional loop, fitted-input prediction, or load-bearing self-citation. The derivation is therefore self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

Relies on standard category theory background for the fibration O and the translation of monoid notions into the fibres; no free parameters or invented entities are indicated in the abstract.

assumptions (2)

standard math The fibration O: Cat → Set sending each small category to its set of objects is a standard fibration whose fibres are categories.
Invoked implicitly when working inside O^{-1}(B).
domain assumption The classical notions of action, Schreier split extension, and crossed semimodule admit direct translations into each fibre O^{-1}(B) that preserve the relevant universal properties.
Central to defining the structures whose adjunctions are claimed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Actions, semidirect products and crossed semimodules in the category of small categories with a fixed set of objects." pith.science (2026). https://pith.science/paper/BD4WSPPH

@misc{pith2026260609796,
  author       = {Pith},
  title        = {Pith review of: Actions, semidirect products and crossed semimodules in the category of small categories with a fixed set of objects},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BD4WSPPH}},
  note         = {Machine review of arXiv:2606.09796}
}

abstract

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 an equivalence if and only if $B=1,$ i.e., for the category $\mathbf{Mon}$ of monoids. Similarly, we prove that there is an adjunction (which, in the case of monoids, results in a known equivalence due to Patchkoria) between Schreier internal categories in the fibres $\mathcal{O}^{-1}(B)$ and the category of crossed semimodules in $\mathcal{O}^{-1}(B).$ The latter are defined by translating in $\mathcal{O}^{-1}(B)$ the notion of crossed semimodule in $\mathbf{Mon}.$ Eventually, we prove that, by defining crossed modules appropriately, this last adjunction yields an equivalence between crossed modules and Schreier internal groupoids in the fibres of $\mathcal{O}.$

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

A direction functor approach to the cohomology of small categories
math.CT 2026-08 conditional novelty 6.0 of 10

For small categories over a fixed object set, cohomology can be computed via direction functors on S-special morphisms, matching Hoff and Golasinski cohomology in every degree.

Reference graph

Works this paper leans on

16 extracted references · cited by 1 Pith paper

[1]

Ambra, A

S. Ambra, A. Duvieusart, A. Montoli,A direction functor approach to the cohomology of small categories(to appear)
[2]

Barr,Exact categories, in Lecture Notes in Mathematics 236, Springer-Verlag (1971)

M. Barr,Exact categories, in Lecture Notes in Mathematics 236, Springer-Verlag (1971)

1971
[3]

Bourn,La tour de fibrations exactes des n-cat´ egories, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 25 (1984), 327-351

D. Bourn,La tour de fibrations exactes des n-cat´ egories, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 25 (1984), 327-351

1984
[4]

Bourn,Normalization equivalence, kernel equivalence and affine categories, Springer Lec- ture Notes in Mathematics 1488 (1991), 43-62

D. Bourn,Normalization equivalence, kernel equivalence and affine categories, Springer Lec- ture Notes in Mathematics 1488 (1991), 43-62

1991
[5]

Bourn,Baer sums and fibered aspects of Mal’cev operations, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 40 (1999), 297-316

D. Bourn,Baer sums and fibered aspects of Mal’cev operations, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 40 (1999), 297-316

1999
[6]

Bourn,Aspherical abelian groupoids and their directions, Journal of Pure and Applied Algebra, 168 (2002), 133-146

D. Bourn,Aspherical abelian groupoids and their directions, Journal of Pure and Applied Algebra, 168 (2002), 133-146

2002
[7]

Bourn,Mal’tsev reflection, S-Mal’tsev and S-protomodular categories, preprint Cahiers LMPA, n

D. Bourn,Mal’tsev reflection, S-Mal’tsev and S-protomodular categories, preprint Cahiers LMPA, n. 497 (2014)

2014
[8]

Bourn, G

D. Bourn, G. Janelidze,Protomodularity, descent, and semidirect productsTheory and Ap- plications of Categories, Vol. 4, No. 2 (1998), 37–46

1998

Show all 16 references

[9]

Bourn, N

D. Bourn, N. Martins-Ferreira, A. Montoli, M. Sobral,Monoids and pointed S-protomodular categories, Homology, Homotopy and Applications, 18 (2016), 151-172

2016
[10]

Bourn, D

D. Bourn, D. Rodelo,Cohomology without projectives, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 48 (2007), 104-153

2007
[11]

Carboni, J

A. Carboni, J. Lambeck, M. C. Pedicchio,Diagram chasing in Mal’cev categories, Journal of Pure and Applied Algebra, 69 (1990), 271-284

1990
[12]

Golasi´ nski,n-fold extensions and cohomologies of small categories, Math´ ematica – Revue d’Analyse Num´ erique et de Th´ eorie de l’Approximation

M. Golasi´ nski,n-fold extensions and cohomologies of small categories, Math´ ematica – Revue d’Analyse Num´ erique et de Th´ eorie de l’Approximation. Math´ ematica, 31 (1989), 53–59

1989
[13]

Hoff,On the cohomology of categories, Rend

G. Hoff,On the cohomology of categories, Rend. Mat. (6) 7, (1974), 169–192

1974
[14]

Joyal, R

A. Joyal, R. Street,Braided Monoidal Categories, preprint Macquarie Mathematics Reports, n. 860081 (1986)

1986
[15]

Patchkoria,Crossed semimodules and Schreier internal categories in the category of mo- noids, Georgian Math

A. Patchkoria,Crossed semimodules and Schreier internal categories in the category of mo- noids, Georgian Math. Journal, Vol. 5, No. 6 (1998), 575-581

1998
[16]

Federigo Enriques

M. C. Pedicchio, W. Tholen (ed.),Categorical Foundations: Special Topics in Order, Topo- logy, and Sheaf Theory, Cambridge Univ. Press (2004) (Stefano Ambra)Dipartimento di Matematica “Federigo Enriques”, Universit `a degli Studi di Milano, Via Saldini 50, 20133 Milano, Italy ...

2004

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.

[1] [1]

Ambra, A

S. Ambra, A. Duvieusart, A. Montoli,A direction functor approach to the cohomology of small categories(to appear)

[2] [2]

Barr,Exact categories, in Lecture Notes in Mathematics 236, Springer-Verlag (1971)

M. Barr,Exact categories, in Lecture Notes in Mathematics 236, Springer-Verlag (1971)

1971

[3] [3]

Bourn,La tour de fibrations exactes des n-cat´ egories, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 25 (1984), 327-351

D. Bourn,La tour de fibrations exactes des n-cat´ egories, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 25 (1984), 327-351

1984

[4] [4]

Bourn,Normalization equivalence, kernel equivalence and affine categories, Springer Lec- ture Notes in Mathematics 1488 (1991), 43-62

D. Bourn,Normalization equivalence, kernel equivalence and affine categories, Springer Lec- ture Notes in Mathematics 1488 (1991), 43-62

1991

[5] [5]

Bourn,Baer sums and fibered aspects of Mal’cev operations, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 40 (1999), 297-316

D. Bourn,Baer sums and fibered aspects of Mal’cev operations, Cahiers de topologie et g´ eom´ etrie diff´ erentielle cat´ egoriques, 40 (1999), 297-316

1999

[6] [6]

Bourn,Aspherical abelian groupoids and their directions, Journal of Pure and Applied Algebra, 168 (2002), 133-146

D. Bourn,Aspherical abelian groupoids and their directions, Journal of Pure and Applied Algebra, 168 (2002), 133-146

2002

[7] [7]

Bourn,Mal’tsev reflection, S-Mal’tsev and S-protomodular categories, preprint Cahiers LMPA, n

D. Bourn,Mal’tsev reflection, S-Mal’tsev and S-protomodular categories, preprint Cahiers LMPA, n. 497 (2014)

2014

[8] [8]

Bourn, G

D. Bourn, G. Janelidze,Protomodularity, descent, and semidirect productsTheory and Ap- plications of Categories, Vol. 4, No. 2 (1998), 37–46

1998