{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T05:20:24Z","timestamp":1776316824305,"version":"3.50.1"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bf00878445","type":"journal-article","created":{"date-parts":[[2004,12,24]],"date-time":"2004-12-24T20:36:01Z","timestamp":1103920561000},"page":"279-301","source":"Crossref","is-referenced-by-count":11,"title":["Quantaloids, enriched categories and automata theory"],"prefix":"10.1007","volume":"3","author":[{"given":"Kimmo I.","family":"Rosenthal","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"CR1","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1017\/S0960129500000189","volume":"3","author":"S. Abramsky","year":"1993","unstructured":"Abramsky S. and Vickers S.: Quantales, observational logic, and process semantics,Mathematical Structures in Computer Science,3(2) (1993), 161?228.","journal-title":"Mathematical Structures in Computer Science"},{"key":"CR2","first-page":"44","volume":"5","author":"R. Betti","year":"1980","unstructured":"Betti R.: Automi e categorie chiuse,Boll. Un. Mat. Italiana 5 (1980), 44?88.","journal-title":"Boll. Un. Mat. Italiana"},{"issue":"1","key":"CR3","first-page":"19","volume":"XXIV","author":"R. Betti","year":"1983","unstructured":"Betti R. and Carboni A.: Notion of topology for bicategories,Cah. de Top. et Geom. Diff. Cat. XXIV(1) (1983), 19?22.","journal-title":"Cah. de Top. et Geom. Diff. Cat."},{"issue":"3","key":"CR4","first-page":"243","volume":"XXIII","author":"R. Betti","year":"1982","unstructured":"Betti R. and Carboni A.: Cauchy completion and the associated sheaf,Cah. de Top. et Geom. Diff. XXIII(3) (1982), 243?256.","journal-title":"Cah. de Top. et Geom. Diff."},{"issue":"1?2","key":"CR5","first-page":"71","volume":"17","author":"R. Betti","year":"1985","unstructured":"Betti R. and Kasangian S.: Tree automata and enriched category theory,Rend. Inst. Mat. Univ. Trieste 17, No. 1?2 (1985), 71?78.","journal-title":"Rend. Inst. Mat. Univ. Trieste"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/0022-4049(83)90100-7","volume":"29","author":"R. Betti","year":"1983","unstructured":"Betti R., Carboni A., Street R., and Walters R. F. C.: Variation through enrichment,J. Pure Appl. Alg. 29 (1983), 109?127.","journal-title":"J. Pure Appl. Alg."},{"issue":"2","key":"CR7","doi-asserted-by":"crossref","first-page":"275","DOI":"10.2140\/pjm.1986.124.275","volume":"124","author":"A. Carboni","year":"1986","unstructured":"Carboni A. and Street R.: 1986, Order ideals in categories,Pac. J. of Math. 124(2) (1986), 275?288.","journal-title":"Pac. J. of Math."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0022-4049(87)90065-X","volume":"45","author":"A. Carboni","year":"1987","unstructured":"Carboni A. and Walters R. F. C.: Cartesian bicategories I,J. Pure Appl. Alg. 45 (1987), 127?141.","journal-title":"J. Pure Appl. Alg."},{"key":"CR9","volume-title":"Automata, Machines and Languages, Vol. A","author":"S. Eilenberg","year":"1976","unstructured":"Eilenberg S.:Automata, Machines and Languages, Vol. A, Academic Press, New York, 1976."},{"key":"CR10","volume-title":"Tree Automata","author":"F. Gecseg","year":"1986","unstructured":"Gecseg F. and Steinby M.:Tree Automata, Akademiai Kiado, Budapest, 1986."},{"key":"CR11","unstructured":"Ghilardhi S. and Meloni G. C.: Relational and topological semantics for temporal and modal predicative logic, inProc. 1990 SILFS Conference, to appear."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1002\/malq.19900360303","volume":"36","author":"S. Ghilardhi","year":"1990","unstructured":"Ghilardhi S. and Meloni G. C.: Modal logics withn-ary connectives,Zeitschr. f. Math. Logik und Grundlagen der Math. 36 (1990), 193?215.","journal-title":"Zeitschr. f. Math. Logik und Grundlagen der Math."},{"key":"CR13","unstructured":"Johnstone P. T.:Stone Spaces, Cambridge Univ. Press, 1982."},{"issue":"1","key":"CR14","first-page":"23","volume":"XXIV","author":"S. Kasangian","year":"1983","unstructured":"Kasangian S., Kelly G. M., and Rossi F.: Cofibrations and the realization of non-deterministic automata,Cah. de Top. et Geom. Diff. Cat. XXIV(1) (1983), 23?46.","journal-title":"Cah. de Top. et Geom. Diff. Cat."},{"issue":"4","key":"CR15","first-page":"137","volume":"XXVII","author":"S. Kasangian","year":"1986","unstructured":"Kasangian S. and Rosebrugh R.: Decompositions of automata and enriched category theory,Cah. de Top. et Geom. Diff. Cat. XXVII(4) (1986), 137?143.","journal-title":"Cah. de Top. et Geom. Diff. Cat."},{"issue":"4","key":"CR16","first-page":"283","volume":"XXXI","author":"S. Kasangian","year":"1990","unstructured":"Kasangian S. and Rosebrugh R.: Glueing enriched modules and the composition of automata,Cah. de Geom. et Diff. Cat. XXXI(4) (1990), 283?290.","journal-title":"Cah. de Geom. et Diff. Cat."},{"key":"CR17","unstructured":"Kelly G. M.:Basic Concepts of Enriched Category Theory, Cambridge. Univ. Press, 1982."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","volume":"50","author":"F. W. Lawvere","year":"1963","unstructured":"Lawvere F. W.: Functorial semantics of algebraic theories,Proc. Nat. Acad. Sci. 50 (1963), 869?872.","journal-title":"Proc. Nat. Acad. Sci."},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Lawvere F. W.: Metric spaces, generalized logic, and closed categories,Rend. Sem. Mat. e Fis. Milano (1973), 135?166.","DOI":"10.1007\/BF02924844"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1017\/S0305004100065403","volume":"104","author":"S. B. Niefield","year":"1988","unstructured":"Niefield S. B. and Rosenthal K. I.: Constructing locales from quantales,Math. Proc. Camb. Phil. Soc. 104 (1988), 215?234.","journal-title":"Math. Proc. Camb. Phil. Soc."},{"key":"CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2215-3","volume-title":"Varieties of Formal Languages","author":"J. E. Pin","year":"1986","unstructured":"Pin J. E.: 1986,Varieties of Formal Languages, Plenum Press, New York, 1986."},{"issue":"3","key":"CR22","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1112\/plms\/s3-57.3.433","volume":"57","author":"A. Pitts","year":"1988","unstructured":"Pitts A.: Applications of sup-lattice enriched category theory to sheaf theory,Proc. London Math. Soc. 57(3) (1988), 433?480.","journal-title":"Proc. London Math. Soc."},{"key":"CR23","unstructured":"Rosenthal K. I.:Quantales and Their Applications, Pitman Research Notes in Math. No. 234, Longman, Scientific, and Technical, 1990."},{"issue":"1","key":"CR24","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0022-4049(91)90130-T","volume":"72","author":"K. I. Rosenthal","year":"1991","unstructured":"Rosenthal K. I.: Free quantaloids,J. Pure Appl. Alg. 72(1) (1991), 67?82.","journal-title":"J. Pure Appl. Alg."},{"issue":"1","key":"CR25","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1017\/S0960129500001146","volume":"2","author":"K. I. Rosenthal","year":"1992","unstructured":"Rosenthal K. I.: Girard quantaloids,Math. Structures in Computer Science 2(1) (1992), 93?108.","journal-title":"Math. Structures in Computer Science"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0022-4049(92)90085-T","volume":"77","author":"K. I. Rosenthal","year":"1992","unstructured":"Rosenthal K. I.: Quantaloidal nuclei, the syntactic congruence and tree automata,J. Pure Appl. Alg. 77 (1992), 189?205.","journal-title":"J. Pure Appl. Alg."},{"issue":"4","key":"CR27","first-page":"267","volume":"XXXIV","author":"K. I. Rosenthal","year":"1994","unstructured":"Rosenthal K. I.: A note on categories enriched in quantaloids and modal and temporal logic,Cahiers de Top. et Geom. Diff. Cat. XXXIV(4) (1994), 267?277.","journal-title":"Cahiers de Top. et Geom. Diff. Cat."},{"issue":"3","key":"CR28","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S0960129500000487","volume":"4","author":"K. I. Rosenthal","year":"1994","unstructured":"Rosenthal K. I.: A categorical look at context-free languages and tree automata,Math. Structures in Computer Science 4(3) (1994), 287?294.","journal-title":"Math. Structures in Computer Science"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0022-4049(94)90059-0","volume":"97","author":"K. I. Rosenthal","year":"1994","unstructured":"Rosenthal K. I.: *-autonomous categories of bimodules,J. Pure and Appl. Alg. 97 (1994), 189?202.","journal-title":"J. Pure and Appl. Alg."},{"key":"CR30","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1080\/16073606.1983.9632304","volume":"6","author":"R. Street","year":"1983","unstructured":"Street R.: Enriched categories and cohomology,Quaestiones Math. 6 (1983), 265?283.","journal-title":"Quaestiones Math."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Street R.: Cauchy characterization of enriched categories,Rend. Sem. Mat. e Fis. Milano (1983), 217?233.","DOI":"10.1007\/BF02924823"},{"key":"CR32","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0022-4049(82)90061-5","volume":"24","author":"R. F. C. Walters","year":"1982","unstructured":"Walters R. F. C.: Sheaves on sites as Cauchy complete categories,J. Pure Appl. Alg. 24 (1982), 95?102.","journal-title":"J. Pure Appl. Alg."},{"key":"CR33","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0022-4049(89)90151-5","volume":"62","author":"R. F. C. Walters","year":"1989","unstructured":"Walters R. F. C.: A note on context-free languages,J. Pure Appl. Alg. 62 (1989), 199?203.","journal-title":"J. Pure Appl. Alg."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0022-4049(89)90152-7","volume":"62","author":"R. F. C. Walters","year":"1989","unstructured":"Walters R. F. C.: The free category with products on a multigraph,J. Pure Appl. Alg. 62 (1989), 205?210.","journal-title":"J. Pure Appl. Alg."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"Walters R. F. C.:Categories and Computer Science, Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511608872"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00878445.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00878445\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00878445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:23:45Z","timestamp":1586042625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00878445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995]]}},"alternative-id":["BF00878445"],"URL":"https:\/\/doi.org\/10.1007\/bf00878445","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}