Cover Image

A Foundation for Synthetic Algebraic Geometry

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cherubini, Felix, Coquand, Thierry, Hutzler, Matthias
Format:	Preprint
Published:	2023
Subjects:	Algebraic Geometry Logic 14A99 (Primary), 03B38, 18N99 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Projective Space in Synthetic Algebraic Geometry
by: Cherubini, Felix, et al.
Published: (2024)

Differential Geometry of Synthetic Schemes
by: Cherubini, Felix, et al.
Published: (2025)

A Note About Models of Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

A Foundation for Synthetic Stone Duality
by: Cherubini, Felix, et al.
Published: (2024)

Chatelet's Theorem in Synthetic Algebraic Geometry
by: Coquand, Thierry, et al.
Published: (2025)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
by: van Nispen, K. R.
Published: (2025)

Projections of Higher Dimensional Subspaces and Generalized Multiview Varieties
by: Rydell, Felix
Published: (2023)

Important Classes of Morphisms and the Relative Cotangent Sequence in Tangent Categories
by: Lemay, Jean-Simon Pacaud, et al.
Published: (2025)

Purity of branch and critical locus
by: Källström, Rolf
Published: (2010)

Completed Cycles Leaky Hurwitz Numbers
by: Accadia, Davide, et al.
Published: (2025)

Pseudolimits for Tangent Categories with Applications to Equivariant Algebraic and Differential Geometry
by: Pronk, Dorette, et al.
Published: (2023)

Local dual spaces and primary decomposition
by: Chen, Justin, et al.
Published: (2023)

On the strong base locus of a projective variety
by: Ballico, Edoardo, et al.
Published: (2026)

A Closer Look at the Russell Paradox
by: Sheridan, Flash
Published: (2021)

Exponential Sums Equations and Tropical Geometry
by: Gallinaro, Francesco
Published: (2022)

Synthetic Homotopy Theory
by: Wei, Yuhang
Published: (2024)

Stability of normal bundles of Brill-Noether curves
by: Coskun, Izzet, et al.
Published: (2023)

On ordinary differentially large fields
by: Sánchez, Omar León, et al.
Published: (2023)

Bounding the signed count of real bitangents to plane quartics
by: Kummer, Mario, et al.
Published: (2023)

Grassmann cactus variety and socle dimension
by: Buczyńska, Weronika, et al.
Published: (2025)

Definable Obstruction Theory
by: Meadows, Nicholas
Published: (2025)

Improved effective estimates of Pólya's Theorem for quadratic forms
by: Tan, Colin
Published: (2018)

Grothendieck's Equality vs Voevodsky's Equality
by: Eckl, Thomas
Published: (2026)

The random ordered graph is a semi-retract of the canonically ordered atomless Boolean algebra
by: Pinsker, Michael, et al.
Published: (2025)

Algebraicity and integrality of solutions to differential equations
by: Lam, Yeuk Hay Joshua, et al.
Published: (2025)

Comparison of Exterior Power Operations on Higher K-Theory of Schemes
by: Köck, Bernhard, et al.
Published: (2021)

Flops and Hilbert schemes of space curve singularities
by: Diaconescu, Duiliu-Emanuel, et al.
Published: (2023)

The definable content of homological invariants II: Čech cohomology and homotopy classification
by: Bergfalk, Jeffrey, et al.
Published: (2022)

Upper Ramification Groups for Arbitrary Valuation Rings
by: Kato, Kazuya, et al.
Published: (2019)

On the Uniqueness of Kähler-Einstein Polygons in Mutation-Equivalence Classes
by: Hall, Thomas
Published: (2024)

On the category of modules over bands: relative schemes, hyperring schemes and proto-exactness
by: Hamada, Lucas
Published: (2026)

The theorem of Maehara-Severi for maps of general type
by: Bartsch, Finn, et al.
Published: (2026)

Grothendieck's use of equality
by: Buzzard, Kevin
Published: (2024)

Zilber's Trichotomy in Hausdorff Geometric Structures
by: Castle, Benjamin, et al.
Published: (2024)

Dilworth truncations and Hadamard products of linear spaces
by: Antolini, Dario, et al.
Published: (2025)

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods
by: Getzler, Ezra
Published: (2024)

Dimensionality of tropical Chow groups
by: Muñiz-Brea, Álvaro
Published: (2024)

Unbounded convex polyhedra as polynomial images of Euclidean spaces
by: Fernando, José F., et al.
Published: (2024)

Morse theory of Euclidean distance functions from algebraic hypersurfaces
by: Guidolin, Andrea, et al.
Published: (2024)

New examples of geometrically special varieties: K3 surfaces, Enriques surfaces, and algebraic groups
by: Bartsch, Finn
Published: (2025)