Operads for complex system design specification, analysis and synthesis

DOI10.1098/RSPA.2021.0099MaRDI QIDQ6985207zbMATH OpenFDO

Authors John D. Foley, Spencer Breiner, Eswaran Subrahmanian, John M. Dusel

Publication date 13 May 2025

Published in Proceedings of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1098/RSPA.2021.0099

zbMATH Keywords

applied category theoryautomated reasoningcomplex systemscompositionalityoperadssystem design

Mathematics Subject Classification ID

Operads (general) (18M60) Knowledge representation (68T30)

Cites work

• \textsf{Globular}: an online proof assistant for higher-dimensional rewriting
• A compositional framework for Markov processes
• A Compositional Framework for Passive Linear Networks
• A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras
• Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
• An Invitation to Applied Category Theory
• Backprop as functor. A compositional perspective on supervised learning
• Categorical approach to modelling and to coupling of models
• Categorical quantum mechanics
• Colored operads
• Compositional cyber-physical systems modeling
• Compositional game theory
• Compositional game theory with mixed strategies: probabilistic open games using a distributive law
• Concrete sentence spaces for compositional distributional models of meaning
• Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks
• Diagrammatic Semantics for Digital Circuits.
• DisCoPy: monoidal categories in Python
• General Theory of Natural Equivalences
• High-level methods for homotopy construction in associative \(n\)-categories
• scientific article; zbMATH DE number 6377175 (Why is no real title available?)
• scientific article; zbMATH DE number 3902554 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• scientific article; zbMATH DE number 7453977 (Why is no real title available?)
• scientific article; zbMATH DE number 7453971 (Why is no real title available?)
• scientific article; zbMATH DE number 5490314 (Why is no real title available?)
• Hypergraph categories
• Maximal Flow Through a Network
• Modeling and simulation fundamentals. Theoretical underpinnings and practical domains
• Monoidal computer. I: Basic computability by string diagrams
• Monoidal Grothendieck construction
• Nesting of dynamical systems and mode-dependent networks
• Network models
• Network models from Petri nets with catalysts
• Noncommutative network models
• Open Petri nets
• Open systems in classical mechanics
• Operads of wiring diagrams
• Optimal search for moving targets
• Optimising Clifford circuits with quantomatic
• Petri nets are monoids
• Props in Network Theory
• Quantomatic: a proof assistant for diagrammatic reasoning
• Representable multicategories
• Temporal type theory. A topos-theoretic approach to systems and behavior
• The chemical basis of morphogenesis
• What Is a Multi-modeling Language?
• Wiring diagrams as normal forms for computing in symmetric monoidal categories

Cited in

(2)

• Explanatory frameworks in complex change and resilience system modelling
• Meta-metamodelling of engineering systems by help of abstract mathematics

This page was built for publication: Operads for complex system design specification, analysis and synthesis

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