Submitted by vladimir on Wed, 2016-01-13 10:48 Publication Type: Journal Article Authors: Voevodsky, Vladimir Source: arXiv 1601.02158, p.1--21 (2016) URL:http://arxiv.org/abs/1601.02158 Weight: 3