Computer Vision
Homotopy Type Theory for Sewn Quilts: A Creative Intersection
Introduction An intriguing branch of mathematics that combines computer technology, logic and topology is called homotopy type theory, or HoTT....