An MSP101 talk about sheaf theory, covering cohomology and logical applications. There's also an hint of a system-theoretic interpretation I'm working on.
An MSP101 talk about sheaf theory, covering cohomology and logical applications. There's also an hint of a system-theoretic interpretation I'm working on.