UF IAS 2012 Archive Univalence

Redirected from "Adams operations are compatible with the Chern character".

Here are some resources on the Univalence Axiom.

Created on April 19, 2018 at 21:16:58 by Univalent foundations special year 2012