@article {104,
	title = {Products of families of types in the C-systems defined by a universe category},
	journal = {arXiv 1503.07072, submitted},
	year = {2015},
	pages = {1{\textendash}30},
	url = {http://arxiv.org/abs/1503.07072},
	author = {Voevodsky, Vladimir}
}