{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T21:55:16Z","timestamp":1742939716580,"version":"3.40.3"},"publisher-location":"Cham","reference-count":136,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031664373"},{"type":"electronic","value":"9783031664380"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-66438-0_4","type":"book-chapter","created":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:03:08Z","timestamp":1721890988000},"page":"65-92","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Automata and\u00a0Coalgebras in\u00a0Categories of\u00a0Species"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3052-465X","authenticated-orcid":false,"given":"Fosco","family":"Loregian","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,26]]},"reference":[{"key":"4_CR1","unstructured":"Ad\u00e1mek, J.: Free algebras and automata realizations in the language of categories. Commentationes Mathematicae Universitatis Carolinae 015(4), 589\u2013602 (1974). http:\/\/eudml.org\/doc\/16649"},{"issue":"11","key":"4_CR2","first-page":"191","volume":"21","author":"J Ad\u00e1mek","year":"2008","unstructured":"Ad\u00e1mek, J., Velebil, J.: Analytic functors and weak pullbacks. Theory Appl. Categ. 21(11), 191\u2013209 (2008)","journal-title":"Theory Appl. Categ."},{"key":"4_CR3","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and Algebras in Categories. Kluwer, Boston (1990)"},{"key":"4_CR4","unstructured":"Aguiar, M., Mahajan, S.: Monoidal Functors, Species and Hopf Algebras. CRM Monograph Series. American Mathematical Society, Providence (2010)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/3-540-07142-3_61","volume-title":"Category Theory Applied to Computation and Control","author":"MA Arbib","year":"1975","unstructured":"Arbib, M.A., Manes, E.G.: A Categorist\u2019s view of automata and systems. In: Manes, E.G. (ed.) Category Theory Applied to Computation and Control. LNCS, vol. 25, pp. 51\u201364. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07142-3_61"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/3-540-07142-3_66","volume-title":"Category Theory Applied to Computation and Control","author":"ES Bainbridge","year":"1975","unstructured":"Bainbridge, E.S.: Addressed machines and duality. In: Manes, E.G. (ed.) Category Theory Applied to Computation and Control. LNCS, vol. 25, pp. 93\u201398. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07142-3_66"},{"key":"4_CR7","unstructured":"Bainbridge, E.: A unified minimal realization theory, with duality, for machines in a hyperdoctrine. Technical report. Computer and Communication Sciences Department, University of Michigan"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, New York (1985). http:\/\/www.tac.mta.ca\/tac\/reprints\/articles\/12\/tr12abs.html","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Barr, M.: $$\\ast $$-Autonomous Categories. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/bfb0064579","DOI":"10.1007\/bfb0064579"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Bergeron, F.: Une combinatoire du pl\u00e9thysme 46(2), 291\u2013305. https:\/\/doi.org\/10.1016\/0097-3165(87)90007-0","DOI":"10.1016\/0097-3165(87)90007-0"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"Bergeron, F., Labelle, G., Leroux, P.: Combinatorial Species and Tree-Like Structures. No.\u00a067 in Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1998). https:\/\/doi.org\/10.1017\/CBO9781107325913","DOI":"10.1017\/CBO9781107325913"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1016\/S0195-6698(13)80035-2","volume":"11","author":"F Bergeron","year":"1990","unstructured":"Bergeron, F., Reutenauer, C.: Combinatorial resolution of systems of differential equations III: a special class of differentially algebraic series. Eur. J. Comb. 11, 501\u2013512 (1990). https:\/\/doi.org\/10.1016\/S0195-6698(13)80035-2","journal-title":"Eur. J. Comb."},{"key":"4_CR13","unstructured":"Betti, R., Kasangian, S.: A quasi-universal realization of automata. Universit\u00e0 degli Studi di Trieste. Dipartimento di Scienze Matematiche"},{"key":"4_CR14","unstructured":"Betti, R., Kasangian, S.: Una propriet\u00e0 del comportamento degli automi completi. Universit\u00e0 degli Studi di Trieste. Dipartimento di Scienze Matematiche"},{"key":"4_CR15","unstructured":"Boccali, G., Femi\u0107, B., Laretto, A., Loregian, F., Luneia, S.: The semibicategory of Moore automata (2023)"},{"key":"4_CR16","doi-asserted-by":"publisher","unstructured":"Boccali, G., Laretto, A., Loregian, F., Luneia, S.: Bicategories of automata, automata in bicategories. In: Staton, S., Vasilakopoulou, C. (eds.) Proceedings of the Sixth International Conference on Applied Category Theory 2023, University of Maryland, 31 July - 4 August 2023. Electronic Proceedings in Theoretical Computer Science, vol.\u00a0397, pp. 1\u201319. Open Publishing Association (2023). https:\/\/doi.org\/10.4204\/EPTCS.397.1","DOI":"10.4204\/EPTCS.397.1"},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Bonetti, F., Rota, G., Senato, D., Venezia, A.M.: On the foundation of combinatorial theory X. A categorical setting for symmetric functions. Stud. Appl. Math. 86(1), 1\u201329 (1992). https:\/\/doi.org\/10.1002\/sapm19928611","DOI":"10.1002\/sapm19928611"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Borceux, F.: Handbook of Categorical Algebra 2. (Categories and Structures), Encyclopedia of Mathematics and Its Applications, vol.\u00a051. Cambridge University Press, Cambridge (1994). https:\/\/doi.org\/10.1017\/cbo9780511525858","DOI":"10.1017\/cbo9780511525858"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Cayley, A.: A Theorem on Trees, vol.\u00a023, pp. 376\u2013378. Cambridge University Press (1889). https:\/\/doi.org\/10.1017\/CBO9780511703799.010","DOI":"10.1017\/CBO9780511703799.010"},{"issue":"1\u20133","key":"4_CR20","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0012-365x(93)90287-4","volume":"122","author":"W Chen","year":"1993","unstructured":"Chen, W.: The theory of compositionals. Discret. Math. 122(1\u20133), 59\u201387 (1993). https:\/\/doi.org\/10.1016\/0012-365x(93)90287-4","journal-title":"Discret. Math."},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Clementino, M.M., Tholen, W.: Metric, topology and multicategory: a common approach 179(1), 13\u201347. http:\/\/www.math.yorku.ca\/Who\/Faculty\/Tholen\/MatV.pdf","DOI":"10.1016\/S0022-4049(02)00246-3"},{"key":"4_CR22","doi-asserted-by":"publisher","unstructured":"Curien, P.: Operads, clones, and distributive laws. In: Operads and Universal Algebra, pp. 25\u201349. World Scientific (2012). https:\/\/doi.org\/10.1142\/9789814365123_0002","DOI":"10.1142\/9789814365123_0002"},{"issue":"5","key":"4_CR23","first-page":"118","volume":"25","author":"BJ Day","year":"2011","unstructured":"Day, B.J.: Monoidal functor categories and graphic Fourier transforms. Theory Appl. Categ. 25(5), 118\u2013141 (2011)","journal-title":"Theory Appl. Categ."},{"key":"4_CR24","doi-asserted-by":"publisher","unstructured":"Doberkat, E.E.: Stochastic Relations: Foundations for Markov Transition Systems. Chapman and Hall\/CRC (2007). https:\/\/doi.org\/10.1201\/9781584889427","DOI":"10.1201\/9781584889427"},{"key":"4_CR25","doi-asserted-by":"publisher","unstructured":"Ehrig, H., Kiermeier, K.D., Kreowski, H.J., K\u00fchnel, W.: Universal theory of automata. A categorical approach. https:\/\/doi.org\/10.1007\/978-3-322-96644-5","DOI":"10.1007\/978-3-322-96644-5"},{"key":"4_CR26","doi-asserted-by":"publisher","unstructured":"Eklund, P., Garci\u00e1, J.G., H\u00f6hle, U., Kortelainen, J.: Semigroups in Complete Lattices. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-78948-4","DOI":"10.1007\/978-3-319-78948-4"},{"key":"4_CR27","volume-title":"The Classical Electromagnetic Field. Dover Books on Physics","author":"L Eyges","year":"1980","unstructured":"Eyges, L.: The Classical Electromagnetic Field. Dover Books on Physics. Dover Publications, Mineola (1980)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Fiore, T.M.: Pseudo limits, biadjoints, and pseudo algebras: categorical foundations of conformal field theory. Mem. Amer. Math. Soc. 182(860), x+171 (2006)","DOI":"10.1090\/memo\/0860"},{"key":"4_CR29","unstructured":"Folland, G.B.: Fourier Analysis and Its Applications, vol.\u00a04. American Mathematical Society (2009)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Fresse, B.: Modules Over Operads and Functors. Lecture Notes in Mathematics, vol.\u00a01967. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-89056-0","DOI":"10.1007\/978-3-540-89056-0"},{"key":"4_CR31","unstructured":"Fritz, T.: Convex spaces I: definition and examples (2015)"},{"key":"4_CR32","doi-asserted-by":"publisher","unstructured":"Gambino, N., Joyal, A.: On operads, bimodules and analytic functors (2017). https:\/\/doi.org\/10.1090\/memo\/1184","DOI":"10.1090\/memo\/1184"},{"key":"4_CR33","unstructured":"Gambino, N., Garner, R., Vasilakopoulou, C.: Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences (2022)"},{"issue":"5","key":"4_CR34","doi-asserted-by":"publisher","first-page":"1707","DOI":"10.1016\/j.jpaa.2015.09.003","volume":"220","author":"R Garner","year":"2016","unstructured":"Garner, R., Franco, I.L.: Commutativity. J. Pure Appl. Algebra 220(5), 1707\u20131751 (2016). https:\/\/doi.org\/10.1016\/j.jpaa.2015.09.003","journal-title":"J. Pure Appl. Algebra"},{"key":"4_CR35","volume-title":"Generalized Functions","author":"IM Gel\u2019fand","year":"1968","unstructured":"Gel\u2019fand, I.M., Shilov, G.E.: Generalized Functions, vol. I. Academic Press Inc, New York (1968)"},{"issue":"1","key":"4_CR36","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/a:1000245600345","volume":"110","author":"E Getzler","year":"1998","unstructured":"Getzler, E., Kapranov, M.M.: Modular operads. Compos. Math. 110(1), 65\u2013125 (1998). https:\/\/doi.org\/10.1023\/a:1000245600345","journal-title":"Compos. Math."},{"key":"4_CR37","doi-asserted-by":"publisher","unstructured":"Getzler, E.: Operads revisited. In: Algebra, Arithmetic, and Geometry, Progr. Math., vol.\u00a0269, pp. 675\u2013698. Birkh\u00e4user Boston, Inc., Boston (2009). https:\/\/doi.org\/10.1007\/978-0-8176-4745-2_16. http:\/\/dx.doi.org\/10.1007\/978-0-8176-4745-2_16","DOI":"10.1007\/978-0-8176-4745-2_16"},{"key":"4_CR38","unstructured":"Getzler, E., Jones, J.: Operads, homotopy algebra and iterated integrals for double loop spaces. arXiv preprint hep-th\/9403055, pp. 1\u201370 (1994)"},{"key":"4_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-48320-9_3","volume-title":"CONCUR\u201999 Concurrency Theory","author":"RJ Glabbeek","year":"1999","unstructured":"Glabbeek, R.J.: Petri Nets, configuration structures and higher dimensional automata. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 21\u201327. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48320-9_3"},{"key":"4_CR40","doi-asserted-by":"publisher","unstructured":"Glendinning, P.: Stability, Instability and Chaos. An Introduction to the Theory of Nonlinear Differential Equations. Cambridge Texts in Applied Mathematics. CUP (1994). https:\/\/doi.org\/10.1017\/CBO9780511626296","DOI":"10.1017\/CBO9780511626296"},{"key":"4_CR41","doi-asserted-by":"publisher","unstructured":"Goerss, P., Jardine, J.: Simplicial Homotopy Theory, Modern Birkh\u00e4user Classics, vol.\u00a0174. Birkh\u00e4user Verlag, Basel (2009). https:\/\/doi.org\/10.1007\/978-3-0346-0189-4, reprint of the 1999 edition [MR1711612]","DOI":"10.1007\/978-3-0346-0189-4"},{"key":"4_CR42","doi-asserted-by":"publisher","unstructured":"Goguen, J.: Minimal realization of machines in closed categories 78, 777\u2013783. https:\/\/doi.org\/10.1090\/S0002-9904-1972-13032-5","DOI":"10.1090\/S0002-9904-1972-13032-5"},{"key":"4_CR43","doi-asserted-by":"publisher","unstructured":"Goguen, J.: Discrete-time machines in closed monoidal categories. I 10(1), 1\u201343. https:\/\/doi.org\/10.1016\/s0022-0000(75)80012-2","DOI":"10.1016\/s0022-0000(75)80012-2"},{"key":"4_CR44","doi-asserted-by":"publisher","unstructured":"Goguen, J.: Realisation is universal. Math. Syst. Theory 6(4). https:\/\/doi.org\/10.1007\/bf01843493","DOI":"10.1007\/bf01843493"},{"key":"4_CR45","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/3-540-07162-8_665","volume-title":"Mathematical Foundations of Computer Science","author":"JA Goguen","year":"1975","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Factorizations, congruences, and the decomposition of automata and systems. In: Blikle, A. (ed.) MFCS 1974. LNCS, vol. 28, pp. 33\u201345. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07162-8_665"},{"key":"4_CR46","doi-asserted-by":"publisher","unstructured":"Granas, A., Dugundji, J.: Fixed Point Theory. Springer Monographs in Mathematics, 2003 edn. Springer, New York (2003). https:\/\/doi.org\/10.1007\/978-0-387-21593-8","DOI":"10.1007\/978-0-387-21593-8"},{"key":"4_CR47","doi-asserted-by":"publisher","unstructured":"Gray, J.W.: Formal Category Theory: Adjointness for 2-Categories. Springer, Heidelberg (1974). https:\/\/doi.org\/10.1007\/bfb0061280","DOI":"10.1007\/bfb0061280"},{"key":"4_CR48","first-page":"113","volume":"15","author":"R Guitart","year":"1974","unstructured":"Guitart, R.: Remarques sur les machines et les structures. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 15, 113\u2013144 (1974)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"4_CR49","unstructured":"Guitart, R.: Monades involutives compl\u00e9ment\u00e9es. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle 16(1), 17\u2013101 (1975). http:\/\/www.numdam.org\/item\/CTGDC_1975__16_1_17_0\/"},{"key":"4_CR50","unstructured":"Guitart, R.: Des machines aux bimodules, April 1978. http:\/\/rene.guitart.pagesperso-orange.fr\/textespublications\/rg30.pdf. Univ. Paris 7"},{"key":"4_CR51","unstructured":"Guitart, R.: Tenseurs et machines. Cahiers de topologie et g\u00e9om\u00e9trie diff\u00e9rentielle 21(1), 5\u201362 (1980). http:\/\/www.numdam.org\/item\/CTGDC_1980__21_1_5_0\/"},{"issue":"2","key":"4_CR52","first-page":"115","volume":"23","author":"R Guitart","year":"1982","unstructured":"Guitart, R.: Qu\u2019est-ce que la logique dans une cat\u00e9gorie? Cahiers Topologie G\u00e9om. Diff\u00e9rentielle 23(2), 115\u2013148 (1982)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle"},{"key":"4_CR53","unstructured":"Guitart, R.: Autocategories: I. A common setting for knots and 2-categories. Cahiers Top. Geo. Diff. Cat. LV-1, 66\u201380 (2014)"},{"key":"4_CR54","unstructured":"Guitart, R.: Autocategories: II. Autographic algebras. Cahiers Top. Geo. Diff. Cat. LV-2, 151\u2013160 (2014)"},{"key":"4_CR55","unstructured":"Guitart, R.: Autocategories: III. Representations, and expansions of previous examples. Cahiers Top. Geo. Diff. Cat. LVIII-1, 67\u201380 (2017)"},{"key":"4_CR56","unstructured":"Guitart, R., Van\u00a0den Bril, L.: D\u00e9compositions et Lax-compl\u00e9tions 18(4), 333\u2013407. http:\/\/www.numdam.org\/item\/CTGDC_1977__18_4_333_0\/"},{"key":"4_CR57","doi-asserted-by":"publisher","unstructured":"Hasegawa, R.: Two applications of analytic functors. Theoret. Comput. Sci. 272(1\u20132), 113\u2013175 (2002). https:\/\/doi.org\/10.1016\/s0304-3975(00)00349-2","DOI":"10.1016\/s0304-3975(00)00349-2"},{"key":"4_CR58","doi-asserted-by":"publisher","unstructured":"Hermida, C., Mateus, P.: Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory 311(1-3), 71\u2013103. https:\/\/doi.org\/10.1016\/S0304-3975(03)00317-7","DOI":"10.1016\/S0304-3975(03)00317-7"},{"key":"4_CR59","volume-title":"Les Cr\u00e9atures artificielles: Des automates aux mondes virtuels","author":"JC Heudin","year":"2008","unstructured":"Heudin, J.C.: Les Cr\u00e9atures artificielles: Des automates aux mondes virtuels. Odile Jacob, Paris (2008)"},{"key":"4_CR60","unstructured":"Hirata, K.: Notes on lax ends (2022). arXiv:2210.01522 preprint"},{"key":"4_CR61","doi-asserted-by":"publisher","unstructured":"Hofmann, D., Seal, G., Tholen, W.: Monoidal Topology: A Categorical Approach to Order, Metric, and Topology, vol.\u00a0153. Cambridge University Press (2014). https:\/\/doi.org\/10.1017\/CBO9781107517288","DOI":"10.1017\/CBO9781107517288"},{"key":"4_CR62","doi-asserted-by":"crossref","unstructured":"Im, G., Kelly, G.: A universal property of the convolution monoidal structure. J. Pure Appl. Algebra 43(1), 75\u201388 (1986). http:\/\/dx.doi.org\/10.1016\/0022-4049(86)90005-8","DOI":"10.1016\/0022-4049(86)90005-8"},{"key":"4_CR63","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: A bialgebraic review of deterministic automata, regular expressions and languages. In: Futatsugi, K., Jouannaud, JP., Meseguer, J. (eds.) Algebra, Meaning, and Computation, pp. 375\u2013404. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11780274_20","DOI":"10.1007\/11780274_20"},{"key":"4_CR64","doi-asserted-by":"crossref","unstructured":"Jacobs, B.: From probability monads to commutative effectuses 94, 200\u2013237","DOI":"10.1016\/j.jlamp.2016.11.006"},{"key":"4_CR65","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press. https:\/\/doi.org\/10.1017\/CBO9781316823187","DOI":"10.1017\/CBO9781316823187"},{"key":"4_CR66","doi-asserted-by":"publisher","unstructured":"Jacobs, B.: Convexity, Duality and Effects. In: Calude, C.S., Sassone, V. (eds.) Theoretical Computer Science, vol.\u00a0323, pp. 1\u201319. Springer, Heidelberg. https:\/\/doi.org\/10.1007\/978-3-642-15240-5_1","DOI":"10.1007\/978-3-642-15240-5_1"},{"issue":"3","key":"4_CR67","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0022-4049(88)90124-7","volume":"53","author":"C Jay","year":"1988","unstructured":"Jay, C.: Local adjunctions. J. Pure Appl. Algebra 53(3), 227\u2013238 (1988). https:\/\/doi.org\/10.1016\/0022-4049(88)90124-7","journal-title":"J. Pure Appl. Algebra"},{"key":"4_CR68","doi-asserted-by":"publisher","DOI":"10.1002\/sapm197961293","author":"SA Joni","year":"1979","unstructured":"Joni, S.A., Rota, G.C.: Coalgebras and bialgebras in combinatorics. Stud. Appl. Math. (1979). https:\/\/doi.org\/10.1002\/sapm197961293","journal-title":"Stud. Appl. Math."},{"key":"4_CR69","first-page":"337","volume":"7","author":"A Joyal","year":"1985","unstructured":"Joyal, A.: Calcul int\u00e9gral combinatoire et homologie du groupe sym\u00e9trique. Comptes rendus math\u00e9matiques de l\u2019Acad\u00e9mie des sciences, La soci\u00e9t\u00e9 royale du Canada 7, 337\u2013342 (1985)","journal-title":"Comptes rendus math\u00e9matiques de l\u2019Acad\u00e9mie des sciences, La soci\u00e9t\u00e9 royale du Canada"},{"issue":"5","key":"4_CR70","first-page":"285","volume":"7","author":"A Joyal","year":"1985","unstructured":"Joyal, A.: R\u00e8gle des signes en alg\u00e8bre combinatoire. CR Math. Rep. Acad. Sci. Canada 7(5), 285\u2013290 (1985)","journal-title":"CR Math. Rep. Acad. Sci. Canada"},{"key":"4_CR71","doi-asserted-by":"publisher","unstructured":"Joyal, A.: Foncteurs analytiques et esp\u00e8ces de structures. In: Labelle, G., Leroux, P. (eds.) Combinatoire \u00e9num\u00e9rative. LNM, vol. 1234, pp. 126\u2013159. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0072514. http:\/\/dx.doi.org\/10.1007\/BFb0072514","DOI":"10.1007\/BFb0072514"},{"key":"4_CR72","doi-asserted-by":"publisher","unstructured":"Joyal, A.: Une th\u00e9orie combinatoire des s\u00e9ries formelles. Adv. Math. 42(1), 1\u201382 (1981). https:\/\/doi.org\/10.1016\/0001-8708(81)90052-9. https:\/\/www.sciencedirect.com\/science\/article\/pii\/0001870881900529","DOI":"10.1016\/0001-8708(81)90052-9"},{"issue":"1","key":"4_CR73","first-page":"23","volume":"24","author":"S Kasangian","year":"1983","unstructured":"Kasangian, S., Kelly, G., Rossi, F.: Cofibrations and the realization of non-deterministic automata. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 24(1), 23\u201346 (1983)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"key":"4_CR74","unstructured":"Kasangian, S., Rosebrugh, R.: Glueing enriched modules and composition of automata 31(4), 283\u2013290"},{"issue":"2","key":"4_CR75","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/s0022-4049(96)00012-6","volume":"115","author":"P Katis","year":"1997","unstructured":"Katis, P., Sabadini, N., Walters, R.: Bicategories of processes. J. Pure Appl. Algebra 115(2), 141\u2013178 (1997). https:\/\/doi.org\/10.1016\/s0022-4049(96)00012-6","journal-title":"J. Pure Appl. Algebra"},{"key":"4_CR76","doi-asserted-by":"crossref","unstructured":"Katis, P., Sabadini, N., Walters, R.: Feedback, trace and fixed-point semantics. RAIRO - Theoret. Inform. Appl. 36(2), 181\u2013194 (2010). http:\/\/eudml.org\/doc\/92696","DOI":"10.1051\/ita:2002009"},{"issue":"13","key":"4_CR77","first-page":"1","volume":"13","author":"GM Kelly","year":"2005","unstructured":"Kelly, G.M.: On the operads of. J. P. May. Repr. Theory Appl. Categ. 13(13), 1\u201313 (2005)","journal-title":"J. P. May. Repr. Theory Appl. Categ."},{"key":"4_CR78","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/s0004972700002781","volume":"39","author":"G Kelly","year":"1989","unstructured":"Kelly, G.: Elementary observations on 2-categorical limits. Bull. Aust. Math. Soc. 39, 301\u2013317 (1989). https:\/\/doi.org\/10.1017\/s0004972700002781","journal-title":"Bull. Aust. Math. Soc."},{"key":"4_CR79","unstructured":"Kelly, G.: Basic concepts of enriched category theory. Repr. Theory Appl. Categ. 64(10), vi+137 (2005)"},{"issue":"1","key":"4_CR80","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0022-4049(94)00111-U","volume":"104","author":"A Kock","year":"1995","unstructured":"Kock, A.: Monads for which structures are adjoint to units. J. Pure Appl. Algebra 104(1), 41\u201359 (1995). https:\/\/doi.org\/10.1016\/0022-4049(94)00111-U","journal-title":"J. Pure Appl. Algebra"},{"key":"4_CR81","doi-asserted-by":"publisher","unstructured":"Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano 43(1), 135\u2013166. https:\/\/doi.org\/10.1007\/BF02924844","DOI":"10.1007\/BF02924844"},{"key":"4_CR82","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/BFb0072518","volume-title":"Combinatoire \u00e9num\u00e9rative","author":"P Leroux","year":"1986","unstructured":"Leroux, P., Viennot, G.X.: Combinatorial resolution of systems of differential equations, I. Ordinary differential equations. In: Labelle, G., Leroux, P. (eds.) Combinatoire \u00e9num\u00e9rative. LNM, vol. 1234, pp. 210\u2013245. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0072518"},{"key":"4_CR83","doi-asserted-by":"publisher","unstructured":"Leroux, P., Viennot, G.X.: Combinatorial resolution of systems of differential equations IV: separation of variables. Discret. Math. 72(1), 237\u2013250 (1988). https:\/\/doi.org\/10.1016\/0012-365X(88)90213-0. https:\/\/www.sciencedirect.com\/science\/article\/pii\/0012365X88902130","DOI":"10.1016\/0012-365X(88)90213-0"},{"key":"4_CR84","doi-asserted-by":"publisher","unstructured":"Loday, J.L., Vallette, B.: Algebraic operads, Grundlehren der Math. Wissenschaften, vol.\u00a0346. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30362-3","DOI":"10.1007\/978-3-642-30362-3"},{"key":"4_CR85","unstructured":"Loregian, F.: Coend Calculus. London Mathematical Society Lecture Note Series, 1st edn., vol.\u00a0468. Cambridge University Press, Cambridge (2021). ISBN 9781108746120"},{"key":"4_CR86","doi-asserted-by":"publisher","unstructured":"Loregian, F., Trimble, T.: Differential 2-rigs. Electron. Proc. Theoret. Comput. Sci. 380, 159\u2013182 (2023). https:\/\/doi.org\/10.4204\/eptcs.380.10. http:\/\/dx.doi.org\/10.4204\/EPTCS.380.10","DOI":"10.4204\/eptcs.380.10"},{"key":"4_CR87","unstructured":"Lurie, J.: Higher algebra. http:\/\/www.math.harvard.edu\/~lurie\/ (online version 18 September 2017). http:\/\/www.math.harvard.edu\/~lurie\/papers\/higheralgebra.pdf, preprint"},{"key":"4_CR88","doi-asserted-by":"publisher","unstructured":"Mac\u00a0Lane, S.: Categories for the Working Mathematician, Graduate Texts in Mathematics, 2nd edn., vol.\u00a05. Springer, New York (1998). https:\/\/doi.org\/10.1007\/978-1-4757-4721-8. http:\/\/link.springer.com\/10.1007\/978-1-4757-4721-8","DOI":"10.1007\/978-1-4757-4721-8"},{"key":"4_CR89","doi-asserted-by":"publisher","unstructured":"Mac\u00a0Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic: A First Introduction to Topos Theory, Universitext, vol.\u00a013. Springer, New York (1992). https:\/\/doi.org\/10.1007\/978-1-4612-0927-0","DOI":"10.1007\/978-1-4612-0927-0"},{"key":"4_CR90","doi-asserted-by":"publisher","unstructured":"Makkai, M., Par\u00e9, R.: Accessible Categories: The Foundations of Categorical Model Theory, Contemporary Mathematics, vol.\u00a0104. American Mathematical Society, Providence (1989). https:\/\/doi.org\/10.1090\/conm\/104","DOI":"10.1090\/conm\/104"},{"key":"4_CR91","volume-title":"Operads in Algebra, Topology and Physics, Mathematical Surveys and Monographs","author":"M Markl","year":"2002","unstructured":"Markl, M., Shnider, S., Stasheff, J.: Operads in Algebra, Topology and Physics, Mathematical Surveys and Monographs, vol. 96. American Mathematical Society, Providence (2002)"},{"key":"4_CR92","doi-asserted-by":"publisher","unstructured":"Mateus, P., Sernadas, A., Sernadas, C.: Realization of probabilistic automata: categorial approach. https:\/\/doi.org\/10.1007\/978-3-540-44616-3_14","DOI":"10.1007\/978-3-540-44616-3_14"},{"key":"4_CR93","doi-asserted-by":"publisher","unstructured":"May, J.: The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics, vol. 271. Springer, New York (1972). https:\/\/doi.org\/10.1007\/bfb0067491","DOI":"10.1007\/bfb0067491"},{"key":"4_CR94","doi-asserted-by":"publisher","unstructured":"May, J.: Operads, algebras and modules. In: Operads: Proceedings of Renaissance Conferences (Hartford, CT\/Luminy, 1995), Contemp. Math., vol.\u00a0202, pp. 15\u201331. Amer. Math. Soc., Providence (1997). https:\/\/doi.org\/10.1090\/conm\/202\/02588. http:\/\/dx.doi.org\/10.1090\/conm\/202\/02588","DOI":"10.1090\/conm\/202\/02588"},{"issue":"1","key":"4_CR95","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/0097-3165(93)90090-U","volume":"64","author":"M M\u00e9ndez","year":"1993","unstructured":"M\u00e9ndez, M., Nava, O.: Colored species, c-monoids, and plethysm, I. J. Comb. Theory Ser. A. 64(1), 102\u2013129 (1993)","journal-title":"J. Comb. Theory Ser. A."},{"issue":"1","key":"4_CR96","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0001-8708(91)90051-8","volume":"85","author":"M M\u00e9ndez","year":"1991","unstructured":"M\u00e9ndez, M., Yang, J.: M\u00f6bius species. Adv. Math. 85(1), 83\u2013128 (1991)","journal-title":"Adv. Math."},{"issue":"10","key":"4_CR97","doi-asserted-by":"publisher","first-page":"1864","DOI":"10.1016\/j.disc.2007.04.035","volume":"308","author":"M Menni","year":"2008","unstructured":"Menni, M.: Combinatorial functional and differential equations applied to differential posets. Discret. Math. 308(10), 1864\u20131888 (2008). https:\/\/doi.org\/10.1016\/j.disc.2007.04.035","journal-title":"Discret. Math."},{"key":"4_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/3-540-07142-3_81","volume-title":"Category Theory Applied to Computation and Control","author":"J Meseguer","year":"1975","unstructured":"Meseguer, J., Sols, I.: Automata in semimodule categories. In: Manes, E.G. (ed.) Category Theory Applied to Computation and Control. LNCS, vol. 25, pp. 193\u2013198. Springer, Heidelberg (1975). https:\/\/doi.org\/10.1007\/3-540-07142-3_81"},{"key":"4_CR99","doi-asserted-by":"publisher","unstructured":"M\u00e9ndez, M., Nava, O.: Colored species, c-monoids, and plethysm, I. J. Comb. Theory Ser. A (1993). https:\/\/doi.org\/10.1016\/0097-3165(93)90090-U","DOI":"10.1016\/0097-3165(93)90090-U"},{"key":"4_CR100","doi-asserted-by":"publisher","unstructured":"M\u00e9ndez, M.: Species on digraphs. Adv. Math. 123(2), 243\u2013275 (1996). https:\/\/doi.org\/10.1006\/aima.1996.0073. http:\/\/dx.doi.org\/10.1006\/AIMA.1996.0073","DOI":"10.1006\/aima.1996.0073"},{"key":"4_CR101","doi-asserted-by":"publisher","unstructured":"Naud\u00e9, G.: On the adjoint situations between behaviour and realization 2, 245\u2013267. https:\/\/doi.org\/10.1080\/16073606.1977.9632546","DOI":"10.1080\/16073606.1977.9632546"},{"key":"4_CR102","doi-asserted-by":"publisher","unstructured":"Naud\u00e9, G.: Universal realization 19(3), 277\u2013289. https:\/\/doi.org\/10.1016\/0022-0000(79)90005-9","DOI":"10.1016\/0022-0000(79)90005-9"},{"key":"4_CR103","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(85)90049-0","author":"O Nava","year":"1985","unstructured":"Nava, O., Rota, G.C.: Plethysm, categories, and combinatorics. Adv. Math. (1985). https:\/\/doi.org\/10.1016\/0001-8708(85)90049-0","journal-title":"Adv. Math."},{"key":"4_CR104","doi-asserted-by":"publisher","unstructured":"Nava, O.: On the combinatorics of plethysm. J. Comb. Theory Ser. A 46, 212\u2013251 (1987). https:\/\/doi.org\/10.1016\/0097-3165(87)90004-5. https:\/\/www.semanticscholar.org\/paper\/ddbd4291a067388ac9ba6b092f4e901d9fd249f9","DOI":"10.1016\/0097-3165(87)90004-5"},{"key":"4_CR105","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0001-8708(85)90049-0","volume":"58","author":"O Nava","year":"1985","unstructured":"Nava, O., Rota, G.: Plethysm, categories, and combinatorics. Adv. Math. 58, 61\u201388 (1985). https:\/\/doi.org\/10.1016\/0001-8708(85)90049-0","journal-title":"Adv. Math."},{"key":"4_CR106","unstructured":"Obradovi\u0107, J.: Cyclic operads: syntactic, algebraic and categorified aspects. Ph.D. thesis, \u00c9cole doctorale Sciences math\u00e9matiques de Paris centre (2017). http:\/\/www.theses.fr\/2017USPCC191"},{"issue":"3","key":"4_CR107","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10485-010-9238-8","volume":"20","author":"R Par\u00e9","year":"2010","unstructured":"Par\u00e9, R.: Mealy morphisms of enriched categories. Appl. Categ. Struct. 20(3), 251\u2013273 (2010). https:\/\/doi.org\/10.1007\/s10485-010-9238-8","journal-title":"Appl. Categ. Struct."},{"key":"4_CR108","doi-asserted-by":"publisher","unstructured":"Pitts, A.M.: Nominal Sets: Names and Symmetry in Computer Science. Cambridge University Press (2013). https:\/\/doi.org\/10.1017\/cbo9781139084673","DOI":"10.1017\/cbo9781139084673"},{"key":"4_CR109","doi-asserted-by":"publisher","unstructured":"Pohl, I., Arbib, M.: Theories of abstract automata 24(111), 760. https:\/\/doi.org\/10.2307\/2004866","DOI":"10.2307\/2004866"},{"issue":"1","key":"4_CR110","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/0097-3165(93)90073-H","volume":"62","author":"DS Rajan","year":"1993","unstructured":"Rajan, D.S.: The adjoints to the derivative functor on species. J. Comb. Theory Ser. A. 62(1), 93\u2013106 (1993). https:\/\/doi.org\/10.1016\/0097-3165(93)90073-H","journal-title":"J. Comb. Theory Ser. A."},{"issue":"1","key":"4_CR111","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0012-365X(93)90061-W","volume":"118","author":"DS Rajan","year":"1993","unstructured":"Rajan, D.S.: The equations $$D^kY = X^n$$ in combinatorial species. Discret. Math. 118(1), 197\u2013206 (1993). https:\/\/doi.org\/10.1016\/0012-365X(93)90061-W","journal-title":"Discret. Math."},{"issue":"2","key":"4_CR112","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1017\/S0960129597002454","volume":"8","author":"R Rosebrugh","year":"1998","unstructured":"Rosebrugh, R., Sabadini, N., Walters, R.: Minimal realization in bicategories of automata. Math. Struct. Comput. Sci. 8(2), 93\u2013116 (1998). https:\/\/doi.org\/10.1017\/S0960129597002454","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR113","unstructured":"Rosenthal, K.: Quantales and Their Applications. No.\u00a0234 in Pitman Research Notes in Mathematics Series. Longman Scientific & Technical, Harlow (1990)"},{"key":"4_CR114","doi-asserted-by":"publisher","unstructured":"Rota, G.C.: On the Foundations of Combinatorial Theory I. Theory of M\u00f6bius Functions. Probability Theory and Related Fields (1964). https:\/\/doi.org\/10.1007\/bf00531932","DOI":"10.1007\/bf00531932"},{"issue":"1\u20133","key":"4_CR115","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/s0012-365x(96)00133-1","volume":"173","author":"D Senato","year":"1997","unstructured":"Senato, D., Venezia, A., Yang, J.: M\u00f6bius polynomial species. Discret. Math. 173(1\u20133), 229\u2013256 (1997). https:\/\/doi.org\/10.1016\/s0012-365x(96)00133-1","journal-title":"Discret. Math."},{"key":"4_CR116","doi-asserted-by":"publisher","unstructured":"Stanley, R.: Enumerative Combinatorics. Cambridge University Press (2023). https:\/\/doi.org\/10.1017\/9781009262538","DOI":"10.1017\/9781009262538"},{"issue":"2","key":"4_CR117","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","volume":"2","author":"R Street","year":"1972","unstructured":"Street, R.: The formal theory of monads. J. Pure Appl. Algebra 2(2), 149\u2013168 (1972). https:\/\/doi.org\/10.1016\/0022-4049(72)90019-9","journal-title":"J. Pure Appl. Algebra"},{"key":"4_CR118","doi-asserted-by":"publisher","unstructured":"Street, R.: Fibrations and Yoneda lemma in a 2-category. In: Kelly, G. (ed.) Proceedings Sydney Category Theory Seminar 1972\/1973. Lecture Notes in Mathematics, vol.\u00a0420, pp. 104\u2013133. Springer, Heidelberg (1974). https:\/\/doi.org\/10.1007\/BFb0063096","DOI":"10.1007\/BFb0063096"},{"issue":"2","key":"4_CR119","first-page":"111","volume":"21","author":"R Street","year":"1980","unstructured":"Street, R.: Fibrations in bicategories. Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g. 21(2), 111\u2013160 (1980)","journal-title":"Cahiers Topologie G\u00e9om. Diff\u00e9rentielle Cat\u00e9g."},{"issue":"2","key":"4_CR120","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1016\/0021-8693(78)90160-6","volume":"50","author":"R Street","year":"1978","unstructured":"Street, R., Walters, R.: Yoneda structures on 2-categories. J. Algebra 50(2), 350\u2013379 (1978). https:\/\/doi.org\/10.1016\/0021-8693(78)90160-6","journal-title":"J. Algebra"},{"key":"4_CR121","doi-asserted-by":"publisher","unstructured":"Strom, J.: Modern Classical Homotopy Theory, vol.\u00a0127. American Mathematical Society, Providence (2011). https:\/\/doi.org\/10.1090\/gsm\/127","DOI":"10.1090\/gsm\/127"},{"key":"4_CR122","doi-asserted-by":"crossref","unstructured":"Szabo, M.: Bicartesian closed categories. In: Algebra of Proofs, Studies in Logic and the Foundations of Mathematics, vol.\u00a088, chap.\u00a010, pp. 145\u2013162. Elsevier (1978)","DOI":"10.1016\/S0049-237X(08)70626-8"},{"key":"4_CR123","doi-asserted-by":"publisher","unstructured":"Tierney, M.: Categorical Constructions in Stable Homotopy Theory. A Seminar Given at the ETH, Z\u00fcrich, in 1967. Lecture Notes in Mathematics, No. 87, Springer, New York (1969). https:\/\/doi.org\/10.1007\/bfb0101425","DOI":"10.1007\/bfb0101425"},{"key":"4_CR124","unstructured":"Trimble, T.: Towards a doctrine of operads. $n$Lab page"},{"issue":"1","key":"4_CR125","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0021-8693(68)90036-7","volume":"8","author":"F Ulmer","year":"1968","unstructured":"Ulmer, F.: Properties of dense and relative adjoint functors. J. Algebra 8(1), 77\u201395 (1968). https:\/\/doi.org\/10.1016\/0021-8693(68)90036-7","journal-title":"J. Algebra"},{"key":"4_CR126","doi-asserted-by":"publisher","unstructured":"Venema, Y.: Automata and fixed point logic: a coalgebraic perspective 204(4), 637\u2013678. https:\/\/doi.org\/10.1016\/j.ic.2005.06.003","DOI":"10.1016\/j.ic.2005.06.003"},{"issue":"3","key":"4_CR127","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s10485-007-9079-2","volume":"15","author":"M Weber","year":"2007","unstructured":"Weber, M.: Yoneda structures from 2-toposes. Appl. Categ. Structures 15(3), 259\u2013323 (2007). https:\/\/doi.org\/10.1007\/s10485-007-9079-2","journal-title":"Appl. Categ. Structures"},{"issue":"1","key":"4_CR128","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1515\/tmj-2016-0006","volume":"9","author":"M Weber","year":"2016","unstructured":"Weber, M.: Algebraic Kan extensions along morphisms of internal algebra classifiers. Tbilisi Math. J. 9(1), 65\u2013142 (2016). https:\/\/doi.org\/10.1515\/tmj-2016-0006","journal-title":"Tbilisi Math. J."},{"key":"4_CR129","doi-asserted-by":"publisher","unstructured":"Weibel, C.: An Introduction to Homological Algebra, Cambridge Studies in Advanced Mathematics, vol.\u00a038. Cambridge University Press, Cambridge (1994). https:\/\/doi.org\/10.1017\/CBO9781139644136","DOI":"10.1017\/CBO9781139644136"},{"key":"4_CR130","unstructured":"Wilf, H.: Generating functionology, 3rd edn. Academic Press, Wellesley (1990). http:\/\/www.math.upenn.edu\/%7Ewilf\/DownldGF.html"},{"issue":"3","key":"4_CR131","first-page":"279","volume":"23","author":"R Wood","year":"1982","unstructured":"Wood, R.: Abstract proarrows I. Cahiers de topologie et g\u00e9ometrie diff\u00e9rentielle categoriques 23(3), 279\u2013290 (1982)","journal-title":"Cahiers de topologie et g\u00e9ometrie diff\u00e9rentielle categoriques"},{"key":"4_CR132","unstructured":"Yeh, Y.: On the combinatorial species of Joyal. Ph.D. thesis (1985)"},{"key":"4_CR133","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/BFb0072525","volume-title":"Combinatoire \u00e9num\u00e9rative","author":"Y Yeh","year":"1986","unstructured":"Yeh, Y.: The calculus of virtual species and $$\\mathbb{K} $$-species. In: Labelle, G., Leroux, P. (eds.) Combinatoire \u00e9num\u00e9rative, pp. 351\u2013369. Springer, Heidelberg (1986). https:\/\/doi.org\/10.1007\/BFb0072525"},{"key":"4_CR134","unstructured":"Yoneda, N.: On Ext and exact sequences. J. Fac. Sci. Univ. Tokyo Sect. I 8, 507\u2013576 (1960)"},{"key":"4_CR135","unstructured":"Yorgey, B.: Combinatorial Species and Labelled Structures. Ph.D. thesis, Computer and Information Science, University of Pennsylvania, September 2014. Feely available online at github"},{"key":"4_CR136","doi-asserted-by":"crossref","unstructured":"Z\u00f6berlein, V.: Doctrines on 2-categories. Mathematische Zeitschrift 148, 267\u2013280 (1976). http:\/\/eudml.org\/doc\/172368","DOI":"10.1007\/BF01214522"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66438-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T07:09:57Z","timestamp":1721891397000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66438-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031664373","9783031664380"],"references-count":136,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66438-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"26 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coalgebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cmcs2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.coalg.org\/cmcs24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}