Brave new categorical spectral positive Schubert geometry and the categorical Dual Amplituhedron
Pith reviewed 2026-06-26 18:06 UTC · model grok-4.3
The pith
The Amplituhedron categorified as a functor between higher categories has a concrete non-trivial dual and a De Rham volume.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Instead of the Grassmannian stack which is autodual in the infinity-category of prestable infinity-categories of modules on ring spectra, the Amplituhedron categorified in a functor between infinity topoi possesses a concrete non-trivial dual and has a De Rham volume. This new construction yields the Dual Amplituhedron.
What carries the argument
The categorification of the Amplituhedron in a functor between infinity topoi, obtained from the rewriting of positive Schubert geometry and the singular gluing of positroid varieties.
If this is right
- The positive real Grassmannian admits a compact formulation via perverse intersection complexes in a formal moduli problem.
- The Amplituhedron acquires a De Rham volume within the categorical setting.
- The dual object supplies a new route to the calculation of scattering amplitudes.
- The construction bears on the expected duality between the Standard Model of particles and String Theory.
Where Pith is reading between the lines
- Explicit low-dimensional examples of the dual might be constructed and checked against known amplitude formulas.
- The approach could extend to other positroid varieties in positive geometry.
- Links to crystalline cohomology might produce new invariants for algebraic spaces arising in physics.
- Verification could proceed by deriving established amplitude results from the dual construction.
Load-bearing premise
The rewriting of the positive real Grassmannian and singular gluing of its positroid varieties via categorical spectral geometry provides a valid foundation that captures the physical scattering amplitudes.
What would settle it
A computation of a known low-point scattering amplitude via the proposed Dual Amplituhedron that yields a result inconsistent with the original Amplituhedron or collider data would disprove the central claim.
Figures
read the original abstract
This ArXiv preprint of my doctoral dissertation, which, at this stage, has not yet been accepted by the doctoral thesis committee, is intended both to lay the groundwork for a series of papers, and to confirm the existence of a first proposed solution to the "Dual Amplituhedron" problem posed in 2014 by Princeton physicists N. Arkani-Hamed and J. Trnka, a mathematical object which encapsulate the calculation of scattering amplitudes in high-energy particle colliders. The first part of this thesis deals with a rewriting of the positive real Grassmannian and performing the singular gluing of its positroid varieties in a new way via Spectral Algebraic Geometry of J. Lurie on "structured" spaces and a categorification of his "Tannaka Duality for Quasi-coherent Stacks", finding in this formal moduli problem, a compact yet holistic formulation via perverse intersection complexes of P. Deligne. This algebraico-geometric perspective paired with a synthetic differential-geometric perspective, namely the Differential Cohesion of B. Lawvere and U. Schreiber, subsumes infinitesimal thickenings, crystalline cohomology of De Rham stacks, the "Modalities of Structured Geometries" and the unification of their cohomologies of the underlying concrete topological etale algebraic space. The second part uses this rewriting of positive Schubert geometry and "The Cohomology of Brauer-Grothendieck Spaces" of B. To\"en and B. Antieau, to show that, instead of the Grassmannian spectral Deligne-Mumford stack which is autodual in the infinity-category of prestable infinity-categories of modules on E\infty-ring spectra, the Amplituhedron, categorified in a functor between infinity topo\"i, possesses a concrete non-trivial dual, and has a De Rham volume, facts of interest for the expected Duality between the Standard Model of particles and String Theory. This new construction yields the Dual Amplituhedron.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to construct the categorical Dual Amplituhedron by rewriting the positive real Grassmannian and singular gluing of positroid varieties via Lurie's spectral algebraic geometry and a categorification of Tannaka duality for quasi-coherent stacks; this is said to produce, in the second part, a functor between infinity topoi whose image is a non-autodual object in the infinity-category of prestable infinity-categories of modules over E∞-ring spectra, equipped with a De Rham volume, thereby solving the 2014 Dual Amplituhedron problem.
Significance. If the asserted constructions were supplied with explicit functors, derivations, and verifications that the resulting object is non-isomorphic to the original Amplituhedron and reproduces known positroid or scattering data, the work could provide a new categorical framework connecting positive Schubert geometry to physical dualities. No such derivations, machine-checked proofs, or reproducible computations are present.
major comments (2)
- [Abstract] Abstract: the central claim that 'the Amplituhedron, categorified in a functor between infinity topoi, possesses a concrete non-trivial dual, and has a De Rham volume' is stated without any functor definition, explicit gluing construction, or calculation demonstrating non-isomorphism to the autodual Grassmannian spectral Deligne-Mumford stack or reproduction of scattering amplitudes.
- [Abstract] Abstract (second part): the assertion that the new spectral rewriting yields a non-autodual object relies on the categorification of Tannaka duality and perverse intersection complexes, yet no specific moduli problem, E∞-ring spectrum, or volume form computation is exhibited to establish that the dual is non-trivial rather than a redefinition within the chosen framework.
minor comments (2)
- The title is excessively long and mixes multiple technical adjectives without clarifying the precise contribution.
- [Abstract] The manuscript is explicitly described as an unaccepted dissertation draft; this status should be addressed if resubmission is contemplated.
Simulated Author's Rebuttal
We thank the referee for their detailed review and for highlighting the need for greater explicitness in the constructions. The manuscript is a doctoral dissertation that outlines a categorical framework for the Dual Amplituhedron using spectral algebraic geometry and differential cohesion; it is intended as foundational groundwork rather than a fully computational treatment. We address the major comments point by point below.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central claim that 'the Amplituhedron, categorified in a functor between infinity topoi, possesses a concrete non-trivial dual, and has a De Rham volume' is stated without any functor definition, explicit gluing construction, or calculation demonstrating non-isomorphism to the autodual Grassmannian spectral Deligne-Mumford stack or reproduction of scattering amplitudes.
Authors: The abstract summarizes the principal result of the dissertation. The functor between infinity topoi is obtained by applying the categorification of Tannaka duality for quasi-coherent stacks to the positive real Grassmannian after its rewriting in Lurie's spectral algebraic geometry, with singular gluing of positroid varieties effected via perverse intersection complexes. Differential cohesion supplies the De Rham volume. We agree, however, that the manuscript does not furnish fully explicit functor definitions, step-by-step gluing constructions, or concrete calculations establishing non-isomorphism to the autodual Grassmannian spectral Deligne-Mumford stack or reproducing specific scattering amplitudes. These details are reserved for subsequent papers. We will revise the abstract to state explicitly that the constructions are presented at the level of a unifying framework rather than with complete derivations. revision: partial
-
Referee: [Abstract] Abstract (second part): the assertion that the new spectral rewriting yields a non-autodual object relies on the categorification of Tannaka duality and perverse intersection complexes, yet no specific moduli problem, E∞-ring spectrum, or volume form computation is exhibited to establish that the dual is non-trivial rather than a redefinition within the chosen framework.
Authors: The non-autoduality is obtained by showing that the categorified Amplituhedron, realized as the image of a functor between infinity topoi, lies outside the autodual objects in the infinity-category of prestable infinity-categories of modules over E∞-ring spectra, in contrast to the Grassmannian spectral Deligne-Mumford stack. The De Rham volume is induced by the crystalline cohomology of the De Rham stack within the differential cohesive setting. We concur that no concrete moduli problem, specific E∞-ring spectrum, or numerical volume-form computation is supplied. The dissertation focuses on the existence of the categorical rewriting rather than on the selection of particular instances. We will add a clarifying sentence in the abstract and introduction to distinguish the proposed framework from a mere redefinition. revision: partial
- Explicit functor definitions, gluing constructions, non-isomorphism calculations, reproduction of scattering amplitudes, specific moduli problems, named E∞-ring spectra, and concrete volume-form computations establishing the non-trivial dual.
Circularity Check
No significant circularity detected
full rationale
The provided abstract and description frame the Dual Amplituhedron as obtained via a rewriting of the positive Grassmannian and positroid varieties inside Lurie's spectral algebraic geometry together with a categorification of Tannaka duality for quasi-coherent stacks, followed by an application of differential cohesion and results of Toën–Antieau. These steps are presented as building on named external references (Lurie, Lawvere–Schreiber, Deligne, Toën–Antieau) rather than on any self-citation chain or internal redefinition. No equations, fitted parameters, or uniqueness theorems internal to the paper are quoted that would reduce the claimed dual or De Rham volume to the input data by construction. The derivation is therefore self-contained against the cited external categorical frameworks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The positive real Grassmannian and positroid varieties can be rewritten and glued using Spectral Algebraic Geometry of J. Lurie on structured spaces
- domain assumption Categorification of Tannaka Duality for Quasi-coherent Stacks and Differential Cohesion unify the relevant cohomologies
invented entities (1)
-
Categorical Dual Amplituhedron
no independent evidence
Reference graph
Works this paper leans on
-
[1]
P.N. Achar. Perverse Sheaves and Applications to Representation Theory . Math- ematical Surveys and Monographs. American Mathematical Society, 2021
2021
-
[2]
Locally Presentable and Accessible Categories: Bibliography
Jirí Adámek and Jiří Rosický. “Locally Presentable and Accessible Categories: Bibliography” . In: 1994
1994
-
[3]
A reconstruction theorem for abelian categories of twisted sheaves
Benjamin Antieau. A reconstruction theorem for abelian categories of twisted sheaves. 2013. arXiv: 1305.2541 [math.AG]
Pith/arXiv arXiv 2013
-
[4]
Twisted derived equivalences for affine schemes
Benjamin Antieau. Twisted derived equivalences for affine schemes . 2013. arXiv: 1311.2332 [math.AG]
Pith/arXiv arXiv 2013
-
[5]
On the uniqueness of infinity-categorical enhancements of triangulated categories
Benjamin Antieau. On the uniqueness of infinity-categorical enhancements of triangulated categories. 2021. arXiv: 1812.01526 [math.AG]
arXiv 2021
-
[6]
Brauer groups and étale cohomology in derived algebraic geometry
Benjamin Antieau and David Gepner. “Brauer groups and étale cohomology in derived algebraic geometry” . In: Geometry & Topology 18.2 (Apr. 2014), pp. 1149–1244
2014
-
[7]
Picard sheaves, lo- cal Brauer groups, and topological modular forms
Benjamin Antieau, Lennart Meier, and Vesna Stojanoska. Picard sheaves, lo- cal Brauer groups, and topological modular forms . 2022. arXiv: 2210 . 15743 [math.AG]
2022
-
[8]
Faisceaux pervers sur les variétés algébriques complexes
Alberto Arabia. “Faisceaux pervers sur les variétés algébriques complexes” . In: Correspondance de Springer (d’apres Borho-MacPherson)”, lecture notes http://people. math. jussieu. fr/~ arabia/math/Pervers. pdf (2001)
2001
-
[9]
Positive Geometries and Canonical Forms
Nima Arkani-Hamed, Yuntao Bai, and Thomas Lam. “Positive Geometries and Canonical Forms” . In: Journal of High Energy Physics 2017 (Mar. 2017)
2017
-
[10]
Positive amplitudes in the amplituhedron
Nima Arkani-Hamed, Andrew Hodges, and Jaroslav Trnka. “Positive amplitudes in the amplituhedron” . In:Journal of High Energy Physics 2015.8 (Aug. 7, 2015), p. 30
2015
-
[11]
Unwinding the am- plituhedron in binary
Nima Arkani-Hamed, Hugh Thomas, and Jaroslav Trnka. “Unwinding the am- plituhedron in binary” . In: Journal of High Energy Physics 2018.1 (Jan. 3, 2018), p. 16. 237 Julien Dalpayrat-Glutron
2018
-
[12]
Nima Arkani-Hamed and Jaroslav Trnka. “Into the Amplituhedron” . In: JHEP 12 (2014), p. 182. arXiv: 1312.7878 [hep-th]
Pith/arXiv arXiv 2014
-
[13]
The Amplituhedron
Nima Arkani-Hamed and Jaroslav Trnka. “The Amplituhedron” . In: Journal of High Energy Physics 2014.10 (Oct. 6, 2014), p. 30
2014
-
[14]
Grassmannian Geometry of Scattering Amplitudes
Nima Arkani-Hamed et al. Grassmannian Geometry of Scattering Amplitudes . Cambridge University Press, 2016
2016
-
[15]
Solving Scattering in N = 4 Super-Yang-Mills The- ory
Nima Arkani-Hamed et al. “Solving Scattering in N = 4 Super-Yang-Mills The- ory” . In: (July 2022). arXiv: 2207.10636 [hep-th]
arXiv 2022
-
[16]
Théorie des Topos et Cohomologie Étale des Schémas I, II, III
Michael Artin, Alexander Grothendieck, and Jean-Louis Verdier. Théorie des Topos et Cohomologie Étale des Schémas I, II, III . Vol. 269, 270, 305. Lecture Notes in Mathematics. Springer, 1971
1971
-
[17]
Structure in Mathematics and Logic: A Categorical Perspective
Steve Awodey. “Structure in Mathematics and Logic: A Categorical Perspective” . In: Philosophia Mathematica 4 (1996), pp. 209–237
1996
-
[18]
Steve Awodey. Type theory and homotopy . 2010. arXiv: 1010.1810 [math.CT]
Pith/arXiv arXiv 2010
-
[19]
Presheaves of triangulated categories and reconstruction of schemes
Paul Balmer. “Presheaves of triangulated categories and reconstruction of schemes” . In: Mathematische Annalen 324 (2001), pp. 557–580
2001
-
[20]
Presheaves of triangulated categories and reconstruction of schemes
Paul Balmer. “Presheaves of triangulated categories and reconstruction of schemes” . In: Mathematische Annalen 324.3 (2002), pp. 557–580
2002
-
[21]
Triples, Algebras and Cohomology, Thesis
Jonathan Beck. “Triples, Algebras and Cohomology, Thesis” . In: 1967
1967
-
[22]
Loop spaces and connections
David Ben-Zvi and David Nadler. “Loop spaces and connections” . In: Journal of Topology 5.2 (Mar. 2012), pp. 377–430
2012
-
[23]
Completions and derived de Rham cohomology
Bhargav Bhatt. Completions and derived de Rham cohomology . 2012. arXiv: 1207.6193 [math.AG]
Pith/arXiv arXiv 2012
-
[24]
Reflex- ivity and dualizability in categorified linear algebra
Martin Brandenburg, Alexandru Chirvasitu, and Theo Johnson-Freyd. Reflex- ivity and dualizability in categorified linear algebra . 2014. arXiv: 1409 . 5934 [math.CT]
2014
-
[25]
Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi
David Carchedi. Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi. 2016. arXiv: 1312.2204 [math.CT]
Pith/arXiv arXiv 2016
-
[26]
Sheaves of E-infinity algebras and applications to algebraic varieties and singular spaces
David Chataur and Joana Cirici. Sheaves of E-infinity algebras and applications to algebraic varieties and singular spaces . 2022. arXiv: 1811.08642 [math.AT]
arXiv 2022
-
[27]
Brauer Spaces of Spectral Algebraic Stacks
Chang-Yeon Chough. Brauer Spaces of Spectral Algebraic Stacks . 2020. arXiv: 2002.07946 [math.AG]
arXiv 2020
-
[28]
Twisted Equivalences in Spectral Algebraic Geometry
Chang-Yeon Chough. Twisted Equivalences in Spectral Algebraic Geometry. 2021. arXiv: 2109.02854 [math.AG] . 238 Categorical spectral Schubert Geometry and the Dual Amplituhedron
arXiv 2021
-
[29]
When are there enough projective perse sheaves? 2022
Alessio Cipriani and Jon Wool. When are there enough projective perse sheaves? 2022
2022
-
[30]
Higher Categories and Homotopical Algebra
Denis-Charles Cisinski. Higher Categories and Homotopical Algebra. 2023
2023
-
[31]
Colliot-Thélène and A.N
J.L. Colliot-Thélène and A.N. Skorobogatov. The Brauer–Grothendieck Group . Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Mod- ern Surveys in Mathematics. Springer International Publishing, 2021
2021
-
[32]
Noncommutative Geometry
Alain Connes. Noncommutative Geometry. 2005
2005
-
[33]
Le topos étale réel d’un anneau
Marie-Françoise Coste Michel; Coste-Roy. Le topos étale réel d’un anneau. 1981
1981
-
[34]
Shulman D.-C
M. Shulman D.-C. Cisinski. Characterizations of locally presentable (∞,1)-categories. A vailable at/nlab/show/locally+cartesian+closed+(infinity,1)-category
-
[35]
On Lurie’s theorem and applications
Jack Morgan Davies. “On Lurie’s theorem and applications” . In: Mathematische Zeitschrift 309.2 (Dec. 2024)
2024
-
[36]
Scheiderer motives and equivariant higher topos theory
Elden Elmanto and Jay Shah. Scheiderer motives and equivariant higher topos theory. 2021. arXiv: 1912.11557 [math.AG]
arXiv 2021
-
[37]
Chaim Even-Zohar, Tsviqa Lakrec, and Ran J. Tessler. The Amplituhedron BCFW Triangulation. 2021
2021
-
[38]
A cluster of results on amplituhedron tiles
Chaim Even-Zohar et al. A cluster of results on amplituhedron tiles . 2024. arXiv: 2402.15568 [math.CO]
arXiv 2024
-
[39]
Cluster algebras and tilings for the m=4 amplituhedron
Chaim Even-Zohar et al. Cluster algebras and tilings for the m=4 amplituhedron
-
[40]
arXiv: 2310.17727 [math.CO]
-
[41]
Tree-level scattering ampli- tudes from the amplituhedron
L. Ferro, T. Lukowski, and Parisi M. Orta A. and. “Tree-level scattering ampli- tudes from the amplituhedron” . In: Journal of Physics: Conference Series 841.1 (2017), p. 012037
2017
-
[42]
Towards the amplituhedron volume
Livia Ferro et al. “Towards the amplituhedron volume” . In: Journal of High Energy Physics 2016.3 (Mar. 3, 2016), p. 14
2016
-
[43]
Introduction to Cluster Algebras
Sergey Fomin, Lauren Williams, and Andrei Zelevinsky. Introduction to Cluster Algebras. Chapter 7 . 2021
2021
-
[44]
Positroid cluster structures from relabeled plabic graphs
Chris Fraser and Melissa Sherman-Bennett. Positroid cluster structures from relabeled plabic graphs . 2020
2020
-
[45]
Positroid cluster structures from relabeled plabic graphs
Chris Fraser and Melissa Sherman-Bennett. “Positroid cluster structures from relabeled plabic graphs” . en. In: Algebraic Combinatorics 5.3 (2022), pp. 469– 513
2022
-
[46]
Des catégories abéliennes
Pierre Gabriel. “Des catégories abéliennes” . In: Bulletin de la Société Mathéma- tique de France 90 (1962), pp. 323–448. 239 Julien Dalpayrat-Glutron
1962
-
[47]
Sheaves of categories and the notion of 1-affineness
Dennis Gaitsgory. Sheaves of categories and the notion of 1-affineness . 2014. arXiv: 1306.4304 [math.AG]
Pith/arXiv arXiv 2014
-
[48]
A study in derived algebraic geome- try: Volume I: correspondences and duality
Dennis Gaitsgory and Nick Rozenblyum. A study in derived algebraic geome- try: Volume I: correspondences and duality . Vol. 221. American Mathematical Society, 2019
2019
-
[49]
Applet : Plabic Graphs, Strand Permutations and Tiling
Pavel Galashin. Applet : Plabic Graphs, Strand Permutations and Tiling
-
[50]
Critical varieties in the Grassmannian
Pavel Galashin. Critical varieties in the Grassmannian . 2021
2021
-
[51]
Positroid varieties and cluster algebras
Pavel Galashin and Thomas Lam. Positroid varieties and cluster algebras . 2019
2019
-
[52]
Sur quelques points d’algèbre homologique, I
Alexander Grothendieck. “Sur quelques points d’algèbre homologique, I” . In: Tohoku Mathematical Journal 9 (1957), pp. 119–221
1957
-
[53]
Éléments de géométrie algébrique: I. Le langage des schémas
Alexander Grothendieck. “Éléments de géométrie algébrique: I. Le langage des schémas” . In:Publications Mathématiques de l’IHÉS 4 (1960), pp. 5–228
1960
-
[54]
M. Hakim. Topos annelés et schémas relatifs . Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer-Verlag, 1972
1972
-
[55]
Positive Geometries for One-Loop Chiral Octagons
Enrico Herrmann et al. “Positive Geometries for One-Loop Chiral Octagons” . In: (July 2020). arXiv: 2007.12191 [hep-th]
arXiv 2020
-
[56]
Positive geometry, local triangulations, and the dual of the Amplituhedron
Enrico Herrmann et al. “Positive geometry, local triangulations, and the dual of the Amplituhedron” . In: Journal of High Energy Physics 2021.1 (Jan. 8, 2021), p. 35
2021
-
[57]
M. Hovey. Model Categories. Mathematical surveys and monographs. American Mathematical Society, 2007
2007
-
[58]
Mark Hovey, Brooke Shipley, and Jeff Smith. Symmetric spectra. 1998. arXiv: math/9801077 [math.AT]
Pith/arXiv arXiv 1998
-
[59]
Johnstone
P.T. Johnstone. Sketches of an Elephant: A Topos Theory Compendium . Oxford Logic Guides. Oxford University Press, Incorporated, 2002
2002
-
[60]
Johnstone
P.T. Johnstone. Topos Theory. Dover Books on Mathematics. Dover Publica- tions, 2014
2014
-
[61]
Theory of quasi-categories and its applications, lectures at Simpli- cial Methods in Higher Categories, Barcelona, 2008
André Joyal. Theory of quasi-categories and its applications, lectures at Simpli- cial Methods in Higher Categories, Barcelona, 2008
2008
-
[62]
Notes on quasicategories
André Joyal. Notes on quasicategories. 2007
2007
-
[63]
An introduction to tannaka duality and quantum groups
André Joyal and Ross Street. “An introduction to tannaka duality and quantum groups. ” In:In A. Carboni, M. C. Pedicchio, and G. Rosolini, editors, Category Theory (1991). Springer Berlin Heidelberg., pages 413–492
1991
-
[64]
Applet : Quivers and Mutations in Cluster Algebras
Bernhard Keller. Applet : Quivers and Mutations in Cluster Algebras
-
[65]
Adeel A. Khan. A modern introduction to algebraic stacks . 2023. 240 Categorical spectral Schubert Geometry and the Dual Amplituhedron
2023
-
[66]
Adeel A. Khan. Lectures on algebraic stacks. 2023. arXiv: 2310.12456 [math.AG]
Pith/arXiv arXiv 2023
-
[67]
Kirwan and J
F. Kirwan and J. Woolf. An Introduction to Intersection Homology Theory, Second Edition. Taylor & Francis, 2006
2006
-
[68]
Semialgebraic topology in the last ten years
Manfred Knebusch. Semialgebraic topology in the last ten years. 2010
2010
-
[69]
Positroid varieties: juggling and geometry
Allen Knutson, Thomas Lam, and David E Speyer. “Positroid varieties: juggling and geometry” . In: Compositio Mathematica 149.10 (2013), pp. 1710–1752
2013
-
[70]
Sign flip triangulations of the amplituhe- dron
Ryota Kojima and Cameron Langer. “Sign flip triangulations of the amplituhe- dron” . In: Journal of High Energy Physics 2020.5 (May 25, 2020), p. 121
2020
-
[71]
Totally nonnegative Grassmannian and Grassmann polytopes
Thomas Lam. “Totally nonnegative Grassmannian and Grassmann polytopes” . In: arXiv e-prints , arXiv:1506.00603 (June 2015)
Pith/arXiv arXiv 2015
-
[72]
An invitation to positive geometries
Thomas Lam. An invitation to positive geometries . 2022. arXiv: 2208 . 05407 [math.CO]
2022
-
[73]
Functorial Semantics of Algebraic Theories (Thesis 1963)
Bill Lawvere. Functorial Semantics of Algebraic Theories (Thesis 1963) . 1963
1963
-
[74]
The Category of Categories as a Foundation for Mathematics
Bill Lawvere. The Category of Categories as a Foundation for Mathematics . 1966
1966
-
[75]
Adjointness in Foundations
Bill Lawvere. Adjointness in Foundations . 1969
1969
-
[76]
Quantifiers and Sheaves
Bill Lawvere. Quantifiers and Sheaves . 1971
1971
-
[77]
Introduction to Toposes, Algebraic Geometry and Logic
Bill Lawvere. Introduction to Toposes, Algebraic Geometry and Logic . 1972
1972
-
[78]
Taking Categories Seriously
Bill Lawvere. Taking Categories Seriously . 1986
1986
-
[79]
Some Thoughts on the Future of Category Theory
Bill Lawvere. Some Thoughts on the Future of Category Theory . 1991
1991
-
[80]
Categories of Space and of Quantity
Bill Lawvere. Categories of Space and of Quantity . 1992
1992
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.