authenticationcategory theorypresheavesnon-interferencesheavessitesievestopos theorywell structured site
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
Cites work
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)