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
