pith. sign in

arxiv: 2512.20742 · v2 · submitted 2025-12-23 · 🧮 math.CT · math.QA· math.RA

Canonical differential calculi via functorial geometrization

Keegan J. Flood , Gabriele Lobbia , Giacomo Tendas This is my paper

Pith reviewed 2026-05-16 20:36 UTC · model grok-4.3

classification 🧮 math.CT math.QAmath.RA
keywords differential calculifaithful isofibrationsmonoidal additive categoriesde Rham complexKähler differentialsuniversal differential calculusfunctorial geometry
0
0 comments X

The pith

Categories equipped with faithful isofibrations to monoids in a monoidal additive category canonically carry first-order and full differential calculi.

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

The paper establishes sufficient conditions on a faithful isofibration from a category E to the category of monoids internal to a monoidal additive category V that guarantee a canonical functor from E to the category of first-order differential calculi in V. It then generalizes the maximal prolongation construction to this setting to obtain a canonical functor from E to the full category of differential calculi. This simultaneously recovers the de Rham complex on C^∞-rings, Kähler differentials on commutative algebras, and the universal differential calculus on associative algebras. The resulting structure equips E with natural notions of smooth maps and diffeomorphisms together with a functorial de Rham theory, and supplies comparison maps whenever two such isofibrations factor appropriately.

Core claim

Given a category E and a faithful isofibration E → Mon(V) to the monoids internal to a monoidal additive category V that satisfies the stated sufficient conditions, there exists a canonical functor from E to the category of first-order differential calculi in V. Generalizing the maximal prolongation of a first-order differential calculus yields a further canonical functor from E to the category of differential calculi in V. This construction simultaneously generalizes the de Rham complex on C^∞-rings, the Kähler differentials on commutative algebras, and the universal differential calculus on associative algebras, while endowing E with functorial analogues of smooth maps, diffeomorphisms, de

What carries the argument

The faithful isofibration E → Mon(V) to monoids internal to a monoidal additive category V, which induces the canonical functors to differential calculi after extending the noncommutative geometry formalism from associative algebras.

If this is right

  • Such categories E admit natural analogues of smooth maps and diffeomorphisms.
  • They carry a functorial de Rham theory.
  • When two qualifying isofibrations factor suitably, their de Rham functors are related by a comparison map.
  • The same construction recovers the classical de Rham complex, Kähler differentials, and universal differential calculus as special cases.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The framework may be applied to categories of internal monoids or other structures to define differential geometry without choosing coordinates.
  • Comparison maps between de Rham functors could relate cohomology theories arising from different algebraic presentations of the same geometry.
  • The construction supplies a uniform way to lift differential operators along morphisms of categories that preserve the isofibration.

Load-bearing premise

The faithful isofibration from E to Mon(V) must satisfy the sufficient conditions that make both the functor to first-order differential calculi and the maximal prolongation construction functorial.

What would settle it

A concrete faithful isofibration E → Mon(V) for which no canonical functor to first-order differential calculi exists, or for which the maximal prolongation fails to remain functorial.

read the original abstract

Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$ such that $\mathcal{E}$ admits a canonical functor to the category of first order differential calculi in $\mathcal{V}$. Generalizing the procedure of extending a first order differential calculus to its maximal prolongation to this setting, we obtain a canonical functor from $\mathcal{E}$ to the category of differential calculi in $\mathcal{V}$. This yields a simultaneous generalization of the de Rham complex on $C^{\infty}$-rings, the K\"{a}hler differentials on commutative algebras, and the universal differential calculus on associative algebras. As a consequence, such categories $\mathcal{E}$ admit natural analogues of the notions of smooth map and diffeomorphism, as well as a functorial de Rham theory. Moreover, whenever two such faithful isofibrations to $\operatorname{Mon}(\mathcal{V})$ factor suitably, their corresponding de Rham functors are related via a comparison map. Developing this theory requires first extending the noncommutative geometry formalism of differential calculi from associative algebras to the setting of monoids internal to monoidal additive categories.

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

2 major / 1 minor

Summary. The manuscript claims that for a category E equipped with a faithful isofibration to the category of monoids internal to a monoidal additive category V, there exist sufficient conditions guaranteeing a canonical functor from E to the category of first-order differential calculi in V. By extending the classical maximal prolongation construction to this internal setting, the authors obtain a canonical functor from E to the full category of differential calculi in V. This simultaneously generalizes the de Rham complex on C^∞-rings, Kähler differentials on commutative algebras, and the universal differential calculus on associative algebras, yielding functorial notions of smooth maps, diffeomorphisms, and de Rham theory, together with comparison maps when isofibrations factor appropriately.

Significance. If the constructions hold, the work supplies a uniform categorical framework for differential calculi on internal monoids, extending noncommutative geometry to monoidal additive categories in a functorial manner. The unification of classical examples and the provision of natural de Rham theory are potentially valuable for categorical algebra and generalized geometry, especially if the sufficient conditions are made explicit and the prolongation remains strictly functorial.

major comments (2)
  1. [Abstract / introduction of the isofibration] The sufficient conditions on the faithful isofibration E → Mon(V) are stated to exist but are not explicitly formulated or verified in the abstract; these conditions are load-bearing for both the canonical functor to first-order calculi and the functoriality of the maximal prolongation, and must be stated precisely (e.g., in the section introducing the isofibration) with a proof that they guarantee naturality of the prolongation with respect to morphisms of internal monoids.
  2. [Section developing the maximal prolongation for internal monoids] In the generalization of the maximal prolongation (developed after extending the formalism to internal monoids), the naturality of the prolongation with respect to morphisms in Mon(V) is asserted to follow from the isofibration and the additive structure of V; however, in non-symmetric or non-commutative cases this requires explicit verification that the braiding or commutator identities needed for the universal property are preserved, as the faithfulness of the isofibration alone may not suffice.
minor comments (1)
  1. The abstract uses several instances of math-mode commands (e.g., Mon(V), C^∞-rings) that could be rendered more uniformly for readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments highlight areas where greater explicitness will improve clarity and rigor. We address each major comment below and will incorporate the revisions in the next version of the manuscript.

read point-by-point responses

  1. Referee: [Abstract / introduction of the isofibration] The sufficient conditions on the faithful isofibration E → Mon(V) are stated to exist but are not explicitly formulated or verified in the abstract; these conditions are load-bearing for both the canonical functor to first-order calculi and the functoriality of the maximal prolongation, and must be stated precisely (e.g., in the section introducing the isofibration) with a proof that they guarantee naturality of the prolongation with respect to morphisms of internal monoids.

    Authors: We agree that the sufficient conditions require more explicit formulation for clarity. In the revised manuscript we will state the precise sufficient conditions on the faithful isofibration in the section introducing the isofibration (currently Section 2), including a dedicated lemma that proves these conditions guarantee naturality of the maximal prolongation with respect to morphisms of internal monoids. We will also update the abstract to reference these conditions directly. revision: yes

  2. Referee: [Section developing the maximal prolongation for internal monoids] In the generalization of the maximal prolongation (developed after extending the formalism to internal monoids), the naturality of the prolongation with respect to morphisms in Mon(V) is asserted to follow from the isofibration and the additive structure of V; however, in non-symmetric or non-commutative cases this requires explicit verification that the braiding or commutator identities needed for the universal property are preserved, as the faithfulness of the isofibration alone may not suffice.

    Authors: We acknowledge that explicit verification is needed in non-symmetric and non-commutative settings. In the revised version we will add a subsection within the development of the maximal prolongation (Section 4) that provides step-by-step checks confirming that the required braiding and commutator identities are preserved under the isofibration, using the additive structure of V. This will establish functoriality of the prolongation in full generality. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained functorial extension

full rationale

The paper establishes sufficient conditions on a faithful isofibration E → Mon(V) and constructs canonical functors to first-order and full differential calculi by generalizing the maximal prolongation from associative algebras to internal monoids in monoidal additive categories. This relies on standard category-theoretic data and the explicit extension of the noncommutative geometry formalism, without any quoted equations or steps reducing the output functor to a fitted parameter, self-definition, or load-bearing self-citation chain. The central claims (canonical functors, natural analogues of smooth maps, and comparison maps) are built directly from the given isofibration and the generalized prolongation, remaining independent of the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on standard axioms of category theory, monoidal categories, and internal monoids; no free parameters or new postulated entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms of categories, monoidal categories, and internal monoids
    The entire construction is built inside the usual 1-categorical framework of monoidal additive categories and their internal monoids.

pith-pipeline@v0.9.0 · 5530 in / 1449 out tokens · 29354 ms · 2026-05-16T20:36:45.145406+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

48 extracted references · 48 canonical work pages · 3 internal anchors

  1. [1]

    Adámek and J

    J. Adámek and J. Rosický.Locally presentable and accessible categories, volume 189 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 1994

    work page 1994

  2. [2]

    Adámek, J

    J. Adámek, J. Rosick` y, and E. M. Vitale.Algebraic theories: a categorical introduction to general algebra, volume 184. Cam- bridge University Press, 2010

    work page 2010

  3. [3]

    Bambozzi

    F. Bambozzi. On a generalization of affinoid varieties

    work page

  4. [4]

    J. M. Beck.Triples, algebras and cohomology. Columbia University, 1967

    work page 1967

  5. [5]

    E. J. Beggs and S. Majid.Quantum Riemannian Geometry, volume 355. Springer, 2020

    work page 2020

  6. [6]

    G. J. Bird.Limits in 2-categories of locally-presented categories. PhD thesis, University of Sydney, 1984; published as a Sydney Category Seminar Report

    work page 1984

  7. [7]

    Blute, J

    R. Blute, J. R. B. Cockett, T. Porter, and R. A. G. Seely. Kähler categories.Cahiers de topologie et géométrie différentielle catégoriques, 52(4):253–268, 2011

    work page 2011

  8. [8]

    Blute, R

    R. Blute, R. B. B. Lucyshyn-Wright, and K. O’Neill. Derivations in codifferential categories.Cahiers de topologie et géométrie différentielle catégoriques, 57(4):243–279, 2016

    work page 2016

  9. [9]

    Borceux.Handbook of Categorical Algebra: Volume 2, Categories and Structures

    F. Borceux.Handbook of Categorical Algebra: Volume 2, Categories and Structures. Cambridge University Press, 1994

    work page 1994

  10. [10]

    Tensor categorical foundations of algebraic geometry

    M. Brandenburg. Tensor categorical foundations of algebraic geometry.arXiv preprint arXiv:1410.1716, 2014

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  11. [11]

    A. Connes. Non-commutative differential geometry.Publications Mathematiques de l’IHES, 62:41–144, 1985

    work page 1985

  12. [12]

    Cuntz and D

    J. Cuntz and D. Quillen. Algebra extensions and nonsingularity.Journal of the American Mathematical Society, 8(2):251–289, 1995

    work page 1995

  13. [13]

    E. J. Dubuc and A. Kock. On 1-form classifiers.Communications in Algebra, 12(12):1471–1531, 1984. 19Precisely, we mean that there is a functor between the full subcategory of weakly geometrical functors satisfying the hypotheses of Theorem 4.3.3 into the lax comma categoryCat Calc•(V). Canonical differential calculi via functorial geometrization 51

    work page 1984

  14. [14]

    Etingof, S

    P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik.Tensor Categories, volume 205 ofAMS Mathematical Surveys and Mono- graphs. 2015

    work page 2015

  15. [15]

    Etingof, D

    P. Etingof, D. Nikshych, and V. Ostrik. On fusion categories.Annals of Mathematics, 162(2):581–642, 2005

    work page 2005

  16. [16]

    K. J. Flood, M. Mantegazza, and H. Winther. Jet functors in noncommutative geometry: Kj flood et al.Selecta Mathematica, 31(4):70, 2025

    work page 2025

  17. [17]

    T. Fox. Coalgebras and cartesian categories.Communications in Algebra, 4(7):665–667, 1976

    work page 1976

  18. [18]

    Double derivations and Cyclic homology

    V. Ginzburg. Double derivations and cyclic homology.arXiv preprint math/0505236, 2005

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  19. [19]

    Gordon and A

    R. Gordon and A. J. Power. Gabriel-ulmer duality for categories enriched in bicategories.Journal of Pure and Applied Algebra, 137(1):29–48, 1999

    work page 1999

  20. [20]

    Grothendieck

    A. Grothendieck. On the de rham cohomology of algebraic varieties.Publications Mathématiques de l’Institut des Hautes Études Scientifiques, 29(1):95–103, 1966

    work page 1966

  21. [21]

    Grothendieck

    A. Grothendieck. Catégories cofibrées additives et complexe cotangent relatif.Lecture Notes in Mathematics, 1968

    work page 1968

  22. [22]

    Hartshorne

    R. Hartshorne. Graduate texts in mathematics.Algebraic geometry, 52, 1977

    work page 1977

  23. [23]

    P. Hô’. An embedding theorem for abelian monoidal categories. 132:27–48, 2002

    work page 2002

  24. [24]

    Illusie.Complexe cotangent et déformations I, volume 239

    L. Illusie.Complexe cotangent et déformations I, volume 239. Springer, 2006

    work page 2006

  25. [25]

    Johnson and D

    N. Johnson and D. Yau.2-Dimensional Categories. Oxford University Press, 01 2021

    work page 2021

  26. [26]

    Joyal and R

    A. Joyal and R. Street. Braided tensor categories.Advances in Mathematics, 102(1):20–78, 1993

    work page 1993

  27. [27]

    Joyce.Algebraic geometry over C∞-rings

    D. Joyce.Algebraic geometry over C∞-rings. American Mathematical Soc., 2019

    work page 2019

  28. [28]

    Karoubi.Homologie cyclique et K-théorie, volume 9

    M. Karoubi.Homologie cyclique et K-théorie, volume 9. 1987

    work page 1987

  29. [29]

    G. M. Kelly.Basic Concepts of Enriched Category Theory. Cambridge University Press, 1982

    work page 1982

  30. [30]

    G. M. Kelly. Elementary observations on 2-categorical limits.Bulletin of the Australian Mathematical Society, 39(2):301–317, 1989

    work page 1989

  31. [31]

    Kříž and J

    I. Kříž and J. P. May.Operads, algebras, modules and motives. Number 233 in Astérisque. Société mathématique de France, 1995

    work page 1995

  32. [32]

    On the monadicity of finitary monads.Journal of Pure and Applied Algebra, 140(1):65–73, 1999

    Stephen Lack. On the monadicity of finitary monads.Journal of Pure and Applied Algebra, 140(1):65–73, 1999

    work page 1999

  33. [33]

    Leinster.Higher Operads, Higher Categories

    T. Leinster.Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series. Cambridge University Press, 2004

    work page 2004

  34. [34]

    S. Majid. Quantum and braided diffeomorphism groups.Journal of Geometry and Physics, 28(1-2):94–128, 1998

    work page 1998

  35. [35]

    Makkai and R

    M. Makkai and R. Paré.Accessible Categories: The Foundations of Categorical Model Theory, volume 104. Springer, 1989

    work page 1989

  36. [36]

    Markl, S

    M. Markl, S. Shnider, and J.D. Stasheff.Operads in Algebra, Topology and Physics. Mathematical surveys and monographs. American Mathematical Society, 2002

    work page 2002

  37. [37]

    T. O’Neill. Differential Forms for T-Algebras in Kähler Categories

    work page

  38. [38]

    H. E. E. Porst. Colimits of monoids.Theory and Applications of Categories, 34(17):456–467, 2019

    work page 2019

  39. [39]

    H.E. Porst. On categories of monoids, comonoids, and bimonoids.Quaestiones Mathematicae, 31(2):127–139, 2008

    work page 2008

  40. [40]

    D. Quillen. On the (co-) homology of commutative rings. InProc. Symp. Pure Math, volume 17, pages 65–87, 1970

    work page 1970

  41. [41]

    R. Savage. Koszul monoids in quasi-abelian categories.Applied Categorical Structures, 31(6):50, 2023

    work page 2023

  42. [42]

    Schauenburg

    P. Schauenburg. Differential-graded hopf algebras and quantum group differential calculi.Journal of Algebra, 180(1):239–286, 1996

    work page 1996

  43. [43]

    P. Scholze. Condensed mathematics.Lecture notes based on joint work with D. Clausen, Available at Scholze’s Webpage, 2019

    work page 2019

  44. [44]

    M. Shulman. Framed bicategories and monoidal fibrations.Theory and Applications of Categories, 20(18):650–738, 2008

    work page 2008

  45. [45]

    H. Stel. Cosimplicial c-infinity rings and the de rham complex of euclidean space.arXiv preprint arXiv:1310.7407, 2013

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  46. [46]

    Stolz and P

    S. Stolz and P. Teichner. Traces in monoidal categories.Transactions of the American Mathematical Society, 364(8):4425–4464, 2012

    work page 2012

  47. [47]

    Street.Quantum Groups: A Path to Current Algebra

    R. Street.Quantum Groups: A Path to Current Algebra. Australian Mathematical Society Lecture Series. Cambridge University Press, 2007

    work page 2007

  48. [48]

    S. L. Woronowicz. Differential calculus on compact matrix pseudogroups (quantum groups).Communications in Mathematical Physics, 122(1):125–170, 1989. F aculty of Mathematics and Computer Science, UniDistance Suisse, Schinerstrasse 18, 3900 Brig, Switzerland Email address:keegan.flood@unidistance.ch Department of Mathematics, University of Milan, Via Cesar...

    work page 1989