Strict stability of extension types

Weinberger, Jonathan

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Preprint

Strict stability of extension types

MPG-Autoren

/persons/resource/persons297260

Weinberger, Jonathan
Max Planck Institute for Mathematics, Max Planck Society;

Externe Ressourcen

https://doi.org/10.48550/arXiv.2203.07194
(Preprint)

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

2203.07194v4
(Preprint), 473KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Weinberger, J. (submitted). Strict stability of extension types.

Zitierlink: https://hdl.handle.net/21.11116/0000-000F-C77C-6

Zusammenfassung

We show that the extension types occurring in Riehl--Shulman's work on synthetic (∞,1)-categories can be interpreted in the intended semantics in a way so that they are strictly stable under substitution. The splitting method used here is due to Voevodsky in 2009. It was later generalized by Lumsdaine-Warren to the method of local universes.