Tuesday, June 2, 2015

HoTT Sphere


If you want to know where spheres come from in HoTT, check out Andrej Bauer's terrific animation.
Posted by at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)