{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,2]],"date-time":"2026-04-02T02:31:05Z","timestamp":1775097065898,"version":"3.50.1"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Categorical Structures"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1023\/a:1008731705603","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"153-171","source":"Crossref","is-referenced-by-count":4,"title":["Beyond the Chu-construction"],"prefix":"10.1007","volume":"9","author":[{"given":"J\u00fcrgen","family":"Koslowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"254875_CR1","first-page":"1","volume-title":"Semantics and Logics of Computation","author":"S. Abramsky","year":"1997","unstructured":"Abramsky, S.: Semantics of interaction: an introduction to game semantics. in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Publications of the Newton Institute, Cambridge University Press, Cambridge, 1997, Ch. 1, pp. 1-31."},{"key":"254875_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(94)00089-2","volume":"139","author":"M. Barr","year":"1995","unstructured":"Barr, M.: Non-symmetric *-autonomous categories, Theoret. Comput. Sci.\n139 (1995), 115-130.","journal-title":"Theoret. Comput. Sci."},{"issue":"2","key":"254875_CR3","first-page":"17","volume":"2","author":"M. Barr","year":"1996","unstructured":"Barr, M.: The Chu construction, Theory Appl. Categ.\n2(2) (1996), 17-35.","journal-title":"Theory Appl. Categ."},{"key":"254875_CR4","series-title":"Lecture Notes in Math.","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0074298","volume-title":"Reports of the Midwest Category Seminar. I","author":"J. Benabou","year":"1967","unstructured":"Benabou, J.: Introduction to bicategories, in Reports of the Midwest Category Seminar. I, Lecture Notes in Math. 47, Springer-Verlag, Berlin, 1967, pp. 1-77."},{"key":"254875_CR5","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. Algebra\n29 (1983), 109-127.","journal-title":"J. Pure Appl. Algebra"},{"key":"254875_CR6","volume-title":"Lattice Theory","author":"G. Birkhoff","year":"1940","unstructured":"Birkhoff, G.: Lattice Theory, 1st edn, Amer. Math. Soc. Coll. Pub., Amer. Math. Soc., Providence, RI, 1940 (3rd edition 1967).","edition":"1st edn"},{"key":"254875_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511525872","volume-title":"Handbook of Categorical Algebra 1, Basic Category Theory, Encyclopedia Math. Appl. 50","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra 1, Basic Category Theory, Encyclopedia Math. Appl. 50, Cambridge University Press, Cambridge, 1994."},{"key":"254875_CR8","series-title":"Lecture Notes in Math.","first-page":"103","volume-title":"Constructing *-autonomous categories","author":"P.-H. Chu","year":"1979","unstructured":"Chu, P.-H.: Constructing *-autonomous categories, Appendix to Barr, M.: *-Autonomous Categories, Lecture Notes in Math. 752, Springer-Verlag, Berlin, 1979, pp. 103-137."},{"key":"254875_CR9","doi-asserted-by":"crossref","unstructured":"Cockett, J. R. B., Koslowski, J., and Seely, R. A. G.: Introduction to linear bicategories, to appear in Math. Structures Comput. Sci. (1999).","DOI":"10.1017\/S0960129520003047"},{"key":"254875_CR10","doi-asserted-by":"crossref","unstructured":"Cockett, J. R. B. and Seely, R. A. G.: Weakly distributive categories, in M. P. Fourman, P. T. Johnstone, and A. M. Pitts (eds.), Applications of Categories to Computer Science, London Math. Soc. Lecture Note Ser. 177, Cambridge University Press, 1992, pp. 45-65.","DOI":"10.1017\/CBO9780511525902.004"},{"key":"254875_CR11","series-title":"Lecture Notes in Math.","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0060485","volume-title":"Kan Extensions in Enriched Category Theory","author":"E. Dubuc","year":"1970","unstructured":"Dubuc, E.: Kan Extensions in Enriched Category Theory, Lecture Notes in Math. 145, Springer-Verlag, Berlin, 1970."},{"key":"254875_CR12","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1017\/CBO9780511526619.005","volume-title":"Semantics and Logics of Computation","author":"M. Hyland","year":"1997","unstructured":"Hyland, M.: Game semantics, in A. M. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation, Publications of the Newton Institute, Cambridge University Press, Cambridge, 1997, Ch. 4, pp. 131-184."},{"key":"254875_CR13","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A. Joyal","year":"1991","unstructured":"Joyal, A. and Street, R.: The geometry of tensor calculus I, Adv. Math.\n88 (1991), 55-112.","journal-title":"Adv. Math."},{"issue":"8","key":"254875_CR14","first-page":"182","volume":"3","author":"J. Koslowski","year":"1997","unstructured":"Koslowski, J.: Monads and interpolads in bicategories, Theory Appl. Categ.\n3(8) (1997), 182-212.","journal-title":"Theory Appl. Categ."},{"key":"254875_CR15","unstructured":"Koslowski, J.: A convenient category for games and interaction, to appear in Appl. Categ. Structures (1998)."},{"key":"254875_CR16","series-title":"Lecture Notes in Math.","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/BFb0073965","volume-title":"Toposes, Algebraic Geometry and Logic","author":"J. Lambek","year":"1972","unstructured":"Lambek, J.: Deductive systems and categories III, in Toposes, Algebraic Geometry and Logic (Halifax, 1971), Lecture Notes in Math. 247, Springer-Verlag, Berlin, 1972, pp. 57-82."},{"key":"254875_CR17","doi-asserted-by":"crossref","unstructured":"Lambek, J.: From categorical grammar to bilinear logic, in K. Do\u0161en and P. Schroeder-Heister (eds.), Substructural logics, Stud. Logic Comput. 2, Oxford Science Publications, 1993.","DOI":"10.1093\/oso\/9780198537779.003.0008"},{"key":"254875_CR18","series-title":"Pitman Res. Notes Math.","volume-title":"The Theory of Quantaloids","author":"K. I. Rosenthal","year":"1996","unstructured":"Rosenthal, K. I.: The Theory of Quantaloids, Pitman Res. Notes Math. 348, Longman Scientific & Technical, Harlow, Essex, 1996."},{"key":"254875_CR19","doi-asserted-by":"crossref","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\n2 (1972), 149-168.","journal-title":"J. Pure Appl. Algebra"},{"key":"254875_CR20","unstructured":"Street, R.: Quantum Groups: An Entr\u00e9e to Modern Algebra, Macquarie University, ftp:\/\/ftp.mpce.mq.edu.au\/pub\/maths\/TeX\/Quantum, 1991."},{"key":"254875_CR21","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/BF00872948","volume":"3","author":"R. Street","year":"1995","unstructured":"Street, R.: Higher categories, strings, cubes and simplex equations, Appl. Categ. Structures\n3 (1995), 29-77, 303.","journal-title":"Appl. Categ. Structures"},{"key":"254875_CR22","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1016\/S1570-7954(96)80019-2","volume-title":"Handbook of Algebra, Vol. 1","author":"R. Street","year":"1996","unstructured":"Street, R.: Categorical structures, in M. Hazewinkel (ed.), Handbook of Algebra, Vol. 1. Elsevier Science, Amsterdam, 1996, pp. 529-577."},{"key":"254875_CR23","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1016\/0021-8693(78)90160-6","volume":"50","author":"R. Street","year":"1978","unstructured":"Street, R. and Walters, R. F. C.: Yoneda structures on 2-categories, J. Algebra\n50 (1978), 350-379.","journal-title":"J. Algebra"}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008731705603.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008731705603\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008731705603.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:37:58Z","timestamp":1747579078000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008731705603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["254875"],"URL":"https:\/\/doi.org\/10.1023\/a:1008731705603","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}