Stackification via adjunction

Zheng Wei

REVIEW 5 major objections 5 minor 3 references

Stackification via adjunction

T0 review · 5 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper proves that stackification is the composite of the two sides of a 2-adjunction, so stacks over a site are equivalent to 2-local homeomorphisms in 2-topos theory.

desk verdict The paper has a real idea but the central theorem is not proven: Proposition 4.3 is load-bearing and asserted without verification. read the letter →

arxiv 2506.12050 v1 pith:WZINTB3V submitted 2025-05-28 math.CT

Zheng Wei This is my paper

classification math.CT MSC 18A4018F2018N10

keywords stackification2-adjunctionfundamental2-localhomeomorphismsindexedfibrationsGiraudtopologyGrothendieckconstructionstacks

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that stackification arises from a 2-adjunction rather than from a separate ad hoc construction. For a site $(C,J)$, it constructs a 2-adjunction between indexed categories and the 2-category of 2-toposes sliced over the 2-category of stacks, then proves that the composite of the two functors is naturally equivalent to stackification followed by inclusion. The paper also states that the category of stacks over $(C,J)$ is equivalent to the 2-category of 2-local homeomorphisms. A sympathetic reader would care because this packages stackification as part of 2-topos theory, exposing associated stacks as a derived operation of a single adjunction.

What carries the argument

The load-bearing object is the fundamental 2-adjunction $\Lambda \dashv \Gamma$ between indexed categories and 2-toposes sliced over the 2-category of stacks. $\Lambda$ builds a site $G(D)$ by the Grothendieck construction, equips it with the Giraud topology, and takes the associated geometric morphism; $\Gamma$ takes a 2-topos slice $F \to 2\mathrm{St}(C,J)$ to the indexed category of morphisms from representable slice stacks. The proof of Theorem 5.1 routes through Theorem 4.2, a biequivalence between indexed fibrations over $D$ and stacks over $G(D)$, and Proposition 4.3. The central identity is $\Gamma \circ \Lambda \simeq i_J \circ s_J$.

What would settle it

Take a site and a stack $D$, and compute $\Phi(\Psi(\Pi_D))$ and $\Psi(\Phi(D))$ from Proposition 4.3. If either composite is not naturally equivalent to the identity, or if the 2-category $2\mathrm{Toposco}/2\mathrm{St}(C,J)$ cannot be made into a well-defined 2-category with the required representable slices, the equivalence and Theorem 5.1 collapse. The paper contains no verification of the round trips, so finding one non-equivalence on any nontrivial stack would settle the question.

Watch

Extended reading notes

Core claim

The central statement is Theorem 5.1: for every indexed category $D$, the composite $\Gamma \circ \Lambda$ evaluated at $D$ is naturally equivalent to $i_J \circ s_J$ evaluated at $D$. The functor $\Lambda$ sends an indexed category to a geometric morphism between stacks via the Grothendieck construction and the induced site morphism; $\Gamma$ is a representable hom-functor, evaluating at the slice stacks $\mathrm{St}(C/-,J(-))$. The paper also states Proposition 4.3: $\mathrm{St}(C,J)$ is equivalent to the full sub-2-category of $2\text{-}\mathrm{Topos}/2\mathrm{St}(C,J)$ spanned by 2-local homeomorphisms, objects of the form $\mathrm{C}^\mathrm{St}_{p_D}: \mathrm{St}(G(D),J_D) \to \mathrm{St}(C,J)$. Together these identify stackification with one side of the fundamental 2-adjunction and present stacks as a reflective slice of 2-topos theory.

Load-bearing premise

The central claim depends on Proposition 4.3's equivalence between stacks and 2-local homeomorphisms; the proof only defines a candidate inverse and never verifies the round trips are identities, and the 2-category $2\text{-}\mathrm{Toposco}/2\mathrm{St}(C,J)$ is not defined elsewhere, so if either premise fails the theorem has no foundation.

Editorial extensions

If this is right

Stackification of an indexed category is available as $\Gamma \circ \Lambda$, making the associated-stack functor a derived operation of one 2-adjunction.
The category of stacks $\mathrm{St}(C,J)$ embeds in 2-topos theory as the 2-local homeomorphisms over $\mathrm{St}(C,J)$.
The 2-adjunction restricts to an adjoint biequivalence between indexed categories and the 2-category of 2-local homeomorphisms.
Because the restriction is a biequivalence, the theory of stacks over $(C,J)$ is equivalent to the theory of 2-toposes equipped with a 2-local homeomorphism to $\mathrm{St}(C,J)$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If Proposition 4.3's equivalence is completed, the same template could yield stackification in any 2-topos with representable slices, not just $2\mathrm{St}(C,J)$; the paper leaves this generalization implicit.
A direct check of the two round trips $\Phi\Psi$ and $\Psi\Phi$ on a concrete stack, such as the stack of modules over a ringed site, is the natural next test; the paper does not carry it out.
The composite formula suggests a testable extension: if the 2-categorical setting is essential, analogous composites in higher category theory might yield higher stackification functors.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Read this as a research sketch, not a finished paper. The central claim is plausible but not established. What is actually new: a 2-categorical enhancement of Caramello-Zanfa's fundamental adjunction, an explicit stackification functor via double plus, and a proposed equivalence between stacks and "2-local homeomorphisms" in a slice 2-topos. That is worthwhile; the paper gives a clean conceptual target, and Theorem 3.3 unpacks into a genuine adjunction if the constructions are correct. The author is honest about what is tedious but then does not do the tedious work.

The problem is that Theorem 5.1 rests on Proposition 4.3, and Prop 4.3 is asserted, not proven. The proof defines a candidate equivalence Φ and a quasi-inverse Ψ, then stops. Three load-bearing facts are missing: Φ(D) lands in the essential image of Λ, both round trips are equivalent to identities, and the 2-category 2-Toposco/2St(C,J) is actually defined. Since "2-local homeomorphism" is defined as the essential image of Λ, the classification in Prop 4.3 is partially circular without an independent characterization. The proof of Theorem 4.2 also leaves the key equivalence G(X,U) ≃ A(X,U) as a diagram chase; even the existence of a glued object is asserted from a "JD-covering family" without checking descent. In the proof of Theorem 2.1, the double-plus construction is sketched but the adjunction axioms are not verified; the transitivity step is hand-waved.

These are not minor technicalities. They hit the load-bearing content. If Prop 4.3 fails, Theorem 5.1 is unsupported. The paper cites only [1], so its novelty claim is assessed against that one reference; the idea does appear new, but the lack of engagement with the broader stackification literature makes it harder to judge what is genuinely new.

That said, the ideas may well be salvageable. The 2-adjunction has a real shape, and the constructions could become a full proof if the author fills in the equivalence verification. This is a paper that should go to a knowledgeable referee with a request to expand proofs, not be desk-rejected out of hand. I would send it to a serious referee, mainly to tell the author what needs to be done.

Referee Report

5 major / 5 minor

Summary. The manuscript claims a 'fundamental 2-adjunction' between indexed categories and a 2-category of 2-toposes over a fixed stack 2-category, and uses it to recover stackification as the composite Γ∘Λ of two explicit functors (Theorem 5.1). It also proposes an equivalence between the 2-category of stacks and a full subcategory of 2-local homeomorphisms (Proposition 4.3), where 2-local homeomorphisms are defined as the essential image of Λ. The double-plus construction is presented as a stackification functor left adjoint to the inclusion (Theorem 2.1), and a biequivalence between indexed fibrations over D and G(D)-indexed categories is stated (Theorem 4.1). The main structural result is that Γ_{2-Toposco/2St(C,J)} ∘ Λ_{2-Toposco/2St(C,J)} is naturally equivalent to i_J ∘ s_J.

Significance. If all the claims were fully proved, the paper would offer an elegant conceptual decomposition of stackification and a new perspective on 2-local homeomorphisms via indexed fibrations. The proposed formulas are explicit, and the route through representable hom-functors and a Grothendieck-construction-like functor is attractive. However, the manuscript as submitted is a proof sketch rather than a complete proof. The central equivalence of Proposition 4.3 is asserted with only a definition of a candidate quasi-inverse, and Theorem 5.1 relies directly on that proposition. No machine-checked proofs or reproducible artifacts are supplied, and several ambient 2-categories and functors are left undefined. The paper currently does not meet the verification standard expected for the claims it makes.

major comments (5)

[Theorem 2.1, §2] The proof of Theorem 2.1 does not verify the adjunction. It defines G(D+), asserts that D+ is a prestack 'by the very definition', sketches a descent-datum construction, and then concludes that s_J([pD]) := [pD++] is the 2-dimensional reflection. No unit or counit is constructed, no universal property is checked, and no triangle identities are proved. Since the stackification functor s_J is used in Theorem 4.2 and Theorem 5.1, this is a load-bearing gap.
[Theorem 3.3, §3] The 2-category 2-Toposco/2St(C,J) is never defined, and the functors Λ and Γ are specified only through informal composite descriptions involving undefined terms such as Comcont/(C,J) and 2-EssToposco/2St(C,J). The proof reduces the property of being an inverse image to componentwise inverse images, but this equivalence is asserted without a complete argument, and no pseudonaturality or 2-adjunction axioms are verified. The theorem is central to the paper's main claim, so a complete proof is required.
[Theorem 4.1, §4.1] The proof of the claimed 2-adjoint biequivalence L_D ⊣ R_D is deferred with the phrase 'computationally tedious but straightforward'. No verification of the correspondence, the unit, the counit, or the claim that they are equivalences is supplied. The long diagram chase that follows concerns pseudonaturality of R_D(F,φ), but it does not establish the adjunction or the biequivalence. An omitted proof cannot support Proposition 4.3 and Theorem 4.2, which are then used in Theorem 5.1.
[Proposition 4.3, §4.2] This is the load-bearing bridge for the main theorem, and it is not established. The functor Φ sends a stack D to Π_D, but no proof is given that Π_D is a 2-local homeomorphism in the sense of Definition 4.1, i.e., that it lies in the essential image of Λ. The proposed quasi-inverse Ψ sends Π_D to (C_St p)_!(Δ/B_D), but the notations (C_St p)_! and Δ/B_D are undefined. Most importantly, neither round-trip composite ΦΨ nor ΨΦ is shown to be equivalent to the identity. Since the subcategory of 2-local homeomorphisms is defined as the essential image of Λ, the classification claim is partly circular unless membership and the round trips are proved.
[Theorem 5.1, §5] The proof of Theorem 5.1 simply writes Γ∘Λ(D) = 2-Toposco/2St(C,J)(Π_{s_Jよ(-)}, Π_D), applies Theorem 4.2 and Proposition 4.3 to replace the hom-2-category by St(C,J)(s_Jよ(-), s_JD), and then invokes Yoneda. This does not prove the asserted natural equivalence with i_J ∘ s_J: naturality in D, the compatibility with the restricted adjunction Λ' ⊣ Γ', and the verification that the comparison is the required canonical one are all missing. Moreover, the argument inherits the unproved status of Proposition 4.3 and Theorem 4.2, so the central claim of the paper is unsupported as written.

minor comments (5)

[Throughout] The manuscript contains many typographical and grammatical errors that impede reading, including 'idendity', 'builded', 'desecnt', 'andy', and '2-dimentional'.
[§2] The notation R ∗ {R_f | f ∈ R} and the refinement T_{f,h} are not defined, and the proof that the descent datum b is well-defined relies on a diagram chase that is not fully written out.
[§3] The terms 'Comcont/(C,J)', '2-EssToposco/2St(C,J)', and the notation for the Grothendieck construction are not introduced or referenced, making the definitions of Λ and Γ hard to parse.
[§4 and §5] The notation (C_St p)_!, Δ/B_D, and '2-Toposco/2St(C,J)' appears without definition or reference; the distinction between '2-Topos' and '2-Toposco' is never explained.
[References] The reference list contains only [1]; standard references for stacks, the Grothendieck construction, Street fibrations, and Giraud's topology are missing, which is insufficient for a paper that introduces several nonstandard 2-categorical notions.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; Theorem 5.1 is a genuine composite computation, though it rests on unproved Proposition 4.3.

full rationale

The derivation chain is not circular. Theorem 5.1 computes Γ∘Λ(D) as a representable hom-2-category and then uses Proposition 4.3 and Theorem 4.2 to identify it with a hom-category of stacks, finally applying Yoneda. None of these steps is definitionally equal to the conclusion: Λ and Γ are defined independently (Grothendieck construction plus representable hom), and i_J ∘ s_J is described by the double-plus construction in Theorem 2.1. The paper contains no fitted parameters, no load-bearing self-citation (the sole reference is to Caramello–Zanfa and is motivational), and no uniqueness theorem is imported from the authors' prior work. The genuine problems are completeness gaps, not circularity: Proposition 4.3 asserts the equivalence St(C,J) ≃ 2-Topos/et_2 St(C,J) and only defines candidate Φ and Ψ without verifying the round-trips or that Φ lands in the stated subcategory, and the 2-category 2-Toposco/2St(C,J) is left undefined. In addition, Definition 4.1 defines 2-local homeomorphisms as the essential image of Λ, which makes the restriction statement in Theorem 5.1 partly terminological; that is a definitional convenience, not a circular derivation of the claimed stackification formula. Since the central claim is not forced by construction, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 1 invented entities

The central claims rest on an undefined 2-topos framework, an unproved stackification theorem, and an unproved equivalence between stacks and 2-local homeomorphisms. There are no fitted numerical parameters. The paper introduces one new object name (2-local homeomorphism) whose classification is part of the claim rather than independent evidence.

assumptions (5)

domain assumption Existence and well-definedness of the 2-category 2-Toposco/2St(C,J) with the stated hom-categories and pseudolimits.
Introduced at Definition 3.1 and Theorem 3.3 without definition or reference; every statement about Λ and Γ lives in this setting.
ad hoc to paper Double plus construction yields a stackification functor sJ left adjoint to the inclusion iJ.
Theorem 2.1 is stated with a sketch; the proof does not verify the adjunction, only asserts essential surjectivity and reflection. This is used as a black box in later sections.
domain assumption Giraud topology descent Lemma 3.1: E is a J_D-stack iff all its restrictions along essential fibres are J_X-stacks.
Stated with a diagram and assertion 'then our thesis follows'; the proof is not fully detailed and is used to transfer pseudolimits to stacks.
ad hoc to paper Proposition 4.3 equivalence St(C,J) ≃ 2-Topos/et_2 St(C,J).
Used directly in Theorem 5.1; proof only defines Φ and Ψ, with no verification of quasi-inverses. This is a load-bearing unproved premise.
standard math Inverse image characterization: a functor between 2-toposes is an inverse image iff it preserves finite pseudolimits and arbitrary pseudocolimits.
Used in Theorem 3.3, but the paper does not state a precise 2-topos version; standard for 1-toposes.

invented entities (1)

2-local homeomorphism
purpose: Names the objects in the essential image of Λ, claimed to be exactly classified by stacks.
Defined in Definition 4.1 as the essential image of Λ; Proposition 4.3 claims they are exactly stacks, but no independent evidence is supplied outside the paper's own constructions.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Stackification via adjunction." pith.science (2026). https://pith.science/paper/WZINTB3V

@misc{pith2026250612050,
  author       = {Pith},
  title        = {Pith review of: Stackification via adjunction},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WZINTB3V}},
  note         = {Machine review of arXiv:2506.12050}
}

read the original abstract

We establish a form of 2-adjunction (tentatively termed the *fundamental 2-adjunction*), building on the fundamental adjunction proposed by Olivia Caramello and Riccardo Zanfa, which provides a constructive method for the associated stack functor. Additionally, we investigate 2-local homeomorphisms through the lens of indexed fibrations.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

3 extracted references · 2 canonical work pages

[1]

Additio nally, we investigate 2-local homeomorphisms through the lens of ind exed ﬁbra- tions

Stackiﬁcation via adjunction Wei Zheng w1036401560@gmail.com August 22, 2025 Abstract We establish a form of 2-adjunction (tentatively termed the *fun- damental 2-adjunction*), building on the fundamental adju nction pro- posed by Olivia Caramello and Riccardo Zanfa, which provide s a con- structive method for the associated stack functor. Additio nally, ...

work page 2025
[2]

Stackification via adjunction

IndC T oposco/ Sh(C, J ) Λ T oposco/Sh(C,J ) Γ T oposco/Sh(C,J ) ⊣ 1 arXiv:2506.12050v1 [math.CT] 28 May 2025 The classical result Λ ◦ Γ ∼ = ιJ aJ is obtained after this adjunction is restricted to the case of presheaves. Psh(C) T oposco/ 1Sh(C, J ) Λ Γ⊣ We want to know if we have Γ T oposco/Sh(C,J ) ◦ Λ T oposco/Sh(C,J ) ≃ iJ ◦ sJ where sJ is denoted to ...

work page Pith review arXiv 2025
[3]

Caramello and R

O. Caramello and R. Zanfa. Relative topos theory via stac ks. Preprint, arXiv:2107.04417 (2021),

arXiv 2021

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

Additio nally, we investigate 2-local homeomorphisms through the lens of ind exed ﬁbra- tions

Stackiﬁcation via adjunction Wei Zheng w1036401560@gmail.com August 22, 2025 Abstract We establish a form of 2-adjunction (tentatively termed the *fun- damental 2-adjunction*), building on the fundamental adju nction pro- posed by Olivia Caramello and Riccardo Zanfa, which provide s a con- structive method for the associated stack functor. Additio nally, ...

work page 2025

[2] [2]

Stackification via adjunction

IndC T oposco/ Sh(C, J ) Λ T oposco/Sh(C,J ) Γ T oposco/Sh(C,J ) ⊣ 1 arXiv:2506.12050v1 [math.CT] 28 May 2025 The classical result Λ ◦ Γ ∼ = ιJ aJ is obtained after this adjunction is restricted to the case of presheaves. Psh(C) T oposco/ 1Sh(C, J ) Λ Γ⊣ We want to know if we have Γ T oposco/Sh(C,J ) ◦ Λ T oposco/Sh(C,J ) ≃ iJ ◦ sJ where sJ is denoted to ...

work page Pith review arXiv 2025

[3] [3]

Caramello and R

O. Caramello and R. Zanfa. Relative topos theory via stac ks. Preprint, arXiv:2107.04417 (2021),

arXiv 2021