Constant sheaf - PDFSEARCH.IO - Document Search Engine

Constant sheaf
Results: 5

#	Item
1	Summary of TLA+ Module-Level Constructs The Constant Operators Miscellaneous Constructs Action Operators Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2016-07-03 10:25:40 Formal methods Binary operations Operator theory D-module Sheaf theory Exponentiation TLA+ Operator Differential operator Vienna Development Method
2	On weak constant domain principle in the Kripke sheaf semantics Dmitrij Skvortsov? All-Russian Institute of Scientific and Technical Information, VINITI, Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-18 14:28:46 Logic Mathematical logic Abstraction Predicate logic Model theory Philosophical logic Modal logic Kripke semantics First-order logic Sheaf FO Well-formed formula
3	SHEAVES ON SPACES Contents 1. Introduction 2. Basic notions 3. Presheaves Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-15 15:08:27 Topology Sheaf Gluing axiom Stalk Grothendieck topology Constant sheaf Functor Initial and terminal objects Presheaf Category theory Abstract algebra Sheaf theory
4	FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 43 AND 44 RAVI VAKIL C ONTENTS 1. Flat implies constant Euler characteristic Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-06-28 15:31:19 Algebraic geometry Algebraic topology Homological algebra Projective geometry Vector bundles Flat morphism Sheaf Projective space Ample line bundle Abstract algebra Geometry Algebra
5	A Constructive Model of Uniform Continuity Chuangjie Xu and Mart´ın Escard´o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-04-11 07:43:41 Continuous function Uniform continuity Sheaf Coherent topology Discrete space Grothendieck topology Locally constant function Topological space Space Topology Mathematics General topology