arxiv: 2605.10358 · v1 · submitted 2026-05-11 · 🧮 math.AG · math.AT· math.CT

Recognition: 2 theorem links

· Lean Theorem

On Galois categories and condensed contractible schemes

Catrin Mair

Pith reviewed 2026-05-12 04:54 UTC · model grok-4.3

classification 🧮 math.AG math.ATmath.CT

keywords condensed Galois categorycondensed homotopy typecondensed fundamental groupDedekind domainSpec(Z)w-contractible ringsultracategoriesGalois category

0 comments

The pith

The condensed fundamental group of Spec(Z) is non-trivial, so the spectrum of the integers is not condensed contractible.

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

The paper extends the condensed Galois category of a scheme, first introduced in work on exodromy, and relates it to Lurie's ultracategories through a description in terms of w-contractible rings. It classifies schemes whose Galois category admits an initial or terminal object; such schemes have trivial condensed homotopy type. For any Dedekind domain the underlying group of the condensed fundamental group is given by an explicit formula. In the special case of the integers this group is shown to be non-trivial, proving that Spec(Z) fails to be condensed contractible.

Core claim

Extending the condensed Galois category of a scheme and describing it via w-contractible rings and ultracategories yields a classification of schemes with initial or terminal objects in their Galois category, implying trivial condensed homotopy type, together with an explicit formula for the condensed fundamental group of a general Dedekind domain; this group is non-trivial when the domain is the integers, so Spec(Z) is not condensed contractible.

What carries the argument

The condensed Galois category of a scheme, extended from prior work and described in terms of w-contractible rings and Lurie's ultracategories, which classifies objects with initial or terminal objects and computes the condensed fundamental group.

If this is right

Schemes whose condensed Galois category has an initial or terminal object have trivial condensed homotopy type.
The condensed fundamental group of any Dedekind domain is given by a concrete formula.
Spec(Z) is not condensed contractible.
The condensed homotopy type of a scheme is determined by the existence of initial or terminal objects in its Galois category.

Where Pith is reading between the lines

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

The distinction between condensed and classical homotopy types may be visible already at the level of the fundamental group for arithmetic schemes.
The same methods could be applied to compute condensed fundamental groups of other number rings or to compare with pro-etale homotopy types.
Non-contractibility of Spec(Z) suggests that condensed homotopy theory retains arithmetic information that would be lost if every scheme were treated as contractible.

Load-bearing premise

The extension of the condensed Galois category to schemes and Dedekind domains continues to satisfy the expected formal properties of Galois categories.

What would settle it

An explicit calculation of the condensed fundamental group of Spec(Z) that returns the trivial group rather than a non-trivial one.

read the original abstract

We extend the study of the condensed Galois category of a scheme introduced by Barwick, Glasman and Haine in their work on Exodromy. We elaborate its connection to Lurie's work on Ultracategories and provide a description in terms of w-contractible rings. We give a classification of schemes whose Galois category has an initial, respectively, a terminal object. This implies the condensed homotopy type of the scheme, which was studied in more detail in [arXiv:2510.07443v1], to be trivial. Furthermore, we compute a formula for the (underlying group of the) condensed fundamental group of a general Dedekind domain and show that it is non-trivial for the spectrum of the integers Spec(Z).This means that Spec(Z) is not condensed contractible.

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

The paper classifies schemes with initial or terminal Galois objects to get trivial condensed homotopy types and gives an explicit formula showing the condensed fundamental group of Spec(Z) is non-trivial.

read the letter

The main things to know are the classification of schemes whose Galois categories have an initial or terminal object, which the paper uses to conclude their condensed homotopy types are trivial, and the formula for the underlying group of the condensed fundamental group of a general Dedekind domain, with the concrete result that it is non-trivial for Spec(Z) and therefore that scheme is not condensed contractible. Both results are stated as new relative to the Barwick-Glasman-Haine exodromy work and the cited homotopy paper.

Referee Report

3 major / 2 minor

Summary. The manuscript extends the condensed Galois category of schemes from Barwick-Glasman-Haine by connecting it to Lurie's ultracategories and providing a description in terms of w-contractible rings. It classifies schemes whose Galois categories have initial or terminal objects (implying trivial condensed homotopy types) and derives an explicit formula for the underlying group of the condensed fundamental group of a general Dedekind domain, proving this group is non-trivial for Spec(Z) and hence that Spec(Z) is not condensed contractible.

Significance. If the w-contractible ring description faithfully reproduces the original condensed Galois category (including morphisms and Galois actions) and the formula is correctly derived, the work would supply a concrete computational tool for condensed fundamental groups of Dedekind domains and establish a non-trivial condensed homotopy type for Spec(Z). This strengthens the structural theory of condensed Galois categories and provides a concrete counterexample to contractibility for the most basic arithmetic scheme, with potential implications for exodromy and condensed homotopy in arithmetic geometry.

major comments (3)

[Description of the condensed Galois category via w-contractible rings] The section introducing the description of the condensed Galois category via w-contractible rings and Lurie's ultracategories must explicitly verify that the new category reproduces the objects, morphisms, and Galois actions of the Barwick-Glasman-Haine category when restricted to Dedekind domains. The non-triviality result for Spec(Z) is load-bearing on this equivalence; any mismatch would render the formula an artifact of the new presentation rather than a property of the original condensed Galois category.
[Formula for the condensed fundamental group of Dedekind domains] In the computation of the formula for the underlying group of the condensed fundamental group of a general Dedekind domain, the derivation should include a direct reduction or comparison showing that the formula agrees with the profinite completion extracted from the original Barwick-Glasman-Haine category (rather than solely from the ultracategory description). The non-triviality claim for Spec(Z) requires an explicit example or computation confirming the group is non-trivial under the original definition.
[Classification of schemes with initial/terminal objects] The classification of schemes with initial or terminal objects in the Galois category is used to deduce trivial condensed homotopy types. The paper should clarify how this classification interacts with the condensed structure when applied to Spec(Z) or other Dedekind domains, particularly whether the initial/terminal object property survives the extension to w-contractible rings.

minor comments (2)

[Introduction and notation] Notation for the 'underlying group' of the condensed fundamental group should be defined more explicitly, including how it is extracted from the ultracategory or Galois category.
[Throughout] The manuscript would benefit from additional cross-references to specific results in Barwick-Glasman-Haine and Lurie to make the extension steps easier to follow.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the constructive major comments. We address each point below and indicate the revisions we will make to strengthen the presentation and ensure the results are firmly grounded in the original Barwick-Glasman-Haine framework.

read point-by-point responses

Referee: [Description of the condensed Galois category via w-contractible rings] The section introducing the description of the condensed Galois category via w-contractible rings and Lurie's ultracategories must explicitly verify that the new category reproduces the objects, morphisms, and Galois actions of the Barwick-Glasman-Haine category when restricted to Dedekind domains. The non-triviality result for Spec(Z) is load-bearing on this equivalence; any mismatch would render the formula an artifact of the new presentation rather than a property of the original condensed Galois category.

Authors: We agree that an explicit verification of the equivalence is required. In the revised manuscript we will add a dedicated subsection that constructs functors in both directions between the w-contractible ring description and the Barwick-Glasman-Haine condensed Galois category (restricted to Dedekind domains), verifies that these functors are inverse equivalences, and checks that they preserve morphisms and Galois actions. This will confirm that the non-triviality result for Spec(Z) holds with respect to the original category. revision: yes
Referee: [Formula for the condensed fundamental group of Dedekind domains] In the computation of the formula for the underlying group of the condensed fundamental group of a general Dedekind domain, the derivation should include a direct reduction or comparison showing that the formula agrees with the profinite completion extracted from the original Barwick-Glasman-Haine category (rather than solely from the ultracategory description). The non-triviality claim for Spec(Z) requires an explicit example or computation confirming the group is non-trivial under the original definition.

Authors: We will insert a direct comparison proposition that reduces the derived formula to the profinite completion obtained from the original Barwick-Glasman-Haine category via the equivalence established in the preceding subsection. For the non-triviality on Spec(Z) we will add an explicit computation under the original definition, for instance by exhibiting a specific condensed cover arising from an arithmetic extension whose Galois action remains non-trivial after condensation. revision: yes
Referee: [Classification of schemes with initial/terminal objects] The classification of schemes with initial or terminal objects in the Galois category is used to deduce trivial condensed homotopy types. The paper should clarify how this classification interacts with the condensed structure when applied to Spec(Z) or other Dedekind domains, particularly whether the initial/terminal object property survives the extension to w-contractible rings.

Authors: We will add a short clarifying paragraph immediately after the classification statement. It will note that the condensed homotopy type is functorially determined by the Galois category, so the existence of an initial or terminal object directly yields a trivial condensed homotopy type. Because the equivalence with the w-contractible ring description preserves categorical limits and colimits, the initial/terminal object property is invariant under the extension; consequently the classification applies unchanged to Dedekind domains such as Spec(Z), which lack such objects. revision: yes

Circularity Check

0 steps flagged

No significant circularity; new formula and non-triviality result for Spec(Z) are independent computations

full rationale

The paper extends the condensed Galois category from Barwick-Glasman-Haine using Lurie's ultracategories and a description via w-contractible rings, then classifies schemes with initial/terminal objects to deduce trivial homotopy type (referencing a prior study) and derives an explicit formula for the condensed fundamental group of Dedekind domains. The non-triviality for Spec(Z) follows from applying this formula to Z, without any reduction of the output to a fitted parameter, self-definition, or load-bearing self-citation chain. The framework is applied to standard properties of Dedekind domains and schemes, making the central claims externally falsifiable and not equivalent to the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies on prior definitions of condensed Galois categories and ultracategories; no new free parameters or invented entities introduced in the abstract.

axioms (1)

domain assumption Standard properties of schemes, Dedekind domains, and Galois categories as in Barwick-Glasman-Haine and Lurie.
The extensions and classifications presuppose these background structures.

pith-pipeline@v0.9.0 · 5427 in / 1104 out tokens · 62422 ms · 2026-05-12T04:54:13.099381+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/AbsoluteFloorClosure.lean absoluteFloorClosureCert unclear
We extend the study of the condensed Galois category of a scheme introduced by Barwick, Glasman and Haine... provide a description in terms of w-contractible rings... compute a formula for the (underlying group of the) condensed fundamental group of a general Dedekind domain
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Theorem 3.38... Gal(X)(S) identifies with the category whose objects are w-contractible rings A lying above X... morphisms are given by maps of rings inducing the identity on π0

Reference graph

Works this paper leans on

299 extracted references · 299 canonical work pages

[1]

Haine and Sebastian Wolf , year=

Magnus Carlson and Peter J. Haine and Sebastian Wolf , year=. Reconstruction of schemes from their \'. 2407.19920 , archivePrefix=

work page arXiv
[2]

, TITLE =

Haine, Peter J. , TITLE =. 2025 , NOTE =

work page 2025
[3]

Hebestreit, Fabian and Steinebrunner, Jan , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2025 , NUMBER =. doi:10.1093/imrn/rnaf021 , URL =

work page doi:10.1093/imrn/rnaf021 2025
[4]

Vechtomov, E. M. , TITLE =. Uspekhi Mat. Nauk , FJOURNAL =. 1992 , NUMBER =. doi:10.1070/RM1992v047n05ABEH000961 , URL =

work page doi:10.1070/rm1992v047n05abeh000961 1992
[5]

Vechtomov, E. M. , TITLE =. J. Math. Sci. , FJOURNAL =. 1996 , NUMBER =. doi:10.1007/BF02363066 , URL =

work page doi:10.1007/bf02363066 1996
[6]

Vechtomov, E. M. , TITLE =. Mat. Zametki , FJOURNAL =. 1994 , NUMBER =. doi:10.1007/BF02110350 , URL =

work page doi:10.1007/bf02110350 1994
[7]

, TITLE =

Munkres, James R. , TITLE =. 2000 , PAGES =

work page 2000
[8]

Galois Cohomology and Class Field Theory , url =

Harari, David , year =. Galois Cohomology and Class Field Theory , url =

work page
[9]

1976 , PAGES =

Gillman, Leonard and Jerison, Meyer , TITLE =. 1976 , PAGES =

work page 1976
[10]

Jean-Pierre , TITLE =

Serre. Jean-Pierre , TITLE =. 1980 , PAGES =

work page 1980
[11]

and Prestel, Alexander , year =

Engler, Antonio J. and Prestel, Alexander , year =. Valued fields , url =

work page
[12]

Algebraic number theory , address =

Neukirch, Jürgen , year =. Algebraic number theory , address =

work page
[13]

Séminaire

Tate, John , TITLE =. Séminaire. 1995 , MRCLASS =

work page 1995
[14]

Feng, Tony , TITLE =. Compos. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/s0010437x20007216 , URL =

work page doi:10.1112/s0010437x20007216 2020
[15]

2018 , PAGES =

Fujiwara, Kazuhiro and Kato, Fumiharu , TITLE =. 2018 , PAGES =

work page 2018
[16]

Martini, Louis and Wolf, Sebastian , TITLE =. High. Struct. , FJOURNAL =. 2024 , NUMBER =

work page 2024
[17]

Krull, Wolfgang and Neukirch, Jürgen , TITLE =. Math. Ann. , FJOURNAL =. 1971 , PAGES =. doi:10.1007/BF02052391 , URL =

work page doi:10.1007/bf02052391 1971
[18]

Wolf, Sebastian , TITLE =. Doc. Math. , FJOURNAL =. 2022 , PAGES =

work page 2022
[19]

2025 , NOTE =

Wolf, Sebastian , TITLE =. 2025 , NOTE =

work page 2025
[20]

, TITLE =

Haine, Peter J. , TITLE =. 2024 , NOTE =

work page 2024
[21]

, TITLE =

Haine, Peter J. , TITLE =. 2022 , NOTE =

work page 2022
[22]

2024 , NOTE =

Aoki, Ko , TITLE =. 2024 , NOTE =

work page 2024
[23]

Selecta Math

Clausen, Dustin and Jansen, Mikala Ørsnes , TITLE =. Selecta Math. (N.S.) , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00029-023-00900-8 , URL =

work page doi:10.1007/s00029-023-00900-8 2024
[24]

Douady, Adrien , TITLE =. C. R. Acad. Sci. Paris , FJOURNAL =. 1964 , PAGES =

work page 1964
[25]

Pacific J

Haran, Dan and Jarden, Moshe , TITLE =. Pacific J. Math. , FJOURNAL =. 2000 , NUMBER =. doi:10.2140/pjm.2000.196.445 , URL =

work page doi:10.2140/pjm.2000.196.445 2000
[26]

Recent developments in the inverse

Jarden, Moshe , TITLE =. Recent developments in the inverse. 1995 , ISBN =. doi:10.1090/conm/186/02192 , URL =

work page doi:10.1090/conm/186/02192 1995
[27]

Moerdijk, Ieke and Nuiten, Joost , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.2140/agt.2020.20.1769 , URL =

work page doi:10.2140/agt.2020.20.1769 2020
[28]

Animated Condensed Sets and Their Homotopy Groups , Year =

Mair, Catrin , Month =. Animated Condensed Sets and Their Homotopy Groups , Year =

work page
[29]

2026 , eprint=

Classifying anima of condensed -categories of points , author=. 2026 , eprint=

work page 2026
[31]

2022 , NOTE =

Martini, Louis , TITLE =. 2022 , NOTE =

work page 2022
[32]

2022 , NOTE =

Ramzi, Maxime , TITLE =. 2022 , NOTE =

work page 2022
[33]

and Ramzi, Maxime and Steinebrunner, Jan , TITLE =

Haine, Peter J. and Ramzi, Maxime and Steinebrunner, Jan , TITLE =. 2022 , NOTE =

work page 2022
[34]

Yoneda's lemma for internal higher categories , Month =

Martini, Louis , Note =. Yoneda's lemma for internal higher categories , Month =

work page
[35]

Constructible sheaves on schemes and a categorical

Hemo, Tamir and Richarz, Timo and Scholbach, Jakob , Month =. Constructible sheaves on schemes and a categorical

work page
[36]

A categorical Künneth formula for constructible Weil sheaves , volume=

Hemo, Tamir and Richarz, Timo and Scholbach, Jakob , year=. A categorical Künneth formula for constructible Weil sheaves , volume=. Algebra & Number Theory , publisher=. doi:10.2140/ant.2024.18.499 , number=

work page doi:10.2140/ant.2024.18.499 2024
[37]

Hemo, Tamir and Richarz, Timo and Scholbach, Jakob , TITLE =. Adv. Math. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.aim.2023.109179 , URL =

work page doi:10.1016/j.aim.2023.109179 2023
[38]

Cohomology of number fields , SERIES =

Neukirch, J\". Cohomology of number fields , SERIES =. 2008 , PAGES =. doi:10.1007/978-3-540-37889-1 , URL =

work page doi:10.1007/978-3-540-37889-1 2008
[39]

Infinite stable fields are

Scanlon, Thomas , Note =. Infinite stable fields are. 1999 , Month =

work page 1999
[40]

, TITLE =

Kaplan, Itay and Scanlon, Thomas and Wagner, Frank O. , TITLE =. Israel J. Math. , FJOURNAL =. 2011 , PAGES =. doi:10.1007/s11856-011-0104-7 , URL =

work page doi:10.1007/s11856-011-0104-7 2011
[41]

Zargar, Masoud , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.106744 , URL =

work page doi:10.1016/j.aim.2019.106744 2019
[42]

Geometrization of the local Langlands correspondence , Year =

Fargues, Laurent and Scholze, Peter , Month =. Geometrization of the local Langlands correspondence , Year =

work page
[43]

The tame site of a scheme , JOURNAL =

H\". The tame site of a scheme , JOURNAL =. 2021 , NUMBER =. doi:10.1007/s00222-020-00993-4 , URL =

work page doi:10.1007/s00222-020-00993-4 2021
[44]

Answer to

Landesman, Aaron , Month =. Answer to

work page
[45]

Compositio Math

Schmidt, Alexander , TITLE =. Compositio Math. , FJOURNAL =. 1996 , NUMBER =

work page 1996
[46]

Temkin, Michael , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2017 , NUMBER =. doi:10.4007/annals.2017.186.1.3 , URL =

work page doi:10.4007/annals.2017.186.1.3 2017
[47]

On Gabber's refined uniformization , Year =

Illusie, Luc , Note =. On Gabber's refined uniformization , Year =

work page
[48]

Hoyois, Marc and Kelly, Shane and Østvær, Paul Arne , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2017 , NUMBER =. doi:10.4171/JEMS/754 , URL =

work page doi:10.4171/jems/754 2017
[49]

Elmanto, Elden and Hoyois, Marc and Iwasa, Ryomei and Kelly, Shane , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1515/crelle-2021-0040 , URL =

work page doi:10.1515/crelle-2021-0040 2021
[50]

Elmanto, Elden and Hoyois, Marc and Iwasa, Ryomei and Kelly, Shane , TITLE =. Math. Ann. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00208-020-02083-5 , URL =

work page doi:10.1007/s00208-020-02083-5 2021
[51]

Duke Math

Bhatt, Bhargav and Mathew, Akhil , TITLE =. Duke Math. J. , FJOURNAL =. 2021 , NUMBER =. doi:10.1215/00127094-2020-0088 , URL =

work page doi:10.1215/00127094-2020-0088 2021
[52]

Anel, Mathieu and Biedermann, Georg and Finster, Eric and Joyal, André , TITLE =. J. Topol. , FJOURNAL =. 2020 , NUMBER =. doi:10.1112/topo.12163 , URL =

work page doi:10.1112/topo.12163 2020
[53]

Orgogozo, Fabrice , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 2003 , NUMBER =. doi:10.24033/bsmf.2438 , URL =

work page doi:10.24033/bsmf.2438 2003
[54]

Invariance of the fundamental group under base change between algebraically closed fields , Year =

Landesman, Aaron , Month =. Invariance of the fundamental group under base change between algebraically closed fields , Year =

work page
[55]

Lara, Marcin , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2022 , NUMBER =. doi:10.1093/imrn/rnab101 , URL =

work page doi:10.1093/imrn/rnab101 2022
[56]

Algebra Number Theory , FJOURNAL =

Lara, Marcin , TITLE =. Algebra Number Theory , FJOURNAL =. 2024 , NUMBER =. doi:10.2140/ant.2024.18.631 , URL =

work page doi:10.2140/ant.2024.18.631 2024
[57]

2019 , PAGES =

Lara, Marcin , TITLE =. 2019 , PAGES =

work page 2019
[58]

and Holzschuh, Tim and Wolf, Sebastian , TITLE =

Haine, Peter J. and Holzschuh, Tim and Wolf, Sebastian , TITLE =. J. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/topo.70009 , URL =

work page doi:10.1112/topo.70009 2024
[59]

and Holzschuh, Tim and Wolf, Sebastian , TITLE =

Haine, Peter J. and Holzschuh, Tim and Wolf, Sebastian , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2024 , NUMBER =. doi:10.1093/imrn/rnad018 , URL =

work page doi:10.1093/imrn/rnad018 2024
[60]

Duke Math

Lu, Qing and Zheng, Weizhe , TITLE =. Duke Math. J. , FJOURNAL =. 2019 , NUMBER =. doi:10.1215/00127094-2019-0057 , URL =

work page doi:10.1215/00127094-2019-0057 2019
[61]

2019 , NOTE =

Carchedi, David and Scherotzke, Sarah and Sibilla, Nicolò and Talpo, Mattia , TITLE =. 2019 , NOTE =

work page 2019
[62]

Carchedi, David and Scherotzke, Sarah and Sibilla, Nicol\`o and Talpo, Mattia , TITLE =. Geom. Topol. , FJOURNAL =. 2017 , NUMBER =. doi:10.2140/gt.2017.21.3093 , URL =

work page doi:10.2140/gt.2017.21.3093 2017
[63]

and Skorobogatov, Alexei N

Schlank, Tomer M. and Skorobogatov, Alexei N. , TITLE =. Torsors, étale homotopy and applications to rational points , SERIES =. 2013 , MRCLASS =

work page 2013
[64]

2009 , Month =

Lurie, Jacob , Note =. 2009 , Month =

work page 2009
[65]

Devalapurkar, Sanath and Haine, Peter , TITLE =. Doc. Math. , FJOURNAL =. 2021 , PAGES =

work page 2021
[66]

, TITLE =

Friedlander, Eric M. , TITLE =. Inst. Hautes Études Sci. Publ. Math. , FJOURNAL =. 1973 , PAGES =

work page 1973
[67]

, TITLE =

Friedlander, Eric M. , TITLE =. Manuscripta Math. , FJOURNAL =. 1973 , PAGES =. doi:10.1007/BF01332767 , URL =

work page doi:10.1007/bf01332767 1973
[68]

1970 , PAGES =

Friedlander, Eric Mark , TITLE =. 1970 , PAGES =

work page 1970
[69]

Quick, Gereon , TITLE =. J. Pure Appl. Algebra , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jpaa.2010.07.008 , URL =

work page doi:10.1016/j.jpaa.2010.07.008 2011
[70]

, TITLE =

Cox, David A. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1979 , NUMBER =. doi:10.2307/2042908 , URL =

work page doi:10.2307/2042908 1979
[71]

Forum Math

Gepner, David and Kock, Joachim , TITLE =. Forum Math. , FJOURNAL =. 2017 , NUMBER =. doi:10.1515/forum-2015-0228 , URL =

work page doi:10.1515/forum-2015-0228 2017
[72]

Neeman, Amnon , TITLE =. Doc. Math. , FJOURNAL =. 2001 , PAGES =

work page 2001
[73]

Peking Math

Hesselholt, Lars and Pstrągowski, Piotr , TITLE =. Peking Math. J. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s42543-023-00072-6 , URL =

work page doi:10.1007/s42543-023-00072-6 2025
[74]

, Month =

Haine, Peter J. , Month =. From nonabelian basechange to basechange with coefficients , Year =

work page
[75]

Aoki, Ko , TITLE =. Math. Z. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00209-023-03210-z , URL =

work page doi:10.1007/s00209-023-03210-z 2023
[76]

and Porta, Mauro and Teyssier, Jean-Baptiste , TITLE =

Haine, Peter J. and Porta, Mauro and Teyssier, Jean-Baptiste , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/hha.2023.v25.n2.a6 , URL =

work page doi:10.4310/hha.2023.v25.n2.a6 2023
[77]

Categorical topology (

Dyckhoff, Roy , TITLE =. Categorical topology (. 1976 , MRCLASS =

work page 1976
[78]

Synthetic spectra and the cellular motivic category , Year =

Pstrągowski, Piotr , Month =. Synthetic spectra and the cellular motivic category , Year =

work page
[79]

Six functor formalism for sheaves with non-presentable coefficients , Year =

Volpe, Marco , Month =. Six functor formalism for sheaves with non-presentable coefficients , Year =

work page
[80]

Hoyois, Marc , Month =

work page
[81]

Relative de

Aizenbud, Avraham and Carmeli, Shachar , Month =. Relative de

work page

Showing first 80 references.