Explore >> Select a destination
|
You are here 
|
alexn.org | ||
| | | | |
nikhilism.com
|
|
| | | | | ||
| | | | |
gilmi.me
|
|
| | | | | ?m.me - The bottom of the Haskell Pyramid | |
| | | | |
rachelcarmena.github.io
|
|
| | | | | Some characteristics of functional programming | |
| | | | |
bartoszmilewski.com
|
|
| | | 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, which is defined as a subfunctor of the hom-functor $latex C(-, a)$. We'd like to characterize the relationship between a functor and its... | ||
