Partial Linearity in Categories

Roy Ferguson; Zurab Janelidze

arxiv: 2601.14237 · v2 · submitted 2026-01-20 · 🧮 math.CT

Partial Linearity in Categories

Roy Ferguson , Zurab Janelidze This is my paper

Pith reviewed 2026-05-16 12:33 UTC · model grok-4.3

classification 🧮 math.CT

keywords partially linear categoriessum and product structurescentral morphismsmonoid enrichmentcoherence theoremnatural transformationsmatrix presentationscategory theory

0 comments

The pith

Central morphisms in partially linear categories admit enrichment over monoids.

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

The paper generalizes Lawvere linearity to any category equipped with both a sum structure and a product structure. Compatibility is defined by the existence of a natural transformation i from the sum to the product whose matrix presentation is the identity matrix, and partial linearity requires this i to be invertible. The main result is that central morphisms then admit an enrichment over monoids, supported by a coherence theorem for the structures. A reader would care because the construction isolates exactly the data needed to recover monoid-like behavior on distinguished morphisms without demanding full linearity throughout the category.

Core claim

A category C with sum and product structures is partially linear when there exists an invertible natural transformation i from the sum to the product whose matrix presentation is the identity. In such categories the central morphisms admit enrichment over monoids, and the structures satisfy a coherence theorem ensuring consistent matrix presentations and composition.

What carries the argument

The invertible natural transformation i from the sum functor to the product functor whose matrix presentation is the identity matrix, which both defines partial linearity and carries the monoid enrichment of central morphisms.

If this is right

Central morphisms form a monoid-enriched subcategory.
Addition of central morphisms is associative and has identities, interacting compatibly with composition.
Unique matrix presentations exist for all morphisms from n-fold sums to n-fold products.
The coherence theorem guarantees that diagrams involving sums, products, and the transformation i commute as expected.

Where Pith is reading between the lines

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

The same construction may apply to categories whose sums and products are only partially defined, yielding monoid enrichment on a suitable subclass of morphisms.
Specializing to the category of sets with disjoint union and cartesian product would produce an explicit monoid structure on certain functions between finite sets.
The partial-linearity condition could be relaxed further to a one-sided invertibility, potentially recovering enrichment over semigroups instead of monoids.

Load-bearing premise

The sum and product structures admit a natural transformation from sum to product that presents the identity matrix and is invertible.

What would settle it

Constructing or exhibiting a category with sum and product structures in which the natural transformation i from sum to product is invertible, yet the hom-sets of central morphisms fail to carry a monoid structure compatible with composition, would falsify the enrichment claim.

read the original abstract

In this paper we generalise the notion of linearity (in the sense of Lawvere) to a category C equipped with a compatible sum structure and product structure. In this context, any morphism f from an n-fold sum to an n-fold product has a unique n by m matrix presentation, but a morphism for a given matrix does not necessarily exist. We define the sum and product to be compatible if there exists a natural transformation i from sum to product with matrix presentation the identity and define C to be partially linear if such an i is invertible. We establish a coherence theorem for partially linear categories. We generalise the notion of a central morphism to this setting, and show that the central morphisms of a partially linear category admit enrichment over monoids.

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.

Desk Editor's Note private letter to a colleague

The paper defines partially linear categories via an invertible natural transformation i from sums to products and proves monoid enrichment for their central morphisms.

read the letter

The main takeaway is that this paper generalizes Lawvere linearity by defining a category with compatible sums and products to be partially linear when a certain natural transformation i from n-fold sums to n-fold products is invertible, where i has the identity matrix presentation. From this they derive a coherence theorem and show that central morphisms admit a monoid enrichment on their hom-sets. The definitions are direct and the results follow from standard naturality and diagram arguments without circularity or fitted parameters. The monoid structure on central morphisms is a clean consequence of the invertibility condition, and it does not reduce to prior Lawvere-linearity statements. The paper does well by keeping the setup precise and the theorems checkable from the axioms given. A minor soft spot is that the abstract gives little indication of concrete examples, so it is not yet clear how many familiar categories satisfy the invertibility condition or how widely the notion applies beyond abstract development. That limitation is not fatal to the formal claims, but it does mean the immediate payoff for readers may depend on the body of the paper. This is aimed at category theorists already working with algebraic structures and coherence questions. It shows clear thinking and honest engagement with the literature. I would bring it to a reading group to walk through the coherence theorem. It deserves peer review because the setup is reproducible and the results are stated sharply enough to be evaluated on their own terms.

Referee Report

0 major / 2 minor

Summary. The paper generalizes Lawvere's notion of linearity to a category C equipped with compatible sum and product structures. Compatibility requires a natural transformation i from the n-fold sum to the n-fold product whose matrix presentation is the identity matrix; the category is partially linear when this i is invertible. The authors prove a coherence theorem for partially linear categories, generalize the notion of central morphisms, and establish that the central morphisms admit enrichment over monoids.

Significance. If the results hold, this supplies a clean categorical framework extending linearity via an invertible natural transformation, together with a coherence theorem and monoid enrichment for central morphisms. The development rests on standard category axioms plus the new invertibility condition, with no free parameters or circular reductions, and directly equips the relevant hom-sets with monoid operations via the matrix presentation and coherence. This could support further work in enriched categories or abstract linear structures.

minor comments (2)

[Introduction] The introduction would benefit from a one-sentence recall of Lawvere's original linearity to orient readers new to the topic.
[Coherence theorem] In the statement of the coherence theorem, explicitly list the coherence conditions that are invoked in the enrichment proof rather than leaving them implicit.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive recommendation to accept. The referee's summary accurately reflects the paper's contributions regarding the generalization of Lawvere's linearity via an invertible natural transformation, the coherence theorem, and the monoid enrichment of central morphisms.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation begins with standard category-theoretic notions of sums and products, then introduces a compatibility condition via an explicit natural transformation i whose matrix presentation is the identity matrix, and defines partial linearity precisely when this i is invertible. The coherence theorem and the monoid enrichment of central morphisms are proved directly from these definitions together with the universal properties of sums and products. No equation or theorem reduces a claimed result to a quantity defined in terms of itself, to a fitted parameter, or to a load-bearing self-citation whose content is merely renamed. The argument is self-contained against the external benchmark of ordinary category axioms and does not rely on any prior result by the same authors that would close a definitional loop.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claims rest on the standard axioms of category theory together with the newly introduced notions of compatible sum-product structures and partial linearity; no free parameters or invented entities with independent evidence are required beyond these definitions.

axioms (1)

standard math Standard axioms of category theory (objects, morphisms, composition, identities)
Invoked throughout to define sums, products, and natural transformations.

invented entities (1)

Partially linear category no independent evidence
purpose: To capture categories where sum and product are linked by an invertible identity-matrix natural transformation
Defined directly from the invertibility condition on i; no external falsifiable handle is supplied.

pith-pipeline@v0.9.0 · 5411 in / 1207 out tokens · 31685 ms · 2026-05-16T12:33:49.421998+00:00 · methodology

Partial Linearity in Categories

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)