Sheaf tools for computation

DOI10.1016/J.AMC.2005.12.069zbMATH Open1130.18007OpenAlexW2075993739MaRDI QIDQ870127FDOQ870127

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

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

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)

Cites Work

• Sheaves in geometry and logic: a first introduction to topos theory
• Title not available (Why is that?)
• Sheaf semantics for concurrent interacting objects
• On the role of description

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)