{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:02:21Z","timestamp":1725454941997},"reference-count":47,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T00:00:00Z","timestamp":1301011200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2011,4]]},"abstract":"<jats:p>This paper contributes a feedback operator, in the form of a monoidal trace, to the theory of coalgebraic, state-based modelling of components. The feedback operator on components is shown to satisfy the trace axioms of Joyal, Street and Verity. We employ McCurdy's tube diagrams, which are an extension of standard string diagrams for monoidal categories, to represent and manipulate component diagrams. The microcosm principle then yields a canonical \u2018inner\u2019 traced monoidal structure on the category of resumptions (elements of final coalgebras\/components). This generalises an observation by Abramsky, Haghverdi and Scott.<\/jats:p>","DOI":"10.1017\/s0960129510000551","type":"journal-article","created":{"date-parts":[[2011,3,25]],"date-time":"2011-03-25T11:52:40Z","timestamp":1301053960000},"page":"267-320","source":"Crossref","is-referenced-by-count":7,"title":["Traces for coalgebraic components"],"prefix":"10.1017","volume":"21","author":[{"given":"ICHIRO","family":"HASUO","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"BART","family":"JACOBS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2011,3,25]]},"reference":[{"key":"S0960129510000551_ref1","unstructured":"Abramsky S. (2009) Coalgebras, Chu spaces, and representations of physical systems. Available at http:\/\/arxiv.org\/0910.3959."},{"key":"S0960129510000551_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03741-2_6"},{"key":"S0960129510000551_ref46","volume-title":"Component Software","author":"Szyperski","year":"1998"},{"key":"S0960129510000551_ref29","first-page":"75","article-title":"Review of the elements of 2-categories","volume":"420","author":"Kelly","year":"1974","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"S0960129510000551_ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.030"},{"key":"S0960129510000551_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45315-6_20"},{"key":"S0960129510000551_ref47","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1109\/LICS.1997.614955","volume-title":"LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science","author":"Turi","year":"1997"},{"key":"S0960129510000551_ref40","first-page":"221","volume-title":"Combinatorial Mathematics and its Applications","author":"Penrose","year":"1971"},{"key":"S0960129510000551_ref39","unstructured":"Pattinson D. (2003) An introduction to the theory of coalgebras. Course notes for NASSLLI."},{"key":"S0960129510000551_ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2007.10.006"},{"key":"S0960129510000551_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.07.017"},{"key":"S0960129510000551_ref41","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00056-6"},{"key":"S0960129510000551_ref9","first-page":"891","article-title":"Towards a calculus of state-based software components","volume":"9","author":"Barbosa","year":"2003","journal-title":"Journ. of Universal Comp. Sci."},{"key":"S0960129510000551_ref32","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129505004755"},{"key":"S0960129510000551_ref33","volume-title":"Categories for the Working Mathematician","author":"Mac","year":"1998"},{"key":"S0960129510000551_ref16","doi-asserted-by":"publisher","DOI":"10.2977\/prims\/1145475500"},{"key":"S0960129510000551_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(93)90076-6"},{"key":"S0960129510000551_ref14","unstructured":"Haghverdi E. (2000) A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness, Ph.D. thesis, University of Ottawa."},{"key":"S0960129510000551_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003730"},{"key":"S0960129510000551_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.10.008"},{"key":"S0960129510000551_ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12821-9_4"},{"key":"S0960129510000551_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0865-8"},{"key":"S0960129510000551_ref3","doi-asserted-by":"publisher","DOI":"10.2307\/2275407"},{"key":"S0960129510000551_ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100074338"},{"key":"S0960129510000551_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004153"},{"key":"S0960129510000551_ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.07.012"},{"key":"S0960129510000551_ref6","doi-asserted-by":"publisher","DOI":"10.1006\/aima.1997.1695"},{"key":"S0960129510000551_ref8","unstructured":"Barbosa L. S. (2001) Components as Coalgebras, Ph.D. thesis, Univ. Minho."},{"key":"S0960129510000551_ref11","volume-title":"Handbook of Categorical Algebra","author":"Borceux","year":"1994"},{"key":"S0960129510000551_ref12","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(98)00110-8"},{"key":"S0960129510000551_ref13","volume-title":"Logics of Time and Computation","author":"Goldblatt","year":"1992"},{"key":"S0960129510000551_ref18","article-title":"Generic trace semantics via coinduction","volume":"3","author":"Hasuo","year":"2007","journal-title":"Logical Methods in Comp. Sci."},{"key":"S0960129510000551_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78499-9_18"},{"key":"S0960129510000551_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"S0960129510000551_ref21","volume-title":"Categorical Logic and Type Theory","author":"Jacobs","year":"1999"},{"key":"S0960129510000551_ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(96)00012-6"},{"key":"S0960129510000551_ref23","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007308"},{"key":"S0960129510000551_ref24","first-page":"222","article-title":"A tutorial on (co)algebras and (co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"EATCS Bulletin"},{"key":"S0960129510000551_ref25","doi-asserted-by":"crossref","first-page":"61","DOI":"10.5638\/thagis.9.2_61","article-title":"A note on actions of a monoidal category","volume":"9","author":"Janelidze","year":"2001","journal-title":"Theory and Applications of Categories"},{"key":"S0960129510000551_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0001-8708(91)90003-P"},{"key":"S0960129510000551_ref34","unstructured":"McCurdy M. B. (2010) The Tannaka-representation adjunction for weak bialgebras and separable Frobenius monoidal functors. (Forthcoming Ph.D. thesis, Macquarie University.)"},{"key":"S0960129510000551_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_1"},{"key":"S0960129510000551_ref36","first-page":"157","volume-title":"Logic Colloq. '73","author":"Milner","year":"1975"},{"key":"S0960129510000551_ref38","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"S0960129510000551_ref44","first-page":"30","volume-title":"LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science","author":"Simpson","year":"2000"},{"key":"S0960129510000551_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3"},{"key":"S0960129510000551_ref45","unstructured":"Sokolova A. (2005) Coalgebraic Analysis of Probabilistic Systems, Ph.D. thesis, Techn. Univ. Eindhoven."}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129510000551","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T19:04:47Z","timestamp":1556391887000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129510000551\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,25]]},"references-count":47,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"alternative-id":["S0960129510000551"],"URL":"https:\/\/doi.org\/10.1017\/s0960129510000551","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,25]]}}}