Buchumschlag

Eilenberg-MacLane spaces and stabilisation in homotopy type theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wärn, David
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Algebraic Topology Logic in Computer Science 55U35 (Primary) 03B38 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Synthetic Homotopy Theory
von: Wei, Yuhang
Veröffentlicht: (2024)

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)

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

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

The connective Morava K-theory of the second mod p Eilenberg-MacLane space
von: Davis, Donald M., et al.
Veröffentlicht: (2022)

The $H \underline{\mathbb{F}}_2$-homology of $C_2$-equivariant Eilenberg-MacLane spaces
von: Petersen, Sarah
Veröffentlicht: (2022)

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

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

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

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

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

Directed univalence in simplicial homotopy type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

Differential Geometry of Synthetic Schemes
von: Cherubini, Felix, et al.
Veröffentlicht: (2025)

Projective Space in Synthetic Algebraic Geometry
von: Cherubini, Felix, et al.
Veröffentlicht: (2024)

Naive homotopy theories in cartesian closed categories
von: Hernández, Enrique Ruiz, et al.
Veröffentlicht: (2024)

Examples and counterexamples of injective types
von: de Jong, Tom, et al.
Veröffentlicht: (2026)

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

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

The connective KO theory of the Eilenberg-MacLane space K(Z/2,2)
von: Davis, Donald M
Veröffentlicht: (2025)

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

The Yoneda embedding in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2025)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

Not OCA and products of Frechet spaces
von: Dow, Alan
Veröffentlicht: (2025)

A cubical model for $(\infty, n)$-categories
von: Campion, Tim, et al.
Veröffentlicht: (2020)

First-order homotopical logic
von: Helfer, Joseph
Veröffentlicht: (2019)

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

Towards a theory of natural directed paths
von: Gaucher, Philippe
Veröffentlicht: (2023)

The connective KO-theory of the Eilenberg-MacLane space K(Z_2,2), I: the E_2 page
von: Davis, Donald M, et al.
Veröffentlicht: (2024)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Fibrations of classifying spaces in the simplicial setting
von: Franz, Matthias
Veröffentlicht: (2024)

Game semantics for the constructive $μ$-calculus
von: Pacheco, Leonardo
Veröffentlicht: (2023)

A modern perspective on rational homotopy theory
von: Chatzitheodoridis, Eleftherios
Veröffentlicht: (2025)

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

Apartness relations between propositions
von: Kocsis, Zoltan A.
Veröffentlicht: (2022)

The Simplicial Loop Space of a Simplicial Complex
von: Lupton, Gregory, et al.
Veröffentlicht: (2025)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Unthreadability with Small Conditions
von: Levine, Maxwell
Veröffentlicht: (2022)

Explicit Acyclic Models and (Co)Chain Operations
von: Brumfiel, Greg, et al.
Veröffentlicht: (2023)

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