Pith. sign in

REVIEW 2 major objections 2 minor 20 references

Goodwillie and Weiss calculus towers both arise from tidy maps generating left exact monoidal localizations.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.3

2026-06-28 07:07 UTC pith:UJD4UFCU

load-bearing objection Tidy maps give a common generator for the two towers and confirm Weiss as a completion tower, but the compact-control assumption for orthogonal calculus needs explicit verification. the 2 major comments →

arxiv 2606.04263 v1 pith:UJD4UFCU submitted 2026-06-02 math.AT math.CT

Left exact monoidal localizations from tidy maps

Mathieu Anel , Georg Biedermann , Eric Finster , Andr\'e Joyal This is my paper
classification math.AT math.CT
keywords Goodwillie calculusWeiss orthogonal calculustidy mapsleft exact localizationssymmetric monoidal categoriescompletion towerstopoifunctor calculus
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper establishes a unified framework for Goodwillie's calculus of functors and Weiss' orthogonal calculus. It introduces tidy maps as a way to generate left exact symmetric monoidal localizations in categories that are symmetric monoidal and controlled by compact objects. Both the Goodwillie tower and the Weiss tower are shown to be generated by such tidy maps. The categories are topoi, so the towers fit the general theory of completion towers of left exact localizations, with the Weiss tower being one such tower. This allows the general theory to apply directly to orthogonal calculus.

Core claim

Both the Goodwillie tower and the Weiss tower are generated by tidy maps. The Weiss tower is a completion tower of left exact localizations, and therefore the general theory of such towers applies to orthogonal calculus.

What carries the argument

Tidy map: a map that generates symmetric monoidal localizations which are left exact, in settings where categories are controlled by their compact objects.

Load-bearing premise

The categories involved must be symmetric monoidal and controlled by their compact objects so that tidy maps can generate the left exact localizations.

What would settle it

Finding a symmetric monoidal category controlled by compact objects where the Goodwillie or Weiss tower is not generated by tidy maps would disprove the claim.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The Goodwillie tower is generated by tidy maps.
  • The Weiss tower is generated by tidy maps.
  • The Weiss tower is a completion tower of left exact localizations.
  • The general theory of completion towers applies to orthogonal calculus.

Where Pith is reading between the lines

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

  • Tidy maps may provide a way to construct similar towers in other symmetric monoidal categories controlled by compact objects.
  • Techniques from the general theory of completion towers could now be applied to orthogonal calculus.
  • Other functor calculi might be unified under this tidy map generation approach.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper introduces the notion of a tidy map in symmetric monoidal categories controlled by their compact objects as a means to generate left exact symmetric monoidal localizations. It shows that both the Goodwillie tower and the Weiss tower arise from such tidy maps. Building on prior work establishing the Goodwillie tower as a completion tower, the paper further shows that the Weiss tower is likewise a completion tower of left exact localizations, thereby placing orthogonal calculus within the same general framework.

Significance. If the central claims hold, the work supplies a unified categorical setting for Goodwillie and Weiss calculus via monoidal localizations and completion towers. The introduction of tidy maps provides a concrete mechanism for producing left exact monoidal localizations in this controlled setting, which may prove reusable beyond the two calculi treated here.

major comments (2)
  1. [Abstract and the section introducing tidy maps] The manuscript asserts (rather than derives) that the categories arising in orthogonal calculus are symmetric monoidal and controlled by their compact objects in the precise sense needed for tidy maps to generate the claimed left exact monoidal localizations. This control-by-compacts condition is load-bearing for both the generation step and the left-exactness conclusion; without an explicit verification that every object is a colimit of compacts compatible with the monoidal structure in the homotopy category of functors on inner-product spaces, the application to the Weiss tower does not follow.
  2. [Section treating the Weiss tower] The claim that the specific maps generating the Weiss tower are tidy (including the required compatibility with the monoidal structure) is stated in the abstract but requires a detailed check against the definition of tidy map; this verification is central to the assertion that the general theory applies to orthogonal calculus.
minor comments (2)
  1. [Definition of tidy map] Provide an explicit example of a tidy map from the Goodwillie case immediately after the definition to illustrate the conditions.
  2. [Introduction] Clarify whether the topoi structure and the monoidal structure are used simultaneously or sequentially in the two parts of the argument.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their detailed and constructive report. The two major comments correctly identify that certain verifications are asserted rather than fully derived in the current manuscript; we address each below and will incorporate the requested explicit checks in a revision.

read point-by-point responses

  1. Referee: [Abstract and the section introducing tidy maps] The manuscript asserts (rather than derives) that the categories arising in orthogonal calculus are symmetric monoidal and controlled by their compact objects in the precise sense needed for tidy maps to generate the claimed left exact monoidal localizations. This control-by-compacts condition is load-bearing for both the generation step and the left-exactness conclusion; without an explicit verification that every object is a colimit of compacts compatible with the monoidal structure in the homotopy category of functors on inner-product spaces, the application to the Weiss tower does not follow.

    Authors: We agree that the control-by-compacts condition requires explicit verification rather than assertion. The revised manuscript will add a new subsection (placed after the definition of tidy maps) that derives the required property for the homotopy category of functors on inner-product spaces: every object is a filtered colimit of compact objects, and these colimits are compatible with the symmetric monoidal structure in the sense needed for the generation and left-exactness results to apply. This will be stated with reference to the standard model of orthogonal calculus and the compact objects therein. revision: yes

  2. Referee: [Section treating the Weiss tower] The claim that the specific maps generating the Weiss tower are tidy (including the required compatibility with the monoidal structure) is stated in the abstract but requires a detailed check against the definition of tidy map; this verification is central to the assertion that the general theory applies to orthogonal calculus.

    Authors: We accept that a line-by-line verification against the definition of tidy map is needed. In the revision we will insert a dedicated paragraph (or short subsection) immediately before the statement that the Weiss tower arises from tidy maps. This paragraph will check each clause of the tidy-map definition for the maps in question, explicitly confirming monoidal compatibility. With this addition the application of the general theory to the Weiss tower will be fully justified rather than asserted. revision: yes

Circularity Check

1 steps flagged

Minor self-citation for Goodwillie case; Weiss application and tidy map theory are independent

specific steps
  1. self citation load bearing [Abstract]
    "We had shown in a previous work that the Goodwillie tower is an instance a such a tower. We show here that the Weiss tower is a completion tower as well"

    The sentence invokes prior work by the same authors to handle the Goodwillie case, but the paper's new contributions (tidy maps, their generation of localizations, and the Weiss tower analysis) do not depend on that citation for their validity; the citation is therefore minor and non-load-bearing.

full rationale

The paper introduces tidy maps to generate left exact monoidal localizations in symmetric monoidal categories controlled by compact objects, then verifies that both Goodwillie and Weiss towers arise from such maps and that the Weiss tower is a completion tower. The only self-reference is the statement that a prior paper already established the Goodwillie tower as a completion tower; this is not load-bearing for the new claims about tidy maps or the Weiss tower. No definitions reduce to their outputs by construction, no fitted parameters are relabeled as predictions, and the control-by-compacts condition is stated as the ambient setting rather than derived from the target result. The derivation chain therefore remains self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on standard axioms of symmetric monoidal categories and topoi; the new concept of tidy map is introduced without independent evidence outside the constructions.

axioms (2)
  • domain assumption Relevant categories are symmetric monoidal and controlled by their compact objects
    Explicitly stated as the setting for generating the localizations and towers.
  • standard math There exists a general theory of completion towers of left exact localizations in topoi
    Invoked to place both towers inside the same framework.
invented entities (1)
  • tidy map no independent evidence
    purpose: To generate symmetric monoidal localizations that are left exact
    New notion introduced to unify the two calculi; no external evidence provided in abstract.

pith-pipeline@v0.9.1-grok · 5671 in / 1384 out tokens · 72816 ms · 2026-06-28T07:07:54.176340+00:00 · methodology

0 comments
read the original abstract

We put Goodwillie's calculus of functors and Weiss' orthogonal calculus in a unified framework. We do so in two ways. On the one hand, the relevant categories are all symmetric monoidal and controlled by their compact objects. We introduce the notion of tidy map as a means to generate symmetric monoidal localizations in this setting. These localizations are always left exact. Then we show that both the Goodwillie and Weiss towers are generated by such maps. On the other hand, the relevant categories are also topoi, for which there is a general theory of completion towers of left exact localizations. We had shown in a previous work that the Goodwillie tower is an instance a such a tower. We show here that the Weiss tower is a completion tower as well, and therefore that the general theory applies to orthogonal calculus.

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

20 extracted references · 3 canonical work pages · 1 internal anchor

  1. [1]

    M. Anel, G. Biedermann, E. Finster, and A. Joyal. Goodwillie's calculus of functors and higher topos theory . Journal of Topology , 11(4):1100--1132, 2018

    2018

  2. [2]

    M. Anel, G. Biedermann, E. Finster, and A. Joyal. A generalized Blakers-Massey theorem . Journal of Topology , 13(4):1521--1553, 2020

    2020

  3. [3]

    M. Anel, G. Biedermann, E. Finster, and A. Joyal. Left Exact Localizations in \=/Topoi I: Higher Sheaves . Adv. Math. , 400:64 pp, 2022

    2022

  4. [4]

    M. Anel, G. Biedermann, E. Finster, and A. Joyal. Left Exact Localizations in \=/Topoi II: Grothendieck topologies . J. Pure Appl. Algebra , 228(3), 2024

    2024

  5. [5]

    M. Anel, G. Biedermann, E. Finster, and A. Joyal. Left Exact Localizations in \=/Topoi III: The Acyclic Product . To be published in Trans. Amer. Math. Soc. https://arxiv.org/abs/2308.15573

    work page internal anchor Pith review Pith/arXiv arXiv

  6. [6]

    Arone and M

    G. Arone and M. Ching. Goodwillie calculus Chapter in Handbook of Homotopy Theory . H. Miller (Ed.). Chapman and Hall/CRC. 2020

    2020

  7. [7]

    S. Glasman. Day convolution for -categories. Math. Res. Lett. , 23(5):1369--1385, 2016

    2016

  8. [8]

    Gepner and R

    D. Gepner and R. Haugseng. Enriched \=/categories via non-symmetric \=/operads. Adv. Math. , Vol 279, 575-716, 2015

    2015

  9. [9]

    T. G. Goodwillie. Calculus II. Analytic functors. K \=/theory , 5(4):295--332, 1991/92

    1991

  10. [10]

    T. G. Goodwillie. Calculus III. Taylor series. Geom. Topol. , 7:645-711, 2003

    2003

  11. [11]

    H. Heine. An equivalence between enriched -categories and -categories with weak action. Adv. Math. , 417, 2023

    2023

  12. [12]

    H. Heine. On bi-enriched -categories. https://arxiv.org/abs/2406.09832

    work page Pith review arXiv

  13. [13]

    Hendrian

    L. Hendrian. Monoidal structures in O rthogonal C alculus. https://arxiv.org/abs/2309.15058

    work page arXiv

  14. [14]

    J. Lurie. Higher Topos Theory . Annals of Mathematics Studies . Princeton University Press Number 170, Princeton and Oxford (2009)

    2009

  15. [15]

    J. Lurie. Higher Algebra. https://www.math.ias.edu/ lurie/papers. 2017

    2017

  16. [16]

    J. Lurie. Spectral Algebraic Geometry . https://www.math.ias.edu/ lurie/, version Feb 3 2018

    2018

  17. [17]

    M. Lykadis. Simplicial functors and stable homotopy theory. (1998) Preprint available on the nlab https://ncatlab.org/nlab/files/LydakisSimplicialFunctors.pdf

    1998

  18. [18]

    C. Rezk. A streamlined proof of Goodwillie's n \=/excisive approximation . Algebr. Geom. Topol. , 13(2):1049--1051, 2013

    2013

  19. [19]

    M. Weiss. Orthogonal calculus. Trans. Amer. Math. Soc. , 347(10):3743--3796, 1995

    1995

  20. [20]

    M. Weiss. Erratum: Orthogonal calculus . Bull. Amer. Math. Soc. , 350(2):851--855, 1998

    1998