Copertina

Grothendieck's Equality vs Voevodsky's Equality

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Eckl, Thomas
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic Algebraic Geometry 03A05 (Primary), 14A05 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Grothendieck's use of equality
di: Buzzard, Kevin
Pubblicazione: (2024)

Derived jet and arc spaces
di: Docampo, Roi, et al.
Pubblicazione: (2026)

A Closer Look at the Russell Paradox
di: Sheridan, Flash
Pubblicazione: (2021)

Enumerating Permutations Avoiding Split Patterns 3|12 and 23|1
di: Grigsby, Travis, et al.
Pubblicazione: (2024)

Jack combinatorics of the equivariant edge measure
di: Pohl, Kyla, et al.
Pubblicazione: (2024)

q,t-Catalan measures
di: Cavey, Ian
Pubblicazione: (2022)

A Generalized RSK for Enumerating Linear Series on $n$-pointed Curves
di: Gillespie, Maria, et al.
Pubblicazione: (2022)

Modified Derksen invariant
di: Boldyrev, Ilya, et al.
Pubblicazione: (2023)

A Molev-Sagan type formula for double Schubert polynomials
di: Samuel, Matthew J.
Pubblicazione: (2024)

A Foundation for Synthetic Algebraic Geometry
di: Cherubini, Felix, et al.
Pubblicazione: (2023)

Differential Geometry of Synthetic Schemes
di: Cherubini, Felix, et al.
Pubblicazione: (2025)

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

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

Bott manifolds of Bott--Samelson type and assemblies of ordered partitions
di: Jeong, Junho, et al.
Pubblicazione: (2025)

Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
di: Smythe, Iian B.
Pubblicazione: (2021)

Lifting derived equivalences of abelian surfaces to generalized Kummer varieties
di: Yang, Yuxuan
Pubblicazione: (2025)

A Hilton-Milner theorem for exterior algebras
di: Bulavka, Denys, et al.
Pubblicazione: (2024)

On Petr Novikov's problem of ordered systems of uniform sets
di: Kanovei, Vladimir, et al.
Pubblicazione: (2026)

Squares, scales and lines
di: Cummings, James
Pubblicazione: (2025)

Generalized sums of linear orders
di: Ramos, Álvaro Díaz, et al.
Pubblicazione: (2025)

Vladimir Voevodsky on the concept of mathematical structure in his letter exchange with Andrei Rodin
di: Rodin, Andrei
Pubblicazione: (2024)

On extendability to $F_σ$ ideals
di: Kwela, Adam
Pubblicazione: (2021)

Walks on uncountable ordinals and non-structure theorems for higher Aronszajn lines
di: Inamdar, Tanmay, et al.
Pubblicazione: (2024)

A note on Hindman-type theorems for uncountable cardinals
di: Carlucci, Lorenzo
Pubblicazione: (2017)

On monotonicity of F-blowup sequences
di: Yasuda, Takehiko
Pubblicazione: (2008)

Insertion algorithms and pattern avoidance on trees arising in the Kapranov embedding of $\overline{M}_{0,n+3}$
di: Reimer-Berg, Andrew
Pubblicazione: (2025)

Revisiting Interpolation in Relevant Logics
di: Fussner, Wesley, et al.
Pubblicazione: (2025)

On the combinatorics of the refined 1-leg DT/PT correspondence
di: Accadia, Davide, et al.
Pubblicazione: (2026)

Diagonalizations of denormalized volume polynomials
di: Ross, Julius, et al.
Pubblicazione: (2025)

Some questions on entangled linear orders
di: Carroy, Raphaël, et al.
Pubblicazione: (2025)

The Principles of Probability: From Formal Logic to Measure Theory to the Principle of Indifference
di: Swanson, Jason
Pubblicazione: (2025)

A note on the theory of well orders
di: Jeřábek, Emil
Pubblicazione: (2024)

Hilbert's Program and Infinity
di: Zach, Richard
Pubblicazione: (2026)

Torus orbit closures in the flag variety
di: Lee, Eunjeong, et al.
Pubblicazione: (2022)

$K$-holomorphic functions with definable real part
di: Carbone, Antonio, et al.
Pubblicazione: (2026)

Around Eggleston Theorem
di: Michalski, Marcin, et al.
Pubblicazione: (2023)

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

Weddle loci of linear systems of quadrics and the rank of partially symmetric tensors
di: Chiantini, Luca, et al.
Pubblicazione: (2025)

LF: a Foundational Higher-Order-Logic
di: Goodsell, Zachary, et al.
Pubblicazione: (2024)

Affine Hulls and Simplices: a Constructive Analysis
di: Bridges, Douglas S.
Pubblicazione: (2025)