Motivic cohomology and univalent foundations

Statement

Voevodsky proved motivic Milnor conjectures and later championed homotopy type theory / univalent foundations.

Formula

H^{p,q}_M(X)

Equation

A¹-homotopy

Source

Canonical lineament aligned with TANAAKK IAS Faculty Emeriti index (2026); consult specialist monographs for full proofs.

Domains

mathematics, logic

People

• Vladimir Voevodsky

Related

• Theorem: Motivic cohomology and univalent foundations
• Proof: Motivic cohomology and univalent foundations

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People