{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T22:30:06Z","timestamp":1775341806270,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T00:00:00Z","timestamp":1554422400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[2020,2]]},"DOI":"10.1007\/s10485-019-09565-x","type":"journal-article","created":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T16:14:00Z","timestamp":1554480840000},"page":"1-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Dynamical Systems and Sheaves"],"prefix":"10.1007","volume":"28","author":[{"given":"Patrick","family":"Schultz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David I.","family":"Spivak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1411-934X","authenticated-orcid":false,"given":"Christina","family":"Vasilakopoulou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,4,5]]},"reference":[{"key":"9565_CR1","doi-asserted-by":"crossref","unstructured":"Abramsky, S., Blute, R., Panangaden, P.: Nuclear and trace ideals in tensored \n$$\\ast $$\n\n\n\n*\n\n\n\n-categories. J. Pure Appl. Algebra, 143(1\u20133), 3\u201347 (1999) (special volume on the occasion of the 60th birthday of Professor Michael Barr (Montreal, QC, 1997))","DOI":"10.1016\/S0022-4049(98)00106-6"},{"issue":"1-3","key":"9565_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0022-4049(02)00126-3","volume":"175","author":"Ji\u0159\u0131\u0301 Ad\u00e1mek","year":"2002","unstructured":"Ad\u00e1mek, J., Borceux, F., Lack, S., Rosick\u00fd, J.: A classification of accessible categories. J. Pure Appl. Algebra 175(1\u20133), 7\u201330 (2002) (special volume celebrating the 70th birthday of Professor Max Kelly)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"2","key":"9565_CR3","first-page":"82","volume":"37","author":"P Ageron","year":"1996","unstructured":"Ageron, P.: Effective taxonomies and crossed taxonomies. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 37(2), 82\u201390 (1996)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"9565_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0058579","volume-title":"Exact categories. In: Exact Categories and Categories of Sheaves","author":"M Barr","year":"1971","unstructured":"Barr, M.: Exact categories. In: Exact Categories and Categories of Sheaves, vol. 236, pp. 1\u2013120. Springer, Berlin, Heidelberg (1971). \nhttps:\/\/doi.org\/10.1007\/BFb0058579"},{"key":"9565_CR5","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1006\/aima.2001.2056","volume":"169","author":"C Berger","year":"2002","unstructured":"Berger, C.: A cellular nerve for higher categories. Adv. Math. 169, 118\u2013175 (2002)","journal-title":"Adv. Math."},{"issue":"8","key":"9565_CR6","doi-asserted-by":"publisher","first-page":"2029","DOI":"10.1016\/j.jpaa.2012.02.039","volume":"216","author":"C Berger","year":"2012","unstructured":"Berger, C., Melli\u00e8s, P.-A., Weber, M.: Monads with arities and their associated theories. J. Pure Appl. Algebra 216(8), 2029\u20132048 (2012)","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9565_CR7","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1017\/S0960129599003023","volume":"10","author":"M Bunge","year":"2000","unstructured":"Bunge, M., Fiore, M.P.: Unique factorisation lifting functors and categories of linearly-controlled processes. Math. Struct. Comput. Sci. 10(2), 137\u2013163 (2000)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1","key":"9565_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1006\/aima.1997.1649","volume":"129","author":"B Day","year":"1997","unstructured":"Day, B., Street, R.: Monoidal bicategories and Hopf algebroids. Adv. Math. 129(1), 99\u2013157 (1997)","journal-title":"Adv. Math."},{"key":"9565_CR9","doi-asserted-by":"crossref","unstructured":"De Paiva, V.C.V.: The Dialectica Categories. Ph.D. thesis, University of Cambridge, UK (1990)","DOI":"10.1090\/conm\/092\/1003194"},{"key":"9565_CR10","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/3-540-44929-9_32","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"Marcelo P. Fiore","year":"2000","unstructured":"Fiore, M.P.: Fibred models of processes: discrete, continuous, and hybrid systems. In: Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, TCS \u201900, pp. 457\u2013473. Springer, Berlin (2000)"},{"key":"9565_CR11","unstructured":"Fong, B., Spivak, D.: Hypergraph Categories. \narXiv:1806.08304\n\n [math.CT] (2018)"},{"key":"9565_CR12","unstructured":"Fong, B.: The Algebra of Open and Interconnected Systems. Ph.D. thesis, University of Oxford (2016)"},{"key":"9565_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/j.entcs.2018.11.008","volume":"341","author":"J Hedges","year":"2018","unstructured":"Hedges, J.: Morphisms of open games. Electron. Notes Theor. Comput. Sci. 341, 151\u2013177 (2018)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"9565_CR14","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/aima.1999.1877","volume":"151","author":"C Hermida","year":"2000","unstructured":"Hermida, C.: Representable multicategories. Adv. Math. 151(2), 164\u2013225 (2000)","journal-title":"Adv. Math."},{"key":"9565_CR15","volume-title":"Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics","author":"B Jacobs","year":"1999","unstructured":"Jacobs, B.: Categorical Logic and Type Theory, Studies in Logic and the Foundations of Mathematics, vol. 141. North-Holland Publishing Co., Amsterdam (1999)"},{"issue":"1","key":"9565_CR16","first-page":"1","volume":"5","author":"P Johnstone","year":"1999","unstructured":"Johnstone, P.: A note on discrete Conduch\u00e9 fibrations. Theory Appl. Categ. 5(1), 1\u201311 (1999)","journal-title":"Theory Appl. Categ."},{"key":"9565_CR17","volume-title":"Sketches of an Elephant: A Topos Theory Compendium, Volume\u00a043 of Oxford Logic Guides","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T.: Sketches of an Elephant: A Topos Theory Compendium, Volume\u00a043 of Oxford Logic Guides. The Clarendon Press, New York (2002)"},{"issue":"1","key":"9565_CR18","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1006\/aima.1993.1055","volume":"102","author":"A Joyal","year":"1993","unstructured":"Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102(1), 20\u201378 (1993)","journal-title":"Adv. Math."},{"issue":"2","key":"9565_CR19","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/inco.1996.0057","volume":"127","author":"A Joyal","year":"1996","unstructured":"Joyal, A., Nielsen, M., Winskel, G.: Bisimulation from open maps. Inf. Computat. 127(2), 164\u2013185 (1996)","journal-title":"Inf. Computat."},{"issue":"3","key":"9565_CR20","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1017\/S0305004100074338","volume":"119","author":"A Joyal","year":"1996","unstructured":"Joyal, A., Street, R., Verity, D.: Traced monoidal categories. Math. Proc. Camb. Philos. Soc. 119(3), 447\u2013468 (1996)","journal-title":"Math. Proc. Camb. Philos. Soc."},{"issue":"63","key":"9565_CR21","first-page":"123","volume":"II","author":"P Katis","year":"2000","unstructured":"Katis, P., Sabadini, N., Walters, R.F.C.: On the algebra of systems with feedback and boundary. Rendiconti del Circolo Matematico di Palermo Serie II(63), 123\u2013156 (2000)","journal-title":"Rendiconti del Circolo Matematico di Palermo Serie"},{"issue":"3","key":"9565_CR22","first-page":"609","volume":"2011","author":"J Kock","year":"2011","unstructured":"Kock, J.: Polynomial functors and trees. Int. Math. Res. Not. 2011(3), 609\u2013673 (2011)","journal-title":"Int. Math. Res. Not."},{"key":"9565_CR23","first-page":"76","volume-title":"Lecture Notes in Mathematics","author":"Joachim Lambek","year":"1969","unstructured":"Lambek, J.: Deductive systems and categories. II. Standard constructions and closed categories. In: Category Theory, Homology Theory and their Applications, I (Battelle Institute Conference, Seattle, Wash., 1968, Vol. 1), pp. 76\u2013122. Springer, Berlin (1969)"},{"key":"9565_CR24","unstructured":"Lawvere, F.W.: State categories and response functors. Unpublished manuscript (1986)"},{"key":"9565_CR25","volume-title":"Introduction to Embedded Systems, A Cyber-Physical Systems Approach","author":"Edward A Lee","year":"2017","unstructured":"Lee, Edward A., Seshia, Sanjit A.: Introduction to Embedded Systems, A Cyber-Physical Systems Approach, 2nd edn. MIT Press, Cambridge (2017)","edition":"2"},{"key":"9565_CR26","unstructured":"Leinster, T.: Nerves of algebras. Talk at CT04, Vancouver (2004)"},{"key":"9565_CR27","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525896","volume-title":"Higher Operads, Higher Categories. Number 298 in London Mathematical Society Lecture Note Series","author":"T Leinster","year":"2004","unstructured":"Leinster, T.: Higher Operads, Higher Categories. Number 298 in London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge (2004)"},{"issue":"4","key":"9565_CR28","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.jpaa.2008.08.007","volume":"213","author":"M Markl","year":"2009","unstructured":"Markl, M., Merkulov, S., Shadrin, S.: Wheeled props, graph complexes and the master equation. J. Pure Appl. Algebra 213(4), 496\u2013535 (2009)","journal-title":"J. Pure Appl. Algebra"},{"issue":"8","key":"9565_CR29","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s002360050067","volume":"33","author":"R Milner","year":"1996","unstructured":"Milner, R.: Calculi for interaction. Acta Inform. 33(8), 707\u2013737 (1996)","journal-title":"Acta Inform."},{"key":"9565_CR30","unstructured":"Moeller, J., Vasilakopoulou, C.: Monoidal grothendieck construction. \narXiv:1809.00727\n\n (2018)"},{"key":"9565_CR31","unstructured":"Rupel, D., Spivak, D.I.: The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes CoRR. \narxiv:1307.6894\n\n (2013)"},{"key":"9565_CR32","series-title":"Progress in Computer Science and Applied Logic","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00704-1","volume-title":"Temporal Type Theory","author":"Patrick Schultz","year":"2019","unstructured":"Schultz, P., Spivak, D.I.: Temporal type theory: a topos-theoretic approach to systems and behavior. In: Progress in computer science and applied logic, vol. 29, p. 235. Birkh\u00e4user Basel (2019). \nhttps:\/\/doi.org\/10.1007\/978-3-030-00704-1\n\n (2017)"},{"key":"9565_CR33","doi-asserted-by":"crossref","unstructured":"Selinger, P.: First-order axioms for asynchrony. In: International Conference on Concurrency Theory, pp. 376\u2013390. Springer (1997)","DOI":"10.1007\/3-540-63141-0_26"},{"issue":"8","key":"9565_CR34","doi-asserted-by":"publisher","first-page":"2064","DOI":"10.1016\/j.jpaa.2016.10.009","volume":"221","author":"DI Spivak","year":"2017","unstructured":"Spivak, D.I., Schultz, P., Rupel, D.: String diagrams for traced and compact categories are oriented 1-cobordisms. J Pure Appl Algebra. 221(8), 2064\u20132110 (2017). \nhttps:\/\/doi.org\/10.1016\/j.jpaa.2016.10.009","journal-title":"J Pure Appl Algebra."},{"key":"9565_CR35","unstructured":"Spivak, D.I.: The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits. CoRR, \narXiv:1305.0297\n\n (2013)"},{"key":"9565_CR36","unstructured":"Spivak, D.I.: The steady states of coupled dynamical systems compose according to matrix arithmetic. arXiv preprint: \narXiv:1512.00802\n\n (2015)"},{"key":"9565_CR37","first-page":"755","volume":"31","author":"M Stay","year":"2016","unstructured":"Stay, M.: Compact closed bicategories. Theory Appl. Categ. 31, 755\u2013798 (2016)","journal-title":"Theory Appl. Categ."},{"key":"9565_CR38","unstructured":"Sztipanovits, J., Ying, S.: Strategic r&d opportunities for 21st century cyber-physical systems. Technical report, National Institute of Standards and Technology (2013)"},{"issue":"51","key":"9565_CR39","first-page":"1793","volume":"30","author":"D Vagner","year":"2015","unstructured":"Vagner, D., Spivak, D.I., Lerman, E.: Algebras of open dynamical systems on the operad of wiring diagrams. Theory Appl. Categ. 30(51), 1793\u20131822 (2015)","journal-title":"Theory Appl. Categ."},{"issue":"22","key":"9565_CR40","first-page":"665","volume":"18","author":"M Weber","year":"2007","unstructured":"Weber, M.: Familial 2-functors and parametric right adjoints. Theory Appl. Categ. 18(22), 665\u2013732 (2007)","journal-title":"Theory Appl. Categ."},{"key":"9565_CR41","volume-title":"Introduction to Mathematical Systems Theory: A Behavioral Approach","author":"JC Willems","year":"2013","unstructured":"Willems, J.C., Polderman, J.W.: Introduction to Mathematical Systems Theory: A Behavioral Approach, vol. 26. Springer, Berlin (2013)"},{"key":"9565_CR42","first-page":"325","volume-title":"Event Structures","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event Structures, pp. 325\u2013392. Springer, Berlin (1987)"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-019-09565-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10485-019-09565-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10485-019-09565-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T23:07:42Z","timestamp":1585955262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10485-019-09565-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,5]]},"references-count":42,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2020,2]]}},"alternative-id":["9565"],"URL":"https:\/\/doi.org\/10.1007\/s10485-019-09565-x","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4,5]]},"assertion":[{"value":"18 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 March 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}