solidot新版网站常见问题,请点击这里查看。

From functors between categories to homomorphisms of C-systems. (arXiv:1710.02028v1 [math.CT])

来源于:arXiv
We prove a theorem, motivated by a conjecture of Voevodsky on C-systems, that provides, under some assumptions, a lift of a functor with a C-system as domain and a category as codomain, to a homomorphism of C-systems. 查看全文>>