Sheaf tools for computation

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

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)

Cites Work

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

Cited In (1)

• Sheaf-theoretic investigation of CIP-method

   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 👍 👎

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)