Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Lamiaux, Thomas"'
In Homotopy Type Theory, cohomology theories are studied synthetically using higher inductive types and univalence. This paper extends previous developments by providing the first fully mechanized definition of cohomology rings. These rings may be de
Externí odkaz:
http://arxiv.org/abs/2212.04182
