Previously: Sheaves as Virtual Objects. In order to define a sheaf, we have to start with coverage. A coverage defines, for every object , a family of covers that satisfy the sub-coverage conditions. Granted, we can express coverage using objects and arrows, but it would be much nicer if we could use the language of […]| Bartosz Milewski's Programming Cafe
Previously: Sheaves and Topology. In our quest to rewrite topology using the language of category theory we introduced the category of open sets with set inclusions as morphisms. But when we needed…| Bartosz Milewski's Programming Cafe