Explore >> Select a destination
|
You are here 
|
danilafe.com | ||
| | | | |
www.dawn-lang.org
|
|
| | | | | ||
| | | | |
kuruczgy.com
|
|
| | | | | ||
| | | | |
adam.chlipala.net
|
|
| | | | | ||
| | | | |
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... | ||
