arxiv: 2603.09903 · v2 · submitted 2026-03-10 · 🧮 math.AT · math.CT

Recognition: 2 theorem links

· Lean Theorem

Homotopy Posets, Postnikov Towers, and Hypercompletions of infty-Categories

David Gepner , Hadrian Heine

Authors on Pith no claims yet

Pith reviewed 2026-05-15 13:13 UTC · model grok-4.3

classification 🧮 math.AT math.CT

keywords homotopy posetsPostnikov towers∞-categoriescoinductive equivalencesoriented categorieshypercompletionstruncation functors

0 comments

The pith

Postnikov complete (∞,∞)-categories arise by inverting coinductive equivalences and equal the limit of (∞,n)-categories under truncation functors.

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

The paper extends basic homotopical notions such as homotopy sets, groups, connected maps, and skeleta to (∞,∞)-categories and to presentable categories enriched in them via the Gray tensor product. It introduces homotopy posets indexed by boundaries of categorical disks, including a fundamental poset for each pair of objects treated as an oriented point. These posets assemble into an oriented analogue of the long exact sequence of a fibration and supply the layers of a categorical Postnikov tower. The tower converges exactly when the category is an (∞,n)-category for finite n; the resulting Postnikov complete (∞,∞)-categories form the subcategory obtained by inverting coinductive equivalences and coincide with the inverse limit of all (∞,n)-categories taken along the truncation functors.

Core claim

The homotopy posets of an (∞,∞)-category, indexed by boundaries of categorical disks, assemble to form an oriented analogue of the long exact sequence of a fibration and the layers of a categorical Postnikov tower. This tower converges for any (∞,n)-category but not for general (∞,∞)-categories. The full subcategory consisting of the Postnikov complete (∞,∞)-categories is obtained by inverting the coinductive equivalences and canonically identifies with the limit of the categories of (∞,n)-categories taken along the truncation functors.

What carries the argument

homotopy posets indexed by boundaries of categorical disks, which assemble into the layers of a categorical Postnikov tower

If this is right

Basic homotopical notions extend to presentable categories enriched in (∞,∞)-categories under the Gray tensor product.
Truncated morphisms admit a definition and basic theory in general oriented categories.
Connected morphisms admit a definition in presentable oriented categories.
The Postnikov tower supplies a canonical approximation of any (∞,∞)-category by its finite truncations.

Where Pith is reading between the lines

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

Hypercompletions of general (∞,∞)-categories can be constructed by formally forcing convergence of the Postnikov tower.
The oriented character of the homotopy posets supplies new invariants that distinguish source and target orientations in higher categorical data.
Truncation functors and their limit may be used to test whether a given (∞,∞)-category is already Postnikov complete.

Load-bearing premise

The homotopy posets indexed by boundaries of categorical disks form an oriented analogue of the long exact sequence of a fibration whose successive layers constitute a Postnikov tower that converges precisely when the input is an (∞,n)-category.

What would settle it

An explicit (∞,∞)-category whose Postnikov tower fails to recover the original category, or a direct comparison showing that the subcategory obtained by inverting coinductive equivalences differs from the inverse limit of the (∞,n)-categories.

read the original abstract

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories enriched in $(\infty,\infty)$-categories under the Gray tensor product. The homotopy posets of an $(\infty,\infty)$-category are indexed by boundaries of categorical disks; in particular, there is a fundamental poset for each pair of objects, which we regard as a oriented point where the source and target objects have opposite orientation. In contrast to the situation in topology, weakly contractible geometric building blocks such as oriented polytopes typically have nontrivial homotopy posets. The homotopy posets assemble to form an oriented analogue of the long exact sequence of a fibration and form the layers of a categorical Postnikov tower, which converges for any $(\infty,n)$-category but not for general $(\infty,\infty)$-categories. We show that the full subcategory consisting of the Postnikov complete $(\infty,\infty)$-categories is obtained by inverting the coinductive equivalences and canonically identifies with the limit of the categories of $(\infty,n)$-categories taken along the truncation functors. We also study truncated morphisms in general oriented categories and connected morphisms in presentable oriented 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.

Desk Editor's Note private letter to a colleague

Gepner and Heine define homotopy posets for (∞,∞)-categories indexed by categorical disk boundaries and build oriented Postnikov towers that converge exactly on (∞,n)-categories, identifying the complete ones with the inverse limit of truncations.

read the letter

The main thing to know is that this paper extends ordinary homotopical notions—homotopy sets, connected maps, skeleta—to (∞,∞)-categories by introducing homotopy posets indexed by boundaries of categorical disks. These posets assemble into layers of a categorical Postnikov tower that converges for any (∞,n)-category but not in general, and the Postnikov-complete objects are shown to be the inverse limit of the (∞,n)-categories under truncation functors. They also treat truncated morphisms in oriented categories and connected morphisms in presentable ones enriched via the Gray tensor product. The setup treats the fundamental poset of a pair of objects as an oriented point and notes that contractible geometric blocks can still carry nontrivial homotopy data, which differs from the topological case. The constructions appear arranged so the required vanishing above dimension n holds by design for truncated inputs, which lets the limit identification go through formally. What the paper does well is organize these extensions cleanly and flag the contrast with classical homotopy theory. The soft spot is that the abstract supplies no derivations, explicit constructions, or error checks, so the assembly into the oriented long-exact-sequence analogue and the precise convergence statement cannot be verified from what is given. If the full text fills those gaps with solid steps, the central claims hold; otherwise the identification with the limit rests on unshown details. This is for people already working in higher category theory who need tools for infinite-dimensional structures. It deserves a serious referee to inspect the constructions and proofs.

Referee Report

1 major / 2 minor

Summary. The paper extends homotopical notions including homotopy sets and groups, connected and truncated maps, cellular constructions, and skeleta to (∞,∞)-categories and to presentable categories enriched in them via the Gray tensor product. Homotopy posets are indexed by boundaries of categorical disks, yielding a fundamental poset for each pair of objects viewed as an oriented point. These posets assemble into an oriented analogue of the long exact sequence of a fibration and form the layers of a categorical Postnikov tower. The tower converges for any (∞,n)-category but not in general. The full subcategory of Postnikov-complete (∞,∞)-categories is obtained by inverting coinductive equivalences and canonically identifies with the limit of the categories of (∞,n)-categories taken along the truncation functors. The work also treats truncated morphisms in oriented categories and connected morphisms in presentable oriented categories.

Significance. If the central constructions hold, the paper supplies a coherent Postnikov tower formalism for (∞,∞)-categories together with a canonical hypercompletion obtained by inverting coinductive equivalences. The identification of Postnikov-complete objects with the inverse limit of truncations furnishes a precise relationship between (∞,∞)-categories and their finite-dimensional approximations, extending classical homotopy theory to the enriched and oriented setting. The parameter-free character of the homotopy-poset definitions and the explicit assembly into an oriented long-exact-sequence analogue constitute concrete technical strengths.

major comments (1)

[§4] §4 (Postnikov tower convergence): the central claim that higher layers vanish precisely when the input is an (∞,n)-category rests on the homotopy posets indexed by categorical-disk boundaries; an explicit verification that the poset layers above dimension n are contractible for n-truncated objects is required to confirm the convergence statement.

minor comments (2)

[Introduction] The term 'hypercompletion' appears in the abstract and title but is not defined until late; introduce it explicitly near the statement of the main theorem.
[§2] Notation for the Gray tensor product and its interaction with presentable categories is used without a brief reminder of its universal property; a short paragraph recalling the relevant adjunctions would aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their positive assessment and constructive comment on the convergence of the Postnikov tower. We address the major comment below and will incorporate the requested clarification in the revised manuscript.

read point-by-point responses

Referee: [§4] §4 (Postnikov tower convergence): the central claim that higher layers vanish precisely when the input is an (∞,n)-category rests on the homotopy posets indexed by categorical-disk boundaries; an explicit verification that the poset layers above dimension n are contractible for n-truncated objects is required to confirm the convergence statement.

Authors: We agree that making the verification explicit will strengthen the exposition. The manuscript defines the homotopy posets via boundaries of categorical disks and shows their assembly into the tower, with convergence for (∞,n)-categories following from the fact that n-truncation annihilates higher cells. In the revision we will add a direct computation in §4: for an n-truncated object X, any categorical disk boundary of dimension >n maps to a contractible poset because the truncation functor factors through the n-skeleton and the Gray tensor product preserves the relevant contractibility in the enriched setting. This explicit check confirms that all layers above n vanish precisely when the input is n-truncated. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper defines homotopy posets directly from the structure of (∞,∞)-categories via boundaries of categorical disks and the Gray tensor product. These assemble into an oriented Postnikov tower whose convergence for (∞,n)-categories follows from the built-in truncation properties of the input objects rather than any fitted parameter or self-referential equation. The identification of the Postnikov-complete subcategory with the inverse limit along truncations is a formal consequence of the layer-vanishing property established by the definitions. No self-definitional steps, fitted-input predictions, or load-bearing self-citations appear in the abstract or construction outline.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The central claims rest on standard axioms of ∞-categories together with the new definitions of homotopy posets and the Postnikov tower; no numerical free parameters are introduced.

axioms (1)

standard math Standard axioms of (∞,∞)-categories and presentable categories enriched under the Gray tensor product
Invoked throughout to extend homotopical notions to the enriched setting.

invented entities (2)

homotopy poset no independent evidence
purpose: Extend homotopy sets and groups to (∞,∞)-categories indexed by boundaries of categorical disks
New entity introduced to capture oriented homotopy data between objects.
categorical Postnikov tower no independent evidence
purpose: Provide layers for decomposition of (∞,∞)-categories via homotopy posets
New analogue of the topological Postnikov tower that converges only for (∞,n)-categories.

pith-pipeline@v0.9.0 · 5532 in / 1348 out tokens · 54268 ms · 2026-05-15T13:13:31.361467+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The homotopy posets of an (∞,∞)-category are indexed by boundaries of categorical disks; ... form the layers of a categorical Postnikov tower, which converges for any (∞,n)-category but not for general (∞,∞)-categories.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat ≃ Nat recovery unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

the full subcategory consisting of the Postnikov complete (∞,∞)-categories is obtained by inverting the coinductive equivalences and canonically identifies with the limit of the categories of (∞,n)-categories taken along the truncation functors.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · 2 internal anchors

[1]

The folk model category structure on strictω-categories is monoidal

Dimitri Ara and Maxime Lucas. The folk model category structure on strictω-categories is monoidal. Theory and Applications of Categories, 35(21):745–808, 2020

work page 2020
[2]

Higher-dimensional algebra and topological quantum field theory

John C Baez and James Dolan. Higher-dimensional algebra and topological quantum field theory. Journal of mathematical physics, 36(11):6073–6105, 1995

work page 1995
[3]

A prehistory ofn-categorical physics.Deep beauty: Understanding the quantum world through mathematical innovation, pages 13–128, 2011

John C Baez and Aaron Lauda. A prehistory ofn-categorical physics.Deep beauty: Understanding the quantum world through mathematical innovation, pages 13–128, 2011

work page 2011
[4]

Three models for the homotopy theory of homotopy theories.Topology, 46(4):397–436, 2007

Julia E Bergner. Three models for the homotopy theory of homotopy theories.Topology, 46(4):397–436, 2007

work page 2007
[5]

J. M. Boardman and R. M. Vogt.Homotopy invariant algebraic structures on topological spaces, volume Vol. 347 ofLecture Notes in Mathematics. Springer-Verlag, Berlin-New York, 1973

work page 1973
[6]

Cubes are dense in(∞,∞)-categories

Tim Campion. Cubes are dense in(∞,∞)-categories. arXiv: 2209.09376, 2022

work page arXiv 2022
[7]

Daggern-categories

GiovanniFerrer, BrettHungar, TheoJohnson-Freyd, CameronKrulewski, LukasMüller, DavidPenneys, David Reutter, Claudia Scheimbauer, Luuk Stehouwer, Chetan Vuppulury, et al. Daggern-categories. arXiv preprint arXiv:2403.01651, 2024

work page arXiv 2024
[8]

Condensations in higher categories,

Davide Gaiotto and Theo Johnson-Freyd. Condensations in higher categories. arXiv preprint arXiv:1905.09566, 2019

work page arXiv 1905
[9]

Enriched∞-categories via non-symmetric∞-operads

David Gepner and Rune Haugseng. Enriched∞-categories via non-symmetric∞-operads. Adv. Math., 279:575–716, 2015

work page 2015
[10]

Oriented category theory.arXiv preprint arXiv:2510.10504, 2025

David Gepner and Hadrian Heine. Oriented category theory.arXiv preprint arXiv:2510.10504, 2025

work page arXiv 2025
[11]

John W. Gray. Coherence for the tensor product of 2-categories, and braid groups. In Alex Heller and Myles Tierney, editors,Algebra, Topology, and Category Theory, pages 63–76. Academic Press, 1976

work page 1976
[12]

An equivalence between enriched ∞-categories and ∞-categories with weak action

Hadrian Heine. An equivalence between enriched ∞-categories and ∞-categories with weak action. Advances in Mathematics, 417:108941, 2023

work page 2023
[13]

The higher algebra of weighted colimits.arXiv: 2406.08925, 2024

Hadrian Heine. The higher algebra of weighted colimits.arXiv: 2406.08925, 2024

work page arXiv 2024
[14]

On bi-enriched∞-categories

Hadrian Heine. On bi-enriched∞-categories. arXiv: 2406.09832, 2024

work page arXiv 2024
[15]

An equivalence between two models of∞-categories of enriched presheaves

Hadrian Heine. An equivalence between two models of∞-categories of enriched presheaves. Applied Categorical Structures, 33(1):2, 2025

work page 2025
[16]

Homology of higher categories

Hadrian Heine. On the categorification of homology.arXiv:2505.22640, 2025

work page internal anchor Pith review Pith/arXiv arXiv 2025
[17]

A local-global principle for parametrized ∞-categories

Hadrian Heine. A local-global principle for parametrized ∞-categories. In Forum of Mathematics, Sigma, volume 14. Cambridge University Press, 2026

work page 2026
[18]

Yoneda lemma for enriched∞-categories

Vladimir Hinich. Yoneda lemma for enriched∞-categories. Advances in Mathematics, 367:107129, 2020

work page 2020
[19]

Quasi-categories and Kan complexes.Journal of Pure and Applied Algebra, 175(1-3):207– 222, 2002

André Joyal. Quasi-categories and Kan complexes.Journal of Pure and Applied Algebra, 175(1-3):207– 222, 2002

work page 2002
[20]

Mikhail M Kapranov and Vladimir A Voevodsky. Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher bruhat orders (list of results).Cahiers de Topologie et Géométrie différentielle catégoriques, 32(1):11–27, 1991. 75

work page 1991
[21]

A folk model structure on omega-cat

Yves Lafont, François Métayer, and Krzysztof Worytkiewicz. A folk model structure on omega-cat. Advances in Mathematics, 224(3):1183–1231, 2010

work page 2010
[22]

A braided monoidal (∞, 2)-category of Soergel bimodules.arXiv preprint arXiv:2401.02956, 2024

Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, and Paul Wedrich. A braided monoidal (∞, 2)-category of Soergel bimodules.arXiv preprint arXiv:2401.02956, 2024

work page arXiv 2024
[23]

Categorical theory of(∞, ω)-categories

Félix Loubaton. Categorical theory of(∞, ω)-categories. arXiv e-prints, pages arXiv–2406, 2024

work page 2024
[24]

Effectivity of generalized double∞-categories

Félix Loubaton. Effectivity of generalized double∞-categories. arXiv preprint arXiv:2503.19242, 2025

work page arXiv 2025
[25]

The complicial model of(∞, ω)-categories

Félix Loubaton. The complicial model of(∞, ω)-categories. arXiv: 2207.08504, 2024

work page arXiv 2024
[26]

Higher Algebra

Jacob Lurie. Higher Algebra. available at http://www.math.harvard.edu/ lurie/

work page
[27]

Higher topos theory, volume 170 ofAnnals of Mathematics Studies

Jacob Lurie. Higher topos theory, volume 170 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009

work page 2009
[28]

On the classification of topological field theories.Current Developments in Mathematics, 2008, 05 2009

Jacob Lurie. On the classification of topological field theories.Current Developments in Mathematics, 2008, 05 2009

work page 2008
[29]

Arrangements of hyperplanes, higher braid groups and higher bruhat orders

Yu I Manin and VV Schechtman. Arrangements of hyperplanes, higher braid groups and higher bruhat orders. 1989

work page 1989
[30]

The algebra of categorical spectra.https://nmasuda2.github.io, 2024

Naruki Masuda. The algebra of categorical spectra.https://nmasuda2.github.io, 2024

work page 2024
[31]

Model structures for (∞,n)–categories on (pre)stratified sim- plicial sets and prestratified simplicial spaces

Viktoriya Ozornova and Martina Rovelli. Model structures for (∞,n)–categories on (pre)stratified sim- plicial sets and prestratified simplicial spaces. Algebraic and Geometric Topology, 20:1543–1600, 05 2020

work page 2020
[32]

Cores and localizations of(∞,∞)-categories

Viktoriya Ozornova, Martina Rovelli, and Tashi Walde. Cores and localizations of(∞,∞)-categories. arXiv:2603.11005, 2026

work page arXiv 2026
[33]

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

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

work page 2001
[34]

A closed model structure for $n$-categories, internal $Hom$, $n$-stacks and generalized Seifert-Van Kampen

Carlos Simpson. A closed model structure for n-categories, internal hom, n-stacks and generalized Seifert-Van Kampen.arXiv preprint alg-geom/9704006, 1997

work page internal anchor Pith review Pith/arXiv arXiv 1997
[35]

PhD thesis, University of California, Berkeley, 2021

German Stefanich.Higher quasicoherent sheaves. PhD thesis, University of California, Berkeley, 2021

work page 2021
[36]

Vers une axiomatisation de la théorie des catégories supérieures.K-theory, 34(3):233– 263, 2005

Bertrand Toën. Vers une axiomatisation de la théorie des catégories supérieures.K-theory, 34(3):233– 263, 2005

work page 2005
[37]

Complicial sets.Mem

Dominic Verity. Complicial sets.Mem. AMS, 193, 11 2004

work page 2004
[38]

D.R.B. Verity. Weak complicial setsI. Basic homotopy theory.Advances in Mathematics, 219(4):1081– 1149, 2008. 76

work page 2008