This is good stuff. One really cool use of sheaf theory is being able to predict race conditions between 2 states in switching electrical circuits by showing H_

This is good stuff. One really cool use of sheaf theory is being able to predict race conditions between 2 states in switching electrical circuits by showing H_1 ("line-like", if H_0 is "point-like") cohomology isomorphic (? not sure if that's the right term) to Z_2: https://www.drmichaelrobinson.net/sheaftutorial/20150826_tutorial_3.pdf https://www.drmichaelrobinson.net/sheaftutorial/20150826_tut... (slide 29)