{"entities":{"Q2808141":{"pageid":2818879,"ns":120,"title":"Item:Q2808141","lastrevid":58016736,"modified":"2026-04-03T11:27:57Z","type":"item","id":"Q2808141","labels":{"en":{"language":"en","value":"Enriched algebraic theories and monads for a system of arities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585655"}},"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":"Q2808141$675FBA74-F298-49CF-B210-7D35CA9918CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03c581be964baa7525591325fd393f84160959e0","datavalue":{"value":"1337.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$E5C236F3-06C6-495E-8FCC-A405A86724E7","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":"Q2808141$CD979D1C-2234-4C28-AE64-5286184C2F8B","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":"Q2808141$301D25AC-731E-4713-B89C-B83757F31E28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df9da34cf7c4115d62ca4c511d2b401d31fc1536","datavalue":{"value":"https://arxiv.org/abs/1511.02920","type":"string"},"datatype":"url"},"type":"statement","id":"Q2808141$C06B28BE-1804-41CC-A7A1-E35E84DDD27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"15ef4ac90fce9c19e763cef3f00b036ce9572d75","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/31/5/31-05abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2808141$42A30FB6-6350-4973-A1AF-FDA9D7005FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$D176C689-97FA-473B-BC72-C44D8D3EB06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$6FB0291C-FDD8-4C6D-8853-3BA9F844B30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$736EAE9C-ECC2-4953-B022-50AE468272A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$566A1C9F-E10E-478D-8653-9DE14888E603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$6BD79F1B-EACF-424F-9D9A-30930FE0AC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$BB778B11-0276-46DD-9B3B-3053F5B23819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebedb69a18d0bf7c1f5acb107dcf01e811cec172","datavalue":{"value":"6585655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$F79699E6-BC8F-4BF4-8A64-A8B432461043","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$A83CD058-D40D-47F5-B393-DAA29BCC97DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$DA532300-89B6-416C-ACC1-0A8F25904E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16af9d11a00835e78caf9a7e4b517c7849d74ff2","datavalue":{"value":"cotensor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$EA5DE099-EDD4-433F-8E32-1251F460BB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24c59644df179cb21b4d78eda05231c17cd1d55","datavalue":{"value":"Eilenberg-Moore algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$FE75A6BE-96FE-4F61-BA3E-DB7368DEF114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1eb703677cf04307e7027c285c8a2aa83472f34","datavalue":{"value":"enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$C9B2EED7-1877-490F-ABC7-D2EC0421A192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ea246aca79d058fe1d80f942986a1c169f07ac7","datavalue":{"value":"enriched Lawvere theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$721AD1C1-66D2-4C36-939B-EB45992CC3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97472ccec4d3ce86568daac7099d443bc786b5d4","datavalue":{"value":"finitely presentable object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$A5032416-31CB-40A4-9D3B-C37A1D75922F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816e19bb7f6362b1045edf130e6c2b2074c26040","datavalue":{"value":"Kan extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$DEC52DF2-01A1-49B8-B230-F9184A5F9DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39182bbb682c6fd1518bc37ae8a1f7586149b791","datavalue":{"value":"Kleisli bicategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$541A1247-8D26-442E-A1FB-73BE1A62A735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$617D0546-5271-4B67-9835-F6E23B18E982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23ae50adcd0d004a788b012b9dc00469ca8bd4e","datavalue":{"value":"ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$B1A3854D-5D5C-4128-9F42-C23D23E25DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad80aebe80196423fa694ed46354ee45d24df48d","datavalue":{"value":"symmetric monoidal closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$0BA9FEA0-BAF2-4968-BDB3-9BF1FEAF2B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fdd44300f0ef6c437db4cba6f9f8a92745c32f6","datavalue":{"value":"weighted (co)limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$C3716950-C408-47BF-9475-73ACEF884AD4","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":"Q2808141$AE1E2C7E-9FE1-4203-9041-11CA984D9012","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a72086857a526d26b745d8fc49bc0a8235236f42","datavalue":{"value":"bafkreihg63v5hhmp76y3nyxlburd34ioaurtl7q32ypifrun7lypgd2lz4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2808141$AF0D251A-B232-4E65-9BF7-EBA769857013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53c5e1df167d2cf21d7736302ea936553e1d6ead","datavalue":{"value":{"text":"Enriched algebraic theories and monads for a system of arities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2808141$9FD232EF-8BC7-4DA2-A0CF-358D53C4BEF6","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":"Q2808141$4BD1894A-4C93-411A-93D6-D4946FF6DCEB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"adab16852d6f7fb285ff4dd4e7f493a8d0402957","datavalue":{"value":"There exists several approaches to categorical algebra, motivated by the idea of universal algebra to study algebraic structures in terms of operations and equations. In particular, \\textit{F. W. Lawvere} [Repr. Theory Appl. Categ. 2004, No. 5, 1--121 (2004; Zbl 1062.18004)] introduced the notion of an algebraic theory, which provides a categorical representation of algebras with finitary operations. More precisely, an algebraic theory \\(\\mathcal T\\) is a denumerable set \\(\\{T^0,T^1,\\dots,T^n,\\dots\\}\\) of distinct objects, where each object \\(T^n\\) is the \\(n\\)-th power of the object \\(T=T^1\\). A \\(\\mathcal T\\)-algebra is a functor \\(F:\\mathcal T\\rightarrow\\mathcal Set\\), which preserves finite products. A homomorphism of \\(\\mathcal T\\)-algebras is a natural transformation. A modification of this setting of \\textit{F. E. J. Linton} [in: Proc. Conf. Categor. Algebra, La Jolla 1965, 84--94 (1966; Zbl 0201.35003)] (natural numbers \\(n\\) are replaced with arbitrary sets \\(J\\)) allows one to capture infinitary operations as well. Later on, \\textit{F. Borceux} and \\textit{B. Day} [J. Pure Appl. Algebra 16, 133--147 (1980; Zbl 0426.18004)] proposed to replace the category \\(\\mathcal Set\\) with a symmetric monoidal closed category \\(\\mathcal V\\) and take \\(\\mathcal T\\) to be a \\(\\mathcal V\\)-enriched category. Moreover, \\textit{J. Power} [Theory Appl. Categ. 6, 83--93 (1999; Zbl 0943.18003)] suggested to take the operation arities \\(J\\) to be finitely presentable objects of \\(\\mathcal V\\) (\\(\\mathcal V\\) is then assumed to be locally finitely presentable as a closed category). The present paper introduces a general notion of enriched algebraic theory, which includes all of the above examples. In particular, a system of arities is understood to be a fully faithful strong symmetric monoidal \\(\\mathcal V\\)-functor \\(j:\\mathcal J\\rightarrowtail\\mathcal V\\). The author shows modest conditions on a \\(\\mathcal J\\)-theory \\(\\mathcal T\\), which imply the existence of the \\(\\mathcal V\\)-category \\(\\mathcal T\\)-\\(\\mathcal Alg\\) of \\(\\mathcal T\\)-algebras and its monadicity over \\(\\mathcal V\\) ( Theorem 8.9 on page~123). He also establishes an equivalence between \\(\\mathcal J\\)-theories and \\(\\mathcal J\\)-ary \\(\\mathcal V\\)-monads on \\(\\mathcal V\\), i.e., those \\(\\mathcal V\\)-monads, which preserve left Kan extensions along \\(j\\) (Theorem 11.8 on page 130). Lastly, he provides a characterization theorem for \\(\\mathcal J\\)-algebraic \\(\\mathcal V\\)-categories over \\(\\mathcal V\\), i.e., characterizes those \\(\\mathcal V\\)-functors \\(\\mathcal A\\rightarrow\\mathcal V\\), which are equivalent to the forgetful \\(\\mathcal V\\)-functor \\(\\mathcal T\\)-\\(\\mathcal Alg\\rightarrow\\mathcal V\\) for some \\(\\mathcal J\\)-theory \\(\\mathcal T\\) (Theorem 12.2 on page 134).NEWLINENEWLINEThe paper is well written, provides most of its required preliminaries, and will be of interest to all categorical algebraists.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2808141$8F25CD72-1D93-446E-926C-50D9EDFAC69B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2808141$71C5E4D1-BE6B-46FB-803D-2661682E6AC3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e56c42011c4c80f2fb0f03806eb3526a9550e587","datavalue":{"value":{"entity-type":"item","numeric-id":5872361,"id":"Q5872361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e05699379d7a3accbfe70996159718cae66c341","datavalue":{"value":{"amount":"+0.8484045267105103","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":"Q2808141$AA76A692-81C8-43BC-BEF7-2EE3632DFCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24d39fdb3393bafbdf59c6855322816e5c905008","datavalue":{"value":{"entity-type":"item","numeric-id":4704209,"id":"Q4704209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6731acf60c63b0f391e2f472163e87cae27d108","datavalue":{"value":{"amount":"+0.8237179517745972","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":"Q2808141$ED7B9F15-2CC1-4AAD-AECA-8F4BA6135DFD","rank":"normal"},{"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":"8095ca800ac3ecccffbc5a387ee0ff6fd164cfb6","datavalue":{"value":{"amount":"+0.8213251233100891","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":"Q2808141$F0216BA0-C7BA-4E7B-A761-D4C34DCB9039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ab4d4e087fbdf6473496a83c16828a5a5c8ac43","datavalue":{"value":{"entity-type":"item","numeric-id":722250,"id":"Q722250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0d9d3bccc9b75fe419bc70da62f3d1574e92693","datavalue":{"value":{"amount":"+0.8133168816566467","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":"Q2808141$D194A088-D8E0-4512-8A45-595FD3B17F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bcc0735778ee8f3d439612ceb5757a51c8592f2","datavalue":{"value":{"entity-type":"item","numeric-id":4637686,"id":"Q4637686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0713c65e791286cd7604080da5289dda9c4e8feb","datavalue":{"value":{"amount":"+0.8047560453414917","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":"Q2808141$38ABBF4A-0267-40B1-80F2-BC61F0A2870D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2808141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2808141"}}}}}