pith. sign in

arxiv: 2606.04297 · v1 · pith:CAQXWUOXnew · submitted 2026-06-02 · 🧮 math.AT · math.CT

The Hochschild Homology of Reedy Categories

Alexandra Ballow This is my paper

Pith reviewed 2026-06-28 07:04 UTC · model grok-4.3

classification 🧮 math.AT math.CT
keywords Hochschild homologyReedy categoriessimplex categoryfinite setsoperadsPROPsalgebraic topologycategory theory
0
0 comments X

The pith

Hochschild homology is calculated explicitly for generalized Reedy categories including the simplex category and the category of finite sets.

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

The paper establishes explicit values for the Hochschild homology of generalized Reedy categories by direct computation on several standard examples. It treats the simplex category, the category of finite sets, the category of finite-dimensional categories, and the PROP of an operad as test cases where the homology can be reduced to concrete groups or modules. A sympathetic reader cares because these categories serve as basic building blocks in algebraic topology and higher category theory, so their invariants supply starting points for further calculations in chain complexes and cyclic structures. The computations rely on the Reedy decomposition to make the chain complex tractable. If the results hold, they turn an abstract invariant into a practical tool for these objects.

Core claim

The Hochschild homology of generalized Reedy categories admits explicit calculation; the paper carries this out for the simplex category, the category of finite sets, the category of finite-dimensional categories, and the PROP associated to an operad.

What carries the argument

The generalized Reedy structure on a category, which decomposes morphisms into direct and inverse parts to simplify the Hochschild chain complex.

If this is right

  • The homology of the simplex category is now known in explicit form.
  • The same holds for the category of finite sets.
  • The method supplies concrete invariants for PROPs arising from operads.
  • These values can serve as base cases for computations involving diagrams or simplicial objects over these categories.

Where Pith is reading between the lines

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

  • The same technique may apply to other categories that admit a Reedy-like grading even if they are not strictly generalized Reedy.
  • The results could be used to compare Hochschild homology with other cyclic invariants in the same examples.
  • Explicit formulas might allow machine-assisted verification for small instances of these categories.

Load-bearing premise

The standard Hochschild homology definition extends unambiguously to generalized Reedy categories and the chosen examples permit direct computation without extra hidden data.

What would settle it

An independent calculation of the Hochschild homology groups of the simplex category that yields different values from those reported in the paper.

Figures

Figures reproduced from arXiv: 2606.04297 by Alexandra Ballow.

Figure 1
Figure 1. Figure 1: Pictorial definition on objects of two functors and two natural inclusions and, with a slight abuse of notation, on morphisms by ℓsd  p 2L + Z → p + 1 2L + Z  :=    f − p/2 : Xp/2 → im(fp/2) p even f + p+1 2 : im  f p−1 2  → Xp+1 2 p odd , where the indices are taken modulo L. Similarly we can define a map F by F  k L Z, ℓ :=  k L Z + 1 2L , 2k + 1 2L Z ℓF −→ R≤n  12 [PITH_FULL_IMAGE:figures/fu… view at source ↗
Figure 2
Figure 2. Figure 2: Given that X2 is degree less than n, then both im(f) and im(g) must also have degree less than n as f + is increasing and f − is decreasing. Here the blue denotes that the degree of the object is less than n. This fact and manipulations of colimits gives |Un≤n | ≃ [PITH_FULL_IMAGE:figures/full_fig_p017_2.png] view at source ↗
read the original abstract

We calculate the Hochschild homology of generalized Reedy categories, such as the simplex category, the category of finite sets, the category of finite-dimensional categories, and the PROP associated to an operad.

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 / 1 minor

Summary. The paper claims to calculate the Hochschild homology of generalized Reedy categories and provides explicit computations for several standard examples, including the simplex category, the category of finite sets, the category of finite-dimensional categories, and the PROP associated to an operad.

Significance. If the calculations hold, the work would supply concrete, usable values of Hochschild homology in a generalized Reedy setting, which could serve as test cases or building blocks for further results in algebraic K-theory or categorical homotopy theory. The explicit treatment of well-known categories is a potential strength.

minor comments (1)
  1. The provided manuscript consists only of the abstract; no definitions, theorems, or computations are visible, preventing verification of the claimed calculations or the extension of Hochschild homology to the generalized Reedy case.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript. The provided summary correctly captures the scope of our results on Hochschild homology for generalized Reedy categories and the explicit examples treated. No major comments were listed in the report, so we have no specific points requiring point-by-point response. The 'uncertain' recommendation appears to reflect a general need for verification of the calculations; these are supported by complete proofs in the text.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The supplied abstract states a calculation of Hochschild homology for generalized Reedy categories but contains no equations, derivations, self-citations, or explicit proof steps. Without access to any load-bearing definitions, ansatzes, or reductions in the manuscript body, no instance of self-definitional construction, fitted-input prediction, or self-citation load-bearing can be exhibited. The derivation chain is therefore invisible and cannot be shown to collapse to its inputs; the score of 0 reflects this absence of detectable circularity rather than affirmative independence.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract provides no information on free parameters, background axioms, or invented entities; ledger is therefore empty.

pith-pipeline@v0.9.1-grok · 5531 in / 951 out tokens · 14992 ms · 2026-06-28T07:04:57.702928+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

29 extracted references · 3 canonical work pages

  1. [1]

    Factorization homology of topological manifolds

    David Ayala and John Francis. Factorization homology of topological manifolds. Journal of Topology , 8(4):1045–1084, October 2015

    2015

  2. [2]

    Fibrations of -categories, 2020

    David Ayala and John Francis. Fibrations of -categories, 2020

    2020

  3. [3]

    Symmetries of the cyclic nerve, 2025

    David Ayala, Aaron Mazel-Gee, and Nick Rozenblyum. Symmetries of the cyclic nerve, 2025

    2025

  4. [4]

    On an extension of the notion of reedy category

    Clemens Berger and Ieke Moerdijk. On an extension of the notion of reedy category. Mathematische Zeitschrift , 269(3–4):977–1004, September 2010

    2010

  5. [5]

    On the homology of non-connected monoids and their associated groups

    Michael Barratt and Stewart Priddy. On the homology of non-connected monoids and their associated groups. Comment. Math. Helv , 47(1-14):387--388, 1972

    1972

  6. [6]

    Cohomologie cyclique et foncteurs extn

    Alain Connes. Cohomologie cyclique et foncteurs extn. CR Acad. Sci. Paris S \'e r. I Math , 296(23):953--958, 1983

    1983

  7. [7]

    Daniel M. Kan. Functors involving c.s.s. complexes. Transactions of the American Mathematical Society , 87(2):330--346, 1958

    1958

  8. [8]

    Higher topos theory, 2008

    Jacob Lurie. Higher topos theory, 2008

    2008

  9. [9]

    A model for the homotopy theory of homotopy theory

    Charles Rezk. A model for the homotopy theory of homotopy theory. Transactions of the American Mathematical Society , 353(3):973--1007, 2001

    2001

  10. [10]

    2025 , eprint=

    Symmetries of the cyclic nerve , author=. 2025 , eprint=

    2025

  11. [11]

    2008 , eprint=

    Higher Topos Theory , author=. 2008 , eprint=

    2008

  12. [12]

    2020 , eprint=

    Fibrations of -categories , author=. 2020 , eprint=

    2020

  13. [13]

    2012 , publisher=

    The local structure of algebraic K-theory , author=. 2012 , publisher=

    2012

  14. [14]

    Annals of Mathematics , volume=

    Relative algebraic K-theory and cyclic homology , author=. Annals of Mathematics , volume=. 1986 , publisher=

    1986

  15. [15]

    Geometry & Topology , volume=

    A universal characterization of higher algebraic K-theory , author=. Geometry & Topology , volume=. 2013 , publisher=

    2013

  16. [16]

    arXiv preprint arXiv:1710.06414 , year=

    Factorization homology of enriched -categories , author=. arXiv preprint arXiv:1710.06414 , year=

    arXiv

  17. [17]

    2017 , eprint=

    The geometry of the cyclotomic trace , author=. 2017 , eprint=

    2017

  18. [18]

    unpublished preprint , year=

    Higher algebraic K-theory and Hochschild homology , author=. unpublished preprint , year=

  19. [19]

    1985 , issn =

    Cyclic homology, derivations, and the free loopspace , journal =. 1985 , issn =. doi:https://doi.org/10.1016/0040-9383(85)90055-2 , url =

    work page doi:10.1016/0040-9383(85)90055-2 1985

  20. [20]

    2025 , eprint=

    The Bloch--Kato conjecture, decomposing fields, and generating cohomology in degree one , author=. 2025 , eprint=

    2025

  21. [21]

    2019 , eprint=

    A factorization homology primer , author=. 2019 , eprint=

    2019

  22. [22]

    On an extension of the notion of Reedy category , volume=

    Berger, Clemens and Moerdijk, Ieke , year=. On an extension of the notion of Reedy category , volume=. Mathematische Zeitschrift , publisher=. doi:10.1007/s00209-010-0770-x , number=

    work page doi:10.1007/s00209-010-0770-x

  23. [23]

    Kan , journal =

    Daniel M. Kan , journal =. Functors Involving C.S.S. Complexes , urldate =

  24. [24]

    On the homology of non-connected monoids and their associated groups , author=. Comment. Math. Helv , volume=

  25. [25]

    Cohomologie cyclique et foncteurs Extn , author=. CR Acad. Sci. Paris S

  26. [26]

    Factorization homology of topological manifolds , volume=

    Ayala, David and Francis, John , year=. Factorization homology of topological manifolds , volume=. Journal of Topology , publisher=. doi:10.1112/jtopol/jtv028 , number=

    work page doi:10.1112/jtopol/jtv028

  27. [27]

    2018 , eprint=

    Flagged higher categories , author=. 2018 , eprint=

    2018

  28. [28]

    Jacob Lurie , title =

  29. [29]

    Transactions of the American Mathematical Society , volume=

    A model for the homotopy theory of homotopy theory , author=. Transactions of the American Mathematical Society , volume=