%0 Journal Article %1 voevodsky2014csystem-universe %A Voevodsky, Vladimir %D 2014 %K C-system HoTT universe %T A C-system defined by a universe in a category %U http://arxiv.org/abs/1409.7925 %X This is the third paper in a series started in 1406.7413. In it we construct, in a functorial way, a C-system $CC(C,p)$ starting from a category $\cal C$ together with a morphism $p:UU$ assuming that $\cal C$ has a final object and pull-backs of $p$.

@article{voevodsky2014csystem-universe, abstract = {This is the third paper in a series started in 1406.7413. In it we construct, in a functorial way, a C-system $CC({\cal C},p)$ starting from a category $\cal C$ together with a morphism $p:\widetilde{U}\rightarrow U$ assuming that $\cal C$ has a final object and pull-backs of $p$.}, added-at = {2014-11-17T13:16:50.000+0100}, author = {Voevodsky, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/23c0212ca2e347e541bb3cf0a47cc4b32/t.uemura}, description = {A C-system defined by a universe in a category}, interhash = {f9002d7cf4742c1add598f31395bb0d7}, intrahash = {3c0212ca2e347e541bb3cf0a47cc4b32}, keywords = {C-system HoTT universe}, note = {cite \href{http://arxiv.org/abs/1409.7925}{arxiv:1409.7925}}, timestamp = {2014-11-17T13:20:23.000+0100}, title = {A C-system defined by a universe in a category}, url = {http://arxiv.org/abs/1409.7925}, year = 2014 }