Strict stability of extension types
Category Theory
2022-05-10 v4 Logic in Computer Science
Logic
Abstract
We show that the extension types occurring in Riehl--Shulman's work on synthetic -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.
Keywords
Cite
@article{arxiv.2203.07194,
title = {Strict stability of extension types},
author = {Jonathan Weinberger},
journal= {arXiv preprint arXiv:2203.07194},
year = {2022}
}
Comments
16 pages. This text is essentially Chapter 6 from author's PhD thesis arXiv:2202.13132. Addition to acknowledgments. Submitted, but comments welcome!