Subobject Classifier | Bartosz Milewski's Programming Cafe
Proviously Sieves and Sheaves. We have seen how topology can be defined by working with sets of continuous functions over coverages. Categorically speaking, a coverage is a special case of a sieve,…| Bartosz Milewski's Programming Cafe
