@article {113, title = {The C-systems defined by universe categories: presheaves}, journal = {Theory and Applications of Categories}, volume = {32}, year = {2017}, month = {01/2017}, pages = {53-112}, abstract = {

This paper was written to present the constructions that were originally introduced for the proof of functoriality of $(\Pi,\lambda)$ structures obtained from the $(P,\tilde{P})$ structures. In the process of writing up this proof it became clear that the main objects required for it -- the "almost representations" $\mu_n$ and $\tilde{\mu}_n$ of the presheaves\ $Ob_n$ and $\tilde{Ob}_n$ on the C-systems defined by locally cartesian closed universe categories with binary product structures and the lemmas describing the behavior of these "almost representations" with respect to the universe category functors, play important role in the general theory that is quite independent from the analysis of the $\Pi,\lambda,\beta,\eta$ system of inference rules. This led to the decision to present these constructions together with the important intermediate ones such as $Sig$ and $D_p$ in a separate paper. Keywords: Type theory, Contextual category, Universe category

}, url = {http://www.tac.mta.ca/tac/volumes/32/3/32-03abs.html}, author = {Voevodsky, Vladimir} } @article {109, title = {A C-system defined by a universe category}, journal = {Theory Appl. Categ.}, volume = {30}, year = {2015}, note = {

Prepublication versions in arXiv.

}, pages = {No. 37, 1181{\textendash}1215}, issn = {1201-561X}, url = {http://www.tac.mta.ca/tac/volumes/30/37/30-37abs.html}, author = {Voevodsky, Vladimir} } @article {42, title = {C-system of a module over a monad on sets}, journal = {arXiv 1407.3394, submitted}, year = {2014}, pages = {1{\textendash}20}, url = {http://arxiv.org/abs/1407.3394}, author = {Voevodsky, Vladimir} } @article {26, title = {Cancellation theorem}, journal = {Doc. Math.}, year = {2010}, pages = {671{\textendash}685}, issn = {1431-0635}, url = {http://www.math.uiuc.edu/documenta/vol-suslin/voevodsky.html}, author = {Voevodsky, Vladimir} } @inbook {61, title = {Cohomological theory of presheaves with transfers}, booktitle = {Cycles, transfers, and motivic homology theories}, series = {Ann. of Math. Stud.}, volume = {143}, year = {2000}, pages = {87{\textendash}137}, publisher = {Princeton Univ. Press, Princeton, NJ}, organization = {Princeton Univ. Press, Princeton, NJ}, url = {http://www.jstor.org/stable/j.ctt7tcnh}, author = {Voevodsky, Vladimir} } @article {93, title = {Categories and functors in mathematics}, journal = {Unpublished}, year = {1999}, pages = {1{\textendash}18}, url = {http://www.math.ias.edu/vladimir/files/wolf.pdf}, author = {Voevodsky, Vladimir} } @article {77, title = {Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results)}, journal = {Cahiers Topologie G{\'e}om. Diff{\'e}rentielle Cat{\'e}g.}, volume = {32}, year = {1991}, note = {

International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990)

}, pages = {11{\textendash}27}, issn = {0008-0004}, url = {https://eudml.org/doc/91468}, author = {Kapranov, M. M. and Voevodsky, V. A.} }