We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CT
< prev | next >
new | recent | 2203

Change to browse by:

cs
cs.LO
math
math.LO

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Category Theory

Title: Strict stability of extension types

Authors: Jonathan Weinberger
(Submitted on 14 Mar 2022 (v1), last revised 7 May 2022 (this version, v4))
Abstract: We show that the extension types occurring in Riehl--Shulman's work on synthetic $(\infty,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.
Comments: 16 pages. This text is essentially Chapter 6 from author's PhD thesis arXiv:2202.13132. Addition to acknowledgments. Submitted, but comments welcome!
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)
MSC classes: 03B38 (Primary), 03G30, 18N45, 18N50, 18N60, 55U35 (Secondary)
ACM classes: F.4.1
Report number: MPIM-Bonn-2022
Cite as: arXiv:2203.07194 [math.CT]
  (or arXiv:2203.07194v4 [math.CT] for this version)

Submission history

From: Jonathan Weinberger [view email]
[v1] Mon, 14 Mar 2022 15:34:19 GMT (39kb,D)
[v2] Tue, 22 Mar 2022 10:48:53 GMT (39kb,D)
[v3] Thu, 31 Mar 2022 00:27:31 GMT (39kb,D)
[v4] Sat, 7 May 2022 12:09:16 GMT (24kb,D)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.