Previously: Coverages and Sites The definition of a sheaf is rather complex and involves several layers of abstraction. To help us navigate this maze we can use some useful intuitions. One such intuition is to view objects in our category as some kind of sets (in particular, open sets, when we talk about topology), and […]| Bartosz Milewski's Programming Cafe
Previously: Presheaves and Topology. In all branches of science we sooner or later encounter the global vs. local duality. Topology is no different. In topology we have the global definition of con…| Bartosz Milewski's Programming Cafe