Erratum and Addendum: The factorization of the Giry monad
Pith reviewed 2026-05-25 12:26 UTC · model grok-4.3
The pith
The Giry monad factorizes through super convex spaces rather than convex spaces.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The Giry monad factorizes through the category of super convex spaces. This is shown by the presence of a codense subcategory in super convex spaces that permits an elementary proof, correcting the prior assertion that the factorization holds through the category of convex spaces.
What carries the argument
The codense subcategory of super convex spaces, which supplies the structure needed for an elementary proof of the Giry monad factorization.
If this is right
- The Giry monad does not factorize through the full category of convex spaces.
- The factorization property holds specifically inside the subcategory of super convex spaces.
- Identification of the codense subcategory makes an elementary proof available.
Where Pith is reading between the lines
- Applications of the Giry monad in categorical probability may require adjustment to the narrower setting of super convex spaces.
- Similar factorization questions for other probability monads could be re-examined by checking for codense subcategories in related convex structures.
Load-bearing premise
Super convex spaces contain a codense subcategory that supports the elementary proof of the factorization.
What would settle it
An explicit probability measure for which the corresponding map fails to factorize through any super convex space.
read the original abstract
The category of super convex spaces, a proper subcategory of convex spaces, possesses the property that it has a codense subcategory. This codense subcategory allows for an elementary proof that the Giry monad factorizes through the category of super convex spaces, not the category of convex spaces as erroneously claimed in an earlier article [arXiv:1707.00488]
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript is an erratum and addendum to arXiv:1707.00488. It corrects the earlier claim by asserting that the Giry monad factorizes through the category of super convex spaces (a proper subcategory of convex spaces) rather than convex spaces, because the former admits a codense subcategory that permits an elementary proof via left Kan extension.
Significance. If the codense subcategory exists and the Kan-extension property holds, the correction refines the categorical setting for the Giry monad, which is relevant to work at the interface of category theory, measure theory, and probability. The result would supply a tighter factorization than the original claim. The manuscript supplies no explicit construction or verification, so its immediate impact is limited until the details are provided.
major comments (1)
- [Abstract] Abstract: the existence of a codense subcategory of super convex spaces whose inclusion functor has the identity as left Kan extension is asserted without definition of the subcategory or any verification of the Kan-extension calculation. This property is load-bearing for the central claim that the factorization proceeds through super convex spaces rather than convex spaces.
Simulated Author's Rebuttal
We thank the referee for their review. We agree that the central claim requires explicit support and will revise the manuscript to supply the missing definition and verification.
read point-by-point responses
-
Referee: [Abstract] Abstract: the existence of a codense subcategory of super convex spaces whose inclusion functor has the identity as left Kan extension is asserted without definition of the subcategory or any verification of the Kan-extension calculation. This property is load-bearing for the central claim that the factorization proceeds through super convex spaces rather than convex spaces.
Authors: We agree with the referee that the submitted manuscript asserts the existence of the codense subcategory and the Kan-extension property without supplying either an explicit definition or a verification. As an erratum and addendum the text was kept brief, but this omission weakens the presentation. In the revised version we will add a dedicated paragraph (or short section) that (i) defines the codense subcategory (the full subcategory of super convex spaces on the countable copowers of the Dirac measures) and (ii) verifies that the left Kan extension of its inclusion into the category of super convex spaces is the identity functor. This will make the factorization argument self-contained. revision: yes
Circularity Check
No circularity; erratum asserts corrected factorization via codense subcategory without self-referential reduction
full rationale
The paper is a short erratum correcting an earlier claim that the Giry monad factorizes through convex spaces, now stating it factorizes through the subcategory of super convex spaces because the latter possesses a codense subcategory permitting an elementary proof. No equations, parameters, or fitted quantities appear. The sole citation is to the author's prior (erroneous) paper solely to identify the mistake being corrected; the new assertion about codensity and the resulting factorization is presented as an independent statement rather than derived from or equivalent to any input by construction. No load-bearing step reduces to a self-definition, fitted prediction, or unverified self-citation chain. This is the normal case of an erratum whose central claim does not exhibit the enumerated circularity patterns.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Super convex spaces form a proper subcategory of convex spaces that admits a codense subcategory.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.