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 int…| Bartosz Milewski's Programming Cafe
Previously: Covering Sieves. We’ve seen an intuitive description of presheaves as virtual objects. We can use the same trick to visualize natural transformations. A natural transformation can be drawn as a virtual arrow between two virtual objects corresponding to two presheaves and . Indeed, for every , seen as an arrow , we get an […]| Bartosz Milewski's Programming Cafe
