A C-system defined by a universe category | Vladimir Voevodsky

Submitted by vladimir on Tue, 2015-12-08 18:39

Publication Type:

Journal Article

Authors:

Voevodsky, Vladimir

Source:

Theory Appl. Categ., Volume 30, p.No. 37, 1181–1215 (2015)

URL:

http://www.tac.mta.ca/tac/volumes/30/37/30-37abs.html

Notes:

<p>Prepublication versions in <a href="http://arxiv.org/abs/1409.7925">arXiv</a>.</p>

Files:

Cofauniverse_published.pdf

MR Class:

18Cxx (03G30)

MR Number:

3402489

Weight:

15