Submitted by vladimir on Sun, 2015-03-08 11:56 Publication Type: Journal Article Authors: Voevodsky, Vladimir Source: arXiv 1407.3394, submitted, p.1–20 (2014) URL:http://arxiv.org/abs/1407.3394