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 […]
