Vladimir Voevodsky Memorial Conference Topic: Univalent foundations and the equivalence principle Speaker: Benedikt Ahrens Affiliation: University of Birmingham Date: September 12, 2018 For more video please visit video.ias.edu
Very clear and informative introduction to univalent foundations. Understanding this field seems not to be so hard as it appears at the first look, you just need to know few new ways of thinking, which is very mind expanding.
a point with a property is a (x=l)line. force applied to the property of the line is a virtual circle , or a radius in motion(y=o). A radius in motion with force applied to the motion is a sphere or two radius(z=v) in motion. (x,y,z)=(l,o,v)= shape of symbol to store abstract information. (-1/12 : 1 : 1/12) = (H ori Z on N) between (l:o:v) : (v:o:l) = [(2/3+2/3) : (3/4+1/3)] = Z (90 degree) N HoriZonN process cycles result in [(H on Z) on N] or [N(on H on Z)]