You are seeing Ask web results for sheaf theory because there was not a match on Dictionary.com.
|
Sheaf (mathematics) - Wikipedia, the free encyclopedia
|
|
Pages in category "Sheaf theory" ... Coherent sheaf ... Presheaf (category theory)
|
||
|
Amazon.com: Sheaf Theory (Graduate Texts in Mathematics)
|
||
|
Sheaf theory provides a means of discussing many different kinds of geometric objects in respect of the connection between their local and global properties.
|
||
|
Topos theory permits one to apply this same idea to logic, and to consider continuously variable sets (sheaves). In this expository paper, such applications are explained to the non-specialist. Some recent results are mentioned, ... Continuity and Logical Completeness: An application of sheaf theory and topoi (2000)
|
||
|
Sheaf theory for stacks in manifolds and twisted cohomology for S¹–gerbes ... In this paper we give a sheaf theory interpretation of the twisted cohomology of manifolds. To this end we develop a sheaf theory on smooth stacks.
|
||
|
However sheaf theory is best described by looking at its applications, one of which is the Serre spectral sequence for a topological fibration. In the case where the cohomology of the fiber is not a trivial bundle over the base, sheaf cohomology is required to make sense of the resulting cohomology theory.
|
||
|
Awodey, Steve (2000) Continuity and logical completeness: an application of sheaf theory and topoi ... Keywords: topos, topoi, sheaf theory, sheaves, category theory, categorical logic, logical completeness, higher-order logic, type theory...
|
||
|
Algebra Research Symposium on Applications of Sheaf Theory to Logic - Leia e escreva críticas literárias ... Applications of Sheaves: Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9-21, 1977 (Lecture Notes in Mathematics Vol 753) ;
|
||
|
In this talk we build up the first steps of the theory of "generalized ideals" and present the new computation methods for the tasks mentioned above.
|
