solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看2151次
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. 查看全文>>