Here is a list of articles in the category Sheaf theory of the Computing portal that unifies foundations of mathematics and computations using computers.
This category has the following 2 subcategories, out of 2 total.
Pages in category "Sheaf theory"
The following 58 pages are in this category, out of 58 total.
- Sheaf (mathematics) (computing)
- Flat topology (computing)
- Hyperfunction (computing)
- Kripke semantics (computing)
- Verdier duality (computing)
- ∞-topos (computing)