{"entities":{"Q6969237":{"pageid":21318486,"ns":120,"title":"Item:Q6969237","lastrevid":76174404,"modified":"2026-04-23T02:54:20Z","type":"item","id":"Q6969237","labels":{"en":{"language":"en","value":"Homotopical commutative rings and bispans"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8054922"}},"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":"Q6969237$5BA4EC4E-0F08-4E07-A857-96EE4CFFA8E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4711da5f82dad7cf44d5b72f89239b56976b74d0","datavalue":{"value":{"text":"Homotopical commutative rings and bispans","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6969237$4930B644-6CF3-4890-B2C6-C2955EA237CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a38d412ce1435abc278786d6407355c19bb4cf0c","datavalue":{"value":"1565.18048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969237$8D5D69EE-D2F2-4685-A3C9-BEA71F6700C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cefc0ac9159cfbe39da31e3710e6522bec6f7f4b","datavalue":{"value":"10.1112/JLMS.70200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969237$06E5BC99-0FCD-4E69-9491-CE5170841279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a97ed47a24dd924def00b2e120e72a590017f961","datavalue":{"value":{"entity-type":"item","numeric-id":6415660,"id":"Q6415660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969237$F3155CDA-7BF6-4C4F-966A-8B7A92680557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5d3199496d2e0cdb558bf328fb8e9b272259319","datavalue":{"value":{"entity-type":"item","numeric-id":303907,"id":"Q303907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969237$3C01E61A-21D1-4CDF-A25F-9C05419C5A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948eb1e82af87cce5c22b2bf09291d2acfad5a49","datavalue":{"value":{"entity-type":"item","numeric-id":705553,"id":"Q705553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969237$8B935A24-5853-43E0-A0B1-6E38B0584230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39e08ea409c2a75c350fcccb8eb66e77ccd77653","datavalue":{"value":{"entity-type":"item","numeric-id":6182798,"id":"Q6182798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969237$87BE3782-973A-473A-85AF-1EB30BA2D417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd06f03000a68ed41ca657843f37f844031b6943","datavalue":{"value":{"entity-type":"item","numeric-id":6536654,"id":"Q6536654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969237$8EC65D6A-47A8-4DFC-BC5D-38380BBAE714","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a754b90a200c95426eca411125eced4bf62de28a","datavalue":{"value":{"time":"+2025-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6969237$315E890A-F35C-4B13-B1B8-4A956925E56E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d1e2c554984a715cdc950173cfdff4f144db67a","datavalue":{"value":"Given a category \\(\\mathcal{C}\\)\\ with finite products, there is a category \\(\\mathsf{CMon}\\left( \\mathcal{C}\\right) \\)\\ of commutative monoids in \\(\\mathcal{C}\\), the theory of which can be described by a \\textit{Lawvere theory}. The Lawvere theory for commutative monoids admits an explicit description as the category \\(\\mathsf{hSpan}\\left( \\mathbb{F}\\right) \\)\\ of spans of finite sets in the sense that there is a natural equivalence\\N\\[\\N\\mathsf{CMon}\\left( \\mathcal{C}\\right) \\simeq\\mathsf{Fun}^{\\times}\\left( \\mathsf{hSpan}\\left( \\mathbb{F}\\right) ,\\mathcal{C}\\right)\\N\\]\\Nwhere the right-hand side denotes the category of product-preserving functors from \\(\\mathsf{hSpan}\\left( \\mathbb{F}\\right) \\)\\ to \\(\\mathcal{C}\\). Similarly, the Lawvere theory for commutative semirings is given by the category \\(\\mathsf{hBispan}\\left( \\mathbb{F}\\right) \\)\\ of bispans of finite sets in the sense that there is a natural equivalence\\N\\[\\N\\mathsf{CRig}\\left( \\mathcal{C}\\right) \\simeq\\mathsf{Fun}^{\\times}\\left( \\mathsf{hBispan}\\left( \\mathbb{F}\\right) ,\\mathcal{C}\\right)\\N\\]\\Nbetween the category of commutative semirings in \\(\\mathcal{C}\\)\\ and product-preserving functors from \\(\\mathsf{hBispan}\\left( \\mathbb{F}\\right) \\)\\ to \\(\\mathcal{C}\\).\\N\\NThis paper aims to show that the description of the 1-categorical Lawvere theory of commutative semirings in terms of bispans generalizes to the \\(\\infty\\)-categorical setting, establishing the following theorem.\\N\\NTheorem. Let \\(\\mathcal{C}\\)\\ be a cartesian closed presentable \\(\\infty\\)-category. Then there is a natural equivalence\\N\\[\\N\\mathsf{CRig}\\left( \\mathcal{C}\\right) \\simeq\\mathsf{Fun}^{\\times}\\left( \\mathsf{hBispan}\\left( \\mathbb{F}\\right) ,\\mathcal{C}\\right)\\N\\]\\Nbetween the \\(\\infty\\)-category of commutative semirings in \\(\\mathcal{C}\\)\\ and the \\(\\infty\\)-category of product-preserving functors \\(\\mathsf{hBispan}\\left( \\mathbb{F}\\right) \\longrightarrow\\mathcal{C}\\).\\N\\NTo establish the above theorem, the authors are forced to prove the following theorem.\\N\\NTheorem. Let \\(f:\\mathcal{C}\\rightarrow\\mathcal{C}^{\\prime}\\)\\ be a functor and assume that \\(\\mathcal{C}\\)\\ and \\(\\mathcal{C}^{\\prime}\\)\\ are rigged with factorization systems \\(\\left( E,M\\right) \\)\\ and \\(\\left( E^{\\prime},M^{\\prime}\\right) \\), respectively, such that\\N\\N\\begin{enumerate}\\N\\item[(1)] \\(f\\) restricts to a localization \\(E\\rightarrow E^{\\prime}\\)\\ at some class \\(W\\subset E\\), and\\N\\N\\item[(2)] \\(f\\) restricts to a right factorization \\(M\\rightarrow M^{\\prime}\\).\\N\\end{enumerate}\\N\\NThen \\(f:\\mathcal{C}\\rightarrow\\mathcal{C}^{\\prime}\\)\\ is also a localization at \\(W\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6969237$57601E4E-5477-4498-A658-95991DC80556","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":"Q6969237$4B5642DB-2196-4E62-931C-5221A243688B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e5b1504fc27514bbb1f6781dd7cf62c90f73732","datavalue":{"value":"18N70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969237$B9CA5730-7F1E-4EF1-91B6-74B972819D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34241b20de2da8573c83abe09669a9860b5dc190","datavalue":{"value":"18N55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969237$A54AD3F2-0DC9-4FAA-9709-05273845BDA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a130335e5ab5c718f7ec2532e11a43a80c2ff01","datavalue":{"value":"8054922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6969237$4B0EFA5D-9381-435A-92C7-F91E50166916","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6969237$79BB486F-6B20-4B9E-94A5-7F09EBFAC35A","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":"Q6969237$3992CE2C-F41C-4790-93DC-63D38720BEB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homotopical commutative rings and bispans","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homotopical_commutative_rings_and_bispans"}}}}}