Cover Image

On symmetries of spheres in univalent foundations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cagne, Pierre, Buchholtz, Ulrik, Kraus, Nicolai, Bezem, Marc
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Algebraic Topology 55P10 (Primary) 55U40, 03B38 (Secondary) F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Eilenberg-MacLane spaces and stabilisation in homotopy type theory
by: Wärn, David
Published: (2023)

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

Presentations of configuration categories
by: de Brito, Pedro Boavida, et al.
Published: (2023)

The configuration category of a covering space
by: de Brito, Pedro Boavida, et al.
Published: (2023)

The torus trick for configuration categories
by: de Brito, Pedro Boavida, et al.
Published: (2024)

Splitting of homotopy idempotents revisited
by: Dydak, Jerzy
Published: (2024)

Global model categories and topological André-Quillen cohomology
by: Lenz, Tobias, et al.
Published: (2023)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

On twisting functions in twisted cartesian products and twisted tensor products
by: Cai, Li
Published: (2025)

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

The Simplicial Model of Univalent Foundations (after Voevodsky)
by: Kapulkin, Chris, et al.
Published: (2012)

Action of automorphisms of pure braid groups on homotopy groups of two-sphere
by: Alekseev, Ilya, et al.
Published: (2021)

Clique complexes of multigraphs, edge inflations, and tournaplexes
by: Ayzenberg, Anton, et al.
Published: (2020)

Cyclic Segal Spaces
by: Bergner, Julia E., et al.
Published: (2024)

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

Homotopy exponents of polyhedral products
by: Eldridge, Briony
Published: (2026)

Bivariate topological complexity: a framework for coordinated motion planning
by: Calcines, Jose Manuel Garcia, et al.
Published: (2026)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

Equivariant algebraic models for relative self-equivalences and block diffeomorphisms
by: Berglund, Alexander, et al.
Published: (2025)

The stable cohomology of self-equivalences of connected sums of products of spheres
by: Stoll, Robin
Published: (2022)

A cubical model for $(\infty, n)$-categories
by: Campion, Tim, et al.
Published: (2020)

Algebraic models for classifying spaces of fibrations
by: Berglund, Alexander, et al.
Published: (2022)

The Szczarba map and the cubical cobar construction
by: Franz, Matthias
Published: (2025)

Homotopy reflectivity is equivalent to the weak Vopěnka principle
by: Casacuberta, Carles, et al.
Published: (2024)

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

Realizing orders in rational sphere product algebras with three generators
by: So, Tseleung, et al.
Published: (2025)

Rational characteristic classes of bundles with fibre a product of spheres
by: McGarry-Furriol, Jan
Published: (2026)

Genuine vs. naïve symmetric monoidal G-categories
by: Lenz, Tobias
Published: (2022)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

Explicit Acyclic Models and (Co)Chain Operations
by: Brumfiel, Greg, et al.
Published: (2023)

A modern perspective on rational homotopy theory
by: Chatzitheodoridis, Eleftherios
Published: (2025)

The Simplicial Loop Space of a Simplicial Complex
by: Lupton, Gregory, et al.
Published: (2025)

The topology of critical processes, I (Processes and Models)
by: Grandis, Marco
Published: (2023)

Sectional category of subgroup inclusions and sequential topological complexities of aspherical spaces as A-genus
by: Baro, Arturo Espinosa
Published: (2025)

Parametrized stability and the universal property of global spectra
by: Cnossen, Bastiaan, et al.
Published: (2023)

The Adams isomorphism revisited
by: Cnossen, Bastiaan, et al.
Published: (2023)

Partial parametrized presentability and the universal property of equivariant spectra
by: Cnossen, Bastiaan, et al.
Published: (2023)

Algebraic Wasserstein distances and stable homological invariants of data
by: Agerberg, Jens, et al.
Published: (2023)

$q$-Hodge complexes and refined $\operatorname{TC}^-$
by: Meyer, Samuel, et al.
Published: (2024)