# 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)*