Buchumschlag

Synthetic Homotopy Theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wei, Yuhang
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Algebraic Topology Logic 55U35, 55P99, 03B38
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
von: Wärn, David
Veröffentlicht: (2023)

Synthetic perspectives on spaces and categories
von: Riehl, Emily
Veröffentlicht: (2025)

On symmetries of spheres in univalent foundations
von: Cagne, Pierre, et al.
Veröffentlicht: (2024)

Non-accessible localizations
von: Christensen, J. Daniel
Veröffentlicht: (2021)

Combinatorial Models for Linear Homotopy Theories
von: Kaygun, Atabey
Veröffentlicht: (2026)

Homotopy equivalence of digital pictures in $\mathbb{Z}^2$
von: Lee, Dae-Woong, et al.
Veröffentlicht: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
von: Hazratpour, Sina, et al.
Veröffentlicht: (2022)

Cubical Approximation for Directed Topology II
von: Krishnan, Sanjeevi
Veröffentlicht: (2023)

The Simplicial Model of Univalent Foundations (after Voevodsky)
von: Kapulkin, Chris, et al.
Veröffentlicht: (2012)

$C_2$-Equivariant Orthogonal Calculus
von: Yavuz, Emel
Veröffentlicht: (2024)

$C_2$-Equivariant Orthogonal Calculus
von: Yavuz, Emel
Veröffentlicht: (2025)

Homotopy reflectivity is equivalent to the weak Vopěnka principle
von: Casacuberta, Carles, et al.
Veröffentlicht: (2024)

Splitting of homotopy idempotents revisited
von: Dydak, Jerzy
Veröffentlicht: (2024)

Parametrized stability and the universal property of global spectra
von: Cnossen, Bastiaan, et al.
Veröffentlicht: (2023)

The Adams isomorphism revisited
von: Cnossen, Bastiaan, et al.
Veröffentlicht: (2023)

Partial parametrized presentability and the universal property of equivariant spectra
von: Cnossen, Bastiaan, et al.
Veröffentlicht: (2023)

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

Persistent Sullivan Minimal Models of Metric Spaces
von: Zhou, Ling
Veröffentlicht: (2023)

On twisting functions in twisted cartesian products and twisted tensor products
von: Cai, Li
Veröffentlicht: (2025)

Minimal Finite Model of Wedge Sum of Spheres
von: Das, Ponaki, et al.
Veröffentlicht: (2024)

The biequivalence of path categories and axiomatic Martin-Löf type theories
von: Otten, Daniël, et al.
Veröffentlicht: (2025)

The Hurewicz theorem for cubical homology
von: Carranza, Daniel, et al.
Veröffentlicht: (2022)

Homotopy stability of spaces of non-resultant systems of bounded multiplicity with real coefficients
von: Kozlowski, Andrzej, et al.
Veröffentlicht: (2023)

Rank-preserving additions for topological vector bundles, after a construction of Horrocks
von: Opie, Morgan
Veröffentlicht: (2023)

On polynomial functors and polynomial comonads over infinity groupoids
von: Chen, Kun
Veröffentlicht: (2026)

The definable content of homological invariants II: Čech cohomology and homotopy classification
von: Bergfalk, Jeffrey, et al.
Veröffentlicht: (2022)

Realization of Lie algebras and classifying spaces of crossed modules
von: Félix, Yves, et al.
Veröffentlicht: (2021)

Homotopy exponents of polyhedral products
von: Eldridge, Briony
Veröffentlicht: (2026)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

A concise proof of the stable model structure on symmetric spectra
von: Malkiewich, Cary, et al.
Veröffentlicht: (2024)

Homotopy commutativity in quasitoric manifolds
von: Hasui, Sho, et al.
Veröffentlicht: (2024)

On the bialgebra structure of the free loop homology
von: Saneblidze, Samson
Veröffentlicht: (2026)

Mackey functors for posets
von: Santiago, Guille Carrión, et al.
Veröffentlicht: (2023)

On sequential versions of various parametrized invariants
von: Daundkar, Navnath, et al.
Veröffentlicht: (2026)

Parametrized homotopic distance
von: Daundkar, Navnath, et al.
Veröffentlicht: (2025)

Globular subdivisions are dihomotopy equivalences
von: Gaucher, Philippe
Veröffentlicht: (2025)

Stable Homotopy Groups of Moore Spaces
von: Saihi, Inès
Veröffentlicht: (2024)

The algebraic structure of twisted topological Hochschild homology
von: Van Niel, Danika
Veröffentlicht: (2026)

The Szczarba map and the cubical cobar construction
von: Franz, Matthias
Veröffentlicht: (2025)

Genuine vs. naïve symmetric monoidal G-categories
von: Lenz, Tobias
Veröffentlicht: (2022)