Sheaf tools for computation

DOI10.1016/J.AMC.2005.12.069MaRDI QIDQ870127zbMATH OpenOpenAlexFDO

Authors Elena Şendroiu

Publication date 12 March 2007

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2005.12.069

zbMATH Keywords

authenticationcategory theorypresheavesnon-interferencesheavessitesievestopos theorywell structured site

Mathematics Subject Classification ID

Definitions and generalizations in theory of categories (18A05) Topoi (18B25) Grothendieck topologies and Grothendieck topoi (18F10) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Sheaf algorithms
• Sheaf semantics for concurrent interacting objects
• Sheaves and Structures of Transition Systems
• Cohomology of computable sheaves
• Sheaves and sheafification on Q-sites

Cites work

• scientific article; zbMATH DE number 193320 (Why is no real title available?)
• On the role of description
• Sheaf semantics for concurrent interacting objects
• Sheaves in geometry and logic: a first introduction to topos theory

Cited in

(2)

• Sheaf algorithms
• Sheaf-theoretic investigation of CIP-method

This page was built for publication: Sheaf tools for computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q870127)