Dynamical systems and sheaves

DOI10.1007/s10485-019-09565-xzbMath1436.18006arXiv1609.08086OpenAlexW2962887654WikidataQ128094661 ScholiaQ128094661MaRDI QIDQ2303775

David I. Spivak, Patrick Schultz, Christina Vasilakopoulou

Publication date: 5 March 2020

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1609.08086

zbMATH Keywords

monoidal categoriesdynamical systemsoperadstopos theorysheaf theory

Mathematics Subject Classification ID

Topological dynamics (37B99) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Categories of machines, automata (18B20) Operads (general) (18M60) Monoidal categories, symmetric monoidal categories (18M05)

Related Items (13)

Monoidal Grothendieck construction ⋮ Tropical Time Series, Iterated-Sums Signatures, and Quasisymmetric Functions ⋮ Amplified steady state bifurcations in feedforward networks ⋮ The mathematical descriptions of truth and change ⋮ Open Diagrams via Coend Calculus ⋮ Double Categories of Open Dynamical Systems (Extended Abstract) ⋮ Cyber Kittens, or Some First Steps Towards Categorical Cybernetics ⋮ Open Dynamical Systems as Coalgebras for Polynomial Functors, with Application to Predictive Processing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Decomposition-space slices are toposes ⋮ Open systems in classical mechanics ⋮ THE LOGIC OF INFORMATION IN STATE SPACES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Monads with arities and their associated theories
• A cellular nerve for higher categories
• Wheeled PROPs, graph complexes and the master equation
• Categorical logic and type theory
• Braided tensor categories
• Monoidal bicategories and Hopf algebroids
• Representable multicategories
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Temporal type theory. A topos-theoretic approach to systems and behavior
• Nuclear and trace ideals in tensored \(^*\)-categories
• A classification of accessible categories
• Calculi for interaction
• Bisimulation from open maps
• Hypergraph categories
• Morphisms of open games
• Compact Closed Bicategories
• Polynomial Functors and Trees
• Monoidal Grothendieck construction
• Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
• Unique factorisation lifting functors and categories of linearly-controlled processes
• Traced monoidal categories
• First-order axioms for asynchrony

This page was built for publication: Dynamical systems and sheaves