pith. sign in

arxiv: 2606.09796 · v1 · pith:BD4WSPPHnew · submitted 2026-06-08 · 🧮 math.CT

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

Stefano Ambra This is my paper

Pith reviewed 2026-06-27 13:53 UTC · model grok-4.3

classification 🧮 math.CT
keywords actionssemidirect productsSchreier pointscrossed semimodulesinternal categoriesfibressmall categoriesmonoids
0
0 comments X

The pith

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.

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

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.

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.

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.

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.

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.

read the original 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}.$

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

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)
  1. [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.
  2. 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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 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.

axioms (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.

pith-pipeline@v0.9.1-grok · 5797 in / 1324 out tokens · 22703 ms · 2026-06-27T13:53:31.721423+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references

  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

  9. [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. [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. [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. [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. [13]

    Hoff,On the cohomology of categories, Rend

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

    1974

  14. [14]

    Joyal, R

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

    1986

  15. [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. [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 Email address:stefano.ambra@unimi.it

    2004