Nearby in the stack

C-systems defined by universe categories: presheaves · arXivDesk

1706.03620Jun 12, 2017The paper introduces and studies "canonical" presheaves on C-systems defined by universe categories. It is the second of the three papers into which the preprint "Products of families of types in the C-systems defined by a universe category" evolved during publication. The paper is published in Theory and Applications of Categories

C-systems defined by universe categories: presheaves

Vladimir Voevodsky

Category Theory

arXiv PDF

Abstract

The main result of this paper may be stated as a construction of "almost representations" for the canonical presheaves of object extensions of length n on the C-systems defined by locally cartesian closed universe categories with binary product structures and the study of the behavior of these "almost representations" with respect to the universe category functors. In addition, we study a number of constructions on presheaves on C-systems and on universe categories that are used in the proofs of our main results, but are expected to have other applications as well.

Briefing

What this paper is actually doing

Socratic margin

Ask the abstract

Questions are grounded in the title and abstract. If the PDF is required, arXivDesk will say so.