{"entities":{"Q388206":{"pageid":389973,"ns":120,"title":"Item:Q388206","lastrevid":61466073,"modified":"2026-04-10T23:33:12Z","type":"item","id":"Q388206","labels":{"en":{"language":"en","value":"Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6239424"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$31D506F8-46EF-4D84-9958-AF17BAB73F30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"364b8f8a1eb35d27001f4943ba5d93d17241739c","datavalue":{"value":{"text":"Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q388206$779B1D62-2588-48AD-A56D-16C872824940","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae66df32837c1a822893f277f1298e47e32a9d78","datavalue":{"value":"1280.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$C6195C99-CCC0-42C1-9262-A3362F70A234","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3abe6f65ea2ec269e3345c54c01a3dd4578c0db5","datavalue":{"value":{"entity-type":"item","numeric-id":276465,"id":"Q276465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$6FFCF51F-C8C8-4583-AA76-9B5CB8A44883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a32fb737dd222da796f2a2efaaa2f5b910a6a89","datavalue":{"value":{"entity-type":"item","numeric-id":388204,"id":"Q388204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$6A40A28B-6C6C-4DEF-845C-94D5BC372711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d727509a11bb59658cf105c2824b79eed66eb9a4","datavalue":{"value":{"entity-type":"item","numeric-id":388205,"id":"Q388205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$FFB5028E-19A1-494A-8558-AE9AB642629C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$2A4A4648-77D8-4A5D-A1D4-3C6210DD48DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2f1fb0bb823de7c85c0e6b790ab9a70856742d2","datavalue":{"value":{"time":"+2013-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q388206$F4F8FC8E-72AB-4A7B-A76F-3D250D0F9772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df46d870ea809f3f4beddef547bdba803f533fe2","datavalue":{"value":"https://arxiv.org/abs/1302.0393","type":"string"},"datatype":"url"},"type":"statement","id":"Q388206$43421D32-06AB-4C3A-AADB-C8C8C4A4AB4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$9B24224E-E448-4A1D-B563-4C753958D507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$8F231D03-701B-4112-B467-24FF5658E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$02A8D0EE-2978-48D3-8A96-67F4FB34BC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$74FA327C-0159-4CA5-B33E-7DD3C6E74397","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f727c8c877cd3984a108d645805e3dfff158a3ba","datavalue":{"value":"6239424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$7D2E44DB-2CC0-4653-959E-9518A5C9047A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57ec777a540f85e174b77cc75c70e39afe935bdf","datavalue":{"value":"string diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$96F1C4DF-17E7-4D56-999A-D39B67436960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$417F8657-1A8A-4FE3-9AAB-210B764E9272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8230a611a98fb84134c25d2c8ed13d57cb68dbad","datavalue":{"value":"proof net","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$00F09A3B-5EA1-43A1-B973-0D7C33C5A08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$07D1E724-9962-4608-979F-77C7828C2E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac35c8e7c26dd0d6a8e566b40f1924e8bf8206cf","datavalue":{"value":"monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$830F50DF-F8AC-405E-8572-A423CA6675A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639efadce22ebadbc5768cf6a6a4bc354a14b9a2","datavalue":{"value":"Baez-Stay diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$213062B1-92B6-4FC7-AD13-6C7BFC84FB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bcb7cf995074b9cf00c770fad96e9275f06a378","datavalue":{"value":"vector space semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$BCFD08FA-130E-4711-A6B9-32B2510311F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29581e283fe0f8184ad94598ecda2e1c3eb44672","datavalue":{"value":"compact closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$600AAA47-D181-4E81-84C4-7F4AFF85871C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc7ac9c1e9aff32b029d8fca4008efe0b87e4c9","datavalue":{"value":"pregroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$4CF39894-478A-43CD-8BDE-51F5C8A329D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c6933d546894f08f6f4cd20ae0ca2926822994","datavalue":{"value":"categorial grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$875C1193-A9B6-4256-A37E-C080A7C6CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"607327dd17ec020db86a64f1493eec5920d270a4","datavalue":{"value":"distributional compositional categorical model of meaning","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$D40671C3-9F8D-4004-8AE0-DE4F9F212D87","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$C8EF3D66-25F9-4C77-800C-1AC751F5DA5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaa94eb927cf062084893f1fa8916b556e3d12b8","datavalue":{"value":"W2058503912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$CC8D7D00-1DCF-4BFB-B8F3-37E5F584CB7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"441fc80d146d25f66b8013f1e3606eba65f39426","datavalue":{"value":{"entity-type":"item","numeric-id":5448359,"id":"Q5448359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$8BF3AE75-96E9-44B6-90AA-CA596D29C0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a104963e5a452c692e99b351347c57840393a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5482271,"id":"Q5482271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$D7B88F4A-8188-4DCB-9649-AA4D64C6F06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fc1ed05a88a9a501cb65798ef5f90355c7e24d","datavalue":{"value":{"entity-type":"item","numeric-id":583637,"id":"Q583637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$29715572-1D2E-414C-914A-36EC4C6AA0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44982935af70045b25c651fb98ba95a3afadc4b","datavalue":{"value":{"entity-type":"item","numeric-id":4871931,"id":"Q4871931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$F857284E-CF64-463B-9E4B-DD8475B98D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48f8f78cbd9ae9b2876e6e07f835051ef88a2b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000920,"id":"Q3000920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$05C2121E-55CF-4AED-AFBF-5B373AE1E829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660350abd029fe02a0649413dceac4b42f1f6946","datavalue":{"value":{"entity-type":"item","numeric-id":5536273,"id":"Q5536273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$019AAF0B-AD57-4AD8-8070-1AB4C288DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"355027cd9b5459d9cbd6915a0cbaffc2e420beb9","datavalue":{"value":{"entity-type":"item","numeric-id":964491,"id":"Q964491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$297CFFD1-051C-4EFB-B563-98F04174BF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b443d662262fea8c586e679cc80869facef9b1a3","datavalue":{"value":{"entity-type":"item","numeric-id":4547844,"id":"Q4547844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$53A83A41-8267-4010-90A4-5BDE423C16D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2799a1e0327eb2441a9b04eb9c8c415dd42ffd","datavalue":{"value":{"entity-type":"item","numeric-id":3426489,"id":"Q3426489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$2A9A03C5-B937-44DC-AEF9-451D56B72F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d29b30deb6e37269eb0e5ac7fdd4f091d49cfcc","datavalue":{"value":{"entity-type":"item","numeric-id":4229391,"id":"Q4229391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$88747AF7-1BC4-4DFB-88AA-490B614BE625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294895f48fefca651af79ff7f44445835ded044e","datavalue":{"value":{"entity-type":"item","numeric-id":4319641,"id":"Q4319641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$C0FF0C65-C56F-4AF3-9976-05D5051404E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$BBE285D3-20C8-490D-902B-714BC774B7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5905009ef63952206824b5e398a2894555028d0","datavalue":{"value":{"entity-type":"item","numeric-id":1146248,"id":"Q1146248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$61D54787-2DA5-496C-8EB9-3C79644786A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$62D8C54F-635B-445A-9E8E-8D6999A4BF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942dc2e11582a3b49bbdb9802ddf8f00d71a4d72","datavalue":{"value":{"entity-type":"item","numeric-id":919088,"id":"Q919088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$FA9124E3-C230-45F3-BFA5-232EF0E47D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6975301ed207e1b0b3b09b8ebfb8e694c6e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":4263075,"id":"Q4263075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$B24FD104-15E1-476E-8D24-E09AC5EF1171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad51dc8f462c46f8c251227f4be2491c099d0a84","datavalue":{"value":{"entity-type":"item","numeric-id":4662464,"id":"Q4662464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$1690FBC9-DBD2-4478-92A0-E3A7C0766980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d625c2a2d297ffb0783176efd484fa6518af495","datavalue":{"value":{"entity-type":"item","numeric-id":3612673,"id":"Q3612673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$32F157DE-022A-41AC-AC30-B1CEA49F3003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d508612f62db31284149021d289344a1938444","datavalue":{"value":{"entity-type":"item","numeric-id":812147,"id":"Q812147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$1AFED8AB-130E-4175-BCBF-531CFB3DB602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b513811f41bc80cb83896dbb12a1b896aee5b7fa","datavalue":{"value":{"entity-type":"item","numeric-id":3638287,"id":"Q3638287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$E3C3500F-DD43-455E-83BD-6F069CF8942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e8eb6c2b860f100237f73f9e56019c1ab1884c","datavalue":{"value":{"entity-type":"item","numeric-id":3874172,"id":"Q3874172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$A43CAD0F-37D5-4644-BDC8-5ED6C0961D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a67d0e61838aa36d3a1f24aa1ad220953e70947","datavalue":{"value":{"entity-type":"item","numeric-id":1923840,"id":"Q1923840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$801F1893-6BDB-4E25-9338-48CBF05319A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9033970d0f59462b39d7285bcd640c8e1775d511","datavalue":{"value":{"entity-type":"item","numeric-id":843772,"id":"Q843772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$E2A0C40D-192F-4A93-B209-B824B796A1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00c4e5e386109e505a91c41791116d3f1fa6044","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$37B5C76E-0B67-418A-B93B-E0DE4BB50471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3386e5e64cacb476206a1ab2e0a80247a8ef9985","datavalue":{"value":{"entity-type":"item","numeric-id":5620163,"id":"Q5620163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$10EF8EF3-DC87-4D73-A8DD-4BD6037769BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b0d888d15aaaca87c1fbfc2e384639e5ff7049","datavalue":{"value":{"entity-type":"item","numeric-id":1006460,"id":"Q1006460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$D06C6E20-A219-45A9-8ABE-7A3728E13DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abe9975d144436faa1a68627b77e691fba91f6e","datavalue":{"value":{"entity-type":"item","numeric-id":3444644,"id":"Q3444644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$B7521E4D-0B93-4180-AE38-79C0917AEF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad965310e7644ec61576bb3fd650e8d914bbc3","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$2F707647-7009-49F5-BC55-D86E986903BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd427e74fc851344f1fc8cd6c51b299431c90e5","datavalue":{"value":{"entity-type":"item","numeric-id":2883371,"id":"Q2883371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$7CA719D1-8143-4C9B-9ADE-93C4B75A66F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b219ba863492022768abad5a30354cc8e2f59a","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$C32A2D2D-0ADE-47A3-AE40-0CBAC56203A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74208bcdbfe5af7369c8e2b62d7000653fd1fb86","datavalue":{"value":{"entity-type":"item","numeric-id":2429994,"id":"Q2429994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q388206$88CA92EA-B254-4C97-A25F-C029E71FE521","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1392276278dc9ff8b69809d967d7d80ddf487d87","datavalue":{"value":"10.1016/J.APAL.2013.05.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q388206$BFA34C6F-5173-4CCB-B373-6FAF6E1E5AE9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a8b3cc6f14439cfb786b80cfecabac90c446aa0","datavalue":{"value":"This paper presents the authors' distributional compositional categorical model (abbreviated DisCoCat) of meaning [``A compositional distributional model of meaning'', in: Proceedings of the second quantum interaction symposium. College Press. 133--140 (2008); ``Mathematical foundations for a compositional distributional model of meaning'', Linguist. Anal. 36, No. 1--4, 345--384 (2010)]. ``The DisCoCat exploits the fact that finite dimensional vector spaces can also be organised within a compact closed category.'' The main technical objective in this paper is to emphasize that the choice of a compact or monoidal type-logic is not so crucial to the applicability of the procedure. In this paper the authors develop a homographic passage via a functor from a monoidal bi-closed category of grammatical types and reductions to the symmetric monoidal category of finite-dimensional vector spaces, inspiring an intriguing analogy with topological quantum field theory (abbreviated TQFT), which is also a monoidal functor from the category of cobordisms to that of vector spaces and linear maps. Different from [\\textit{R. Montague}, Theoria 36 (1970), 373--398 (1971; Zbl 0243.02002)], meanings of words and sentences are expressed in terms of vectors and vector compositions rather than in terms of sets and set-theoretic operations. Information flows, which are the topology of the two-dimensional graphical representation of the operations producing the meaning of sentences from that of words, are mathematically expressed in the graphical language [\\textit{P. Selinger}, Lect. Notes Phys. 813, 289--355 (2011; Zbl 1217.18002)]. Such graphical representations trace back to \\textit{R. Penrose} [Combinat. Math. Appl., Proc. Conf. Math. Inst., Oxford 1969, 221--244 (1971; Zbl 0216.43502)] in the early 1970s. The ambition of the authors is to use this work as a starting point for providing vector space meaning for more expressive natural language sentences parsed with combinatorial categorical grammars or Lambek-Grishin calculus [\\textit{R. Bernardi} and \\textit{M. Moortgat}, Inf. Comput. 208, No. 5, 397--416 (2010; Zbl 1198.03027)]. The expressive power of these grammars is richer than that of Lambek grammars, which are only context-free. NEWLINENEWLINENEWLINE NEWLINEThe starting point of the authors' approach is a Lambek calculus [\\textit{J. Lambek}, Am. Math. Mon. 65, 154--170 (1958; Zbl 0080.00702)], in place of Lambek's pregroups [\\textit{J. Lambek}, Lect. Notes Comput. Sci. 1582, 1--27 (1999; Zbl 0934.03043)], with a variant of proof theory of intuitionistic multiplicative linear logic. The grammatical structure of a sentence is represented as a derivation in a proof tree, which is depicted in diagrams similar to proof nets. These derivations are interpreted in vector spaces, regarded as a monoidal closed category, and the grammatical and semantical interactions are depicted via Baez-Stay diagrams [\\textit{J. C. Baez} and \\textit{M. Stay}, Lect. Notes Phys. 813, 95--172 (2011; Zbl 1218.81008)]. Although general linear logic proof nets are quite distinct from the Baez-Stay diagrams, their compact variants in [\\textit{S. Abramsky} and \\textit{R. Duncan}, Math. Struct. Comput. Sci. 16, No. 3, 469--489 (2006; Zbl 1099.03059)] highly resemble the compact closed string diagrams used in the pregroup derivations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q388206$43B48002-BE81-4D9C-9972-CF643D97720A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784d07ac2caebca09e8da1c668b06112b9cd230c","datavalue":{"value":{"entity-type":"item","numeric-id":6057577,"id":"Q6057577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f30de12b7e3102efa306e6b21c71727352b3cae","datavalue":{"value":{"amount":"+0.8453807234764099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388206$A0FDEB06-BB33-44B7-BB62-8750FC204184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255bcf771121d83c8d3d9c0f8a704af83b36edac","datavalue":{"value":{"entity-type":"item","numeric-id":1685943,"id":"Q1685943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a592981624e8ae56f10dca077763db8dc4637a7","datavalue":{"value":{"amount":"+0.8292146325111389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388206$FE0D40E9-BDEE-4D6C-A578-B05AF7D5415C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896bf6c846ae079c69039ba52fa2b66f51e30a88","datavalue":{"value":{"entity-type":"item","numeric-id":5014597,"id":"Q5014597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f915968fe8ef7fb47cebf70a7b2c1c84b84b2c3","datavalue":{"value":{"amount":"+0.8217886686325073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388206$07402457-0D5E-4357-BAA7-DC7CA291D5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234dc8055af193c63bb027ecaec6381e41c583fb","datavalue":{"value":{"entity-type":"item","numeric-id":5019675,"id":"Q5019675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4062766dd63618f096d1bd2368205c19c602666","datavalue":{"value":{"amount":"+0.8090038299560547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388206$01217BEF-6BE2-47F0-A68A-FB513D403838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41a8806235c720e03496a43a4cbd5126d7252eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4333469,"id":"Q4333469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a9bc8f85a382938ebd5a56b07b13f6663d7050","datavalue":{"value":{"amount":"+0.807532787322998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q388206$FA97AF28-D379-48D0-87DC-02459645CB86","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lambek_vs._Lambek:_functorial_vector_space_semantics_and_string_diagrams_for_Lambek_calculus"}}}}}