Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: The Interpretation Lifting Theorem for C-Systems
(Submitted on 5 Oct 2017 (v1), last revised 30 Nov 2021 (this version, v2))
Abstract: In this article we present a solution to a conjecture of Vladimir Voevodsky regarding C-systems. This conjecture provides, under some assumptions, a lift of a functor $M\colon \mathrm{CC} \rightarrow \mathcal{C}$, where $\mathrm{CC}$ is a C-system and $\mathcal{C}$ a category, to a morphism of C-systems $M'\colon \mathrm{CC} \rightarrow \mathrm{CC}(\widehat{\mathcal{C}},p_M)$. We explain the motivation behind this conjecture and introduce the required background material on C-systems. Finally, we give a proof of this conjecture.
Submission history
From: Anthony Bordg [view email][v1] Thu, 5 Oct 2017 14:01:21 GMT (9kb)
[v2] Tue, 30 Nov 2021 18:54:57 GMT (22kb)
Link back to: arXiv, form interface, contact.