Category:Sheaf theory
![]() | Computing portal |
Here is a list of articles in the category Sheaf theory of the Computing portal that unifies foundations of mathematics and computations using computers.
Subcategories
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)
A
- Abstract differential geometry (computing)
- Algebraic analysis (computing)
B
- Base change theorems (computing)
- Borel–Moore homology (computing)
C
- Coherent duality (computing)
- Coherent sheaf (computing)
- Coherent sheaf cohomology (computing)
- Constant sheaf (computing)
- Constructible sheaf (computing)
- Cosheaf (computing)
- Cousin problems (computing)
D
- D-module (computing)
- De Rham–Weil theorem (computing)
- Deligne cohomology (computing)
- Direct image functor (computing)
- Direct image with compact support (computing)
E
- Étale topos (computing)
- Exceptional inverse image functor (computing)
- Exponential sheaf sequence (computing)
F
- Flat topology (computing)
G
- Gabriel–Rosenberg reconstruction theorem (computing)
- Gerbe (computing)
- Germ (mathematics) (computing)
- Godement resolution (computing)
- Grothendieck topology (computing)
H
- Hyperfunction (computing)
I
- Ideal sheaf (computing)
- Image functors for sheaves (computing)
- Injective sheaf (computing)
- Inverse image functor (computing)
- Invertible sheaf (computing)
K
- Kripke semantics (computing)
L
- Leray cover (computing)
- Leray spectral sequence (computing)
- Leray's theorem (computing)
- Limit and colimit of presheaves (computing)
- Local cohomology (computing)
- Local system (computing)
- Locally constant function (computing)
P
- Presheaf (category theory) (computing)
- Presheaf with transfers (computing)
R
- Reflexive sheaf (computing)
- Restriction (mathematics) (computing)
- Ringed space (computing)
- Ringed topos (computing)
S
- Sheaf cohomology (computing)
- Sheaf of algebras (computing)
- Sheaf of logarithmic differential forms (computing)
- Sheaf of modules (computing)
- Sheaf on an algebraic stack (computing)
- Six operations (computing)
- Spencer cohomology (computing)
- Stalk (sheaf) (computing)
T
- Topos (computing)
- Torsion sheaf (computing)
V
- Verdier duality (computing)
∞
- ∞-topos (computing)