Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Categorical systems theory is category theory (and 2-category theory) for the conceptualization and description of dynamical systems.
Patrick Schultz, David I. Spivak, Christina Vasilakopoulou, Dynamical Systems and Sheaves, Appl Categor Struct 28 (2020) 1–57 [arXiv:1609.08086, doi:10.1007/s10485-019-09565-x]
David Jaz Myers, Double Categories of Open Dynamical Systems, EPTCS 333 (2021) 154-167 [arXiv:2005.05956, doi:10.4204/EPTCS.333.11]
Monographs:
David Spivak, Nelson Niu, Polynomial Functors: A General Theory of Interaction [webpage, pdf]
(via polynomial functors)
David Jaz Myers, Categorical systems theory, book project [github, pdf]
Exposition:
David Jaz Myers, Categorical systems theory, Topos Institute Blog (Nov 2021)
David Jaz Myers, Double Categories of Dynamical Systems (2020) [pdf]
Last revised on April 17, 2023 at 11:52:45. See the history of this page for a list of all contributions to it.