Strict stability of extension types

Weinberger, Jonathan

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Preprint

Strict stability of extension types

MPS-Authors

/persons/resource/persons297260

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

External Resource

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

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

2203.07194v4
(Preprint), 473KB

Supplementary Material (public)

There is no public supplementary material available

Citation

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

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

Abstract

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.