{"entities":{"Q2808142":{"pageid":2818880,"ns":120,"title":"Item:Q2808142","lastrevid":58010775,"modified":"2026-04-03T10:54:12Z","type":"item","id":"Q2808142","labels":{"en":{"language":"en","value":"Relative symmetric monoidal closed categories. I: Autoenrichment and change of base"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585656"}},"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":"Q2808142$A5D179DB-3DC4-478F-957C-F2E0DE076BFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c24c833a7027abe2667de0803a928b3fc39f339f","datavalue":{"value":"1350.18013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$C949F68D-3DD5-40A5-BA34-58F78BB175CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5ed998e980c1c2bcc1a1956e1279b9964bdfdc","datavalue":{"value":{"entity-type":"item","numeric-id":424558,"id":"Q424558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808142$9F9ABE06-9ED2-49B9-B6B4-E584FFBD1C2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2808142$4C85FA67-E647-4B8E-9FA1-DE924DCD2777","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9030940fa5a67e5e2ff156ed62a6078f50eb211f","datavalue":{"value":"https://arxiv.org/abs/1507.02220","type":"string"},"datatype":"url"},"type":"statement","id":"Q2808142$6C0A7C6B-EEBC-432C-872B-A2EBC94A7BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"263f1689a0e3656505a9b9878eae5d27ab9262ea","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/31/6/31-06abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2808142$32E8E197-EB99-4EFC-A2B2-C2B4246D1D0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$2833141B-861C-4B03-939A-50EF7AC3E25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$8865BA77-38C2-476C-95A1-F29573C8AA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$54A45307-4013-4A72-9F91-C7E490F190D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fabc1911e3f51c2521729db77280e58de711c447","datavalue":{"value":"18D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$A9199EDE-0458-4843-9104-55AF1CF489A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$74FDE2AA-0097-48A2-9C86-34818EBB86B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$276A1C88-CE3F-496F-AEFD-3544EC3A76F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be13e4cf5bfa17e78988053c5140c6b842368e2c","datavalue":{"value":"6585656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$56192C04-78B1-4CC3-ABB2-A5FDB29C5786","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd3ac1520877b376a20ec113028993130e619df","datavalue":{"value":"monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$806568A3-3A2D-40FB-AB5C-95EF4230DF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46299baa1baa8aad3e6449a07fa9c249b88d007e","datavalue":{"value":"closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$021C51DF-3A1A-4D2A-911B-38790652E545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2de6b0d1d86a8a6ecaf100dd5939e2d274ac1f2","datavalue":{"value":"enriched monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$850F205A-9812-421A-8D8A-B8BF0F0ED329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e57f1af98510548632e9f01a4b08fa2002d7df1b","datavalue":{"value":"monoidal functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$3AA0A038-F911-4854-985D-A17229A84EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d4a190a775c90d779d80590da1be3a1283ed85","datavalue":{"value":"monoidal adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$9C222875-4555-40A6-B90E-66FFE53284F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$074D799D-E1B2-40E9-9E90-772F6B947984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f6f3fafcd3152550c179a0827fe5b0632d3b660","datavalue":{"value":"2-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$D6D3A175-DA47-43AE-BDB8-DA8C6FC36BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04bbc95108e3c8fce00f6ee1491369ac9e1c970e","datavalue":{"value":"2-fibration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$86D8F851-AA41-40CC-9150-C088FE9DAAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e48975fe61fc8b4e732ad60f3697eb3f4b8198e","datavalue":{"value":"pseudomonoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$E13C92D2-C9F2-41B9-9E27-5866109D557F","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":"Q2808142$2E5AEC1D-2FFA-4D99-860C-6925F461C89A","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"053417179079a2495f1ff0da4062288692208ad7","datavalue":{"value":"bafkreic37eejvfko5cmrvj4dgtbk3nbdzmwglqyfol333p3ok7mes4tuz4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808142$C65E4DA9-0631-4C1C-80B9-91E499E9FE4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"974a1389242896b5119731d165a38a7b00a16bab","datavalue":{"value":{"text":"Relative symmetric monoidal closed categories. I: Autoenrichment and change of base","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2808142$20529E34-14B5-4279-B87B-1B0B41FD4CA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808142$EF02A9A4-28C0-4FE0-814F-AE1A82049017","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"68100c4bb3066abecc7d8cdb1daeaf6fe80a9cf6","datavalue":{"value":"One of the novelties of [\\textit{S. Eilenberg} and \\textit{G. M. Kelly}, in: Proc. Conf. Categor. Algebra, La Jolla 1965, 421--562 (1966; Zbl 0192.10604)] was to organise the development of enriched category theory in terms of 2-categories and 2-functors. Half a century on, the present paper adds to that development in the same spirit.NEWLINENEWLINEFix a symmetric monoidal closed category \\(\\mathscr{V}\\). Write \\(\\underline{\\mathscr{V}}\\) for the \\(\\mathscr{V}\\)-category obtained from the internal hom; this is the autoenrichment referred to in the paper's title. A monoidal \\(\\mathscr{V}\\)-functor \\(S : \\mathscr{M}\\to \\mathscr{N}\\) is called normal when the \\(\\mathscr{V}\\)-natural transformation \\(\\theta^S : \\mathscr{M}(I,-)\\to \\mathscr{N}(I,S-)\\), corresponding under Yoneda to \\(S\\)'s unit constraint \\(I\\to SI\\), is invertible; this agrees with \\textit{G. M. Kelly}'s terminology in [Lect. Notes Math. 420, 257--280 (1974; Zbl 0334.18004)] when \\(\\mathscr{V} = \\mathrm{Set}\\). In particular, \\(U^{\\mathscr{M}}=\\mathscr{M}(I,-) : \\mathscr{M}\\to \\underline{\\mathscr{V}}\\) is normal monoidal. The author proves that any symmetric monoidal closed \\(\\mathscr{V}\\)-category \\(\\mathscr{M}\\) is isomorphic as such to \\(U^{\\mathscr{M}}_*\\underline{\\mathscr{M}}\\). This means that such \\(\\mathscr{M}\\) can be recovered up to isomorphism from the symmetric monoidal closed (mere) category \\(\\mathscr{M}_0\\) and the monoidal (mere) functor \\(\\mathscr{M}(I,-) : \\mathscr{M}_0 \\to \\mathscr{V}\\).NEWLINENEWLINEA main result is that the object assignment, taking \\(G : \\mathscr{M} \\to \\mathscr{V}\\) to its canonical enrichment \\(\\grave{G} : G_*\\underline{\\mathscr{M}} \\to \\underline{\\mathscr{V}}\\), gives a 2-functor from the lax slice of the 2-category of symmetric monoidal closed categories over \\(\\mathscr{V}\\) to the lax slice of the 2-category of symmetric monoidal closed \\(\\mathscr{V}\\)-categories over \\(\\underline{\\mathscr{V}}\\). This is result is applied to enrich adjunctions between symmetric monoidal closed categories. An algebro-geometric example arises from a scheme morphism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808142$F731A9ED-D95F-40D4-93E4-E326616D3B88","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808142$A3DC1298-4F74-4969-B10B-B6133C81671B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18963c8fe3c4f64f2e25ad59c869560576c08877","datavalue":{"value":{"entity-type":"item","numeric-id":2378550,"id":"Q2378550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006875b5e3a51b45b0ddc5145b9b28e97943c16a","datavalue":{"value":{"amount":"+0.7572999000549316","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":"Q2808142$86CF7B4F-F0AB-4DC3-9CF6-15D554DE0492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e9e9b67b5bae256d149a7a9f33e6bacdfbd4d2","datavalue":{"value":{"entity-type":"item","numeric-id":3170534,"id":"Q3170534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be74a6c25e91257e4716978574927ea1c29943e","datavalue":{"value":{"amount":"+0.7549377083778381","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":"Q2808142$BA0D636B-2975-4625-B7FE-BBF494B3016F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5824f4bf85183b7bb2b6d046c5fd8ef8f4f825f7","datavalue":{"value":{"entity-type":"item","numeric-id":2699441,"id":"Q2699441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9cf0d8bed88f4dee9c055559a28fb71ad3c818","datavalue":{"value":{"amount":"+0.7534981369972229","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":"Q2808142$263F3126-A4C2-4B6C-A651-ED437FEA690F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ca9b12ad499ed5772e905578c3228a695e01e08","datavalue":{"value":{"entity-type":"item","numeric-id":4663637,"id":"Q4663637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bcfd03fbf1308795d9730d0bdeb0f97dd5000b2","datavalue":{"value":{"amount":"+0.7492029070854187","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":"Q2808142$A6118695-ED26-42CE-AA10-22C35CE23650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d2e8de658494b7d2c5c92b4f2c729144c06bbf","datavalue":{"value":{"entity-type":"item","numeric-id":5960413,"id":"Q5960413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8216e350d37f889fafbc71066d5358d2f53c60f","datavalue":{"value":{"amount":"+0.7465730905532837","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":"Q2808142$6E2AB737-8AEA-4F69-9F5D-E92FC77F390C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2808142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2808142"}}}}}