{"entities":{"Q2432584":{"pageid":2443327,"ns":120,"title":"Item:Q2432584","lastrevid":44074398,"modified":"2025-11-19T17:20:20Z","type":"item","id":"Q2432584","labels":{"en":{"language":"en","value":"Universality of coproducts in categories of lax algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5067407"}},"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":"Q2432584$28DA9D4D-B6D1-4F5A-A3C8-B05324A2DABF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60411d9d8285cd34967afe8fa579d71aaaefd925","datavalue":{"value":{"text":"Universality of coproducts in categories of lax algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2432584$76C9DF22-5F66-4A29-BE14-D946EB670B5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84dadc3aaf9b35ee266d2310d3178b274d3964b3","datavalue":{"value":"1103.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432584$0DE89839-7EDD-405F-8ABB-36BF51E41972","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae88561f4474fdcb0da2b007af2999d3e69f8fc","datavalue":{"value":{"entity-type":"item","numeric-id":262977,"id":"Q262977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$F136D0EC-2B30-40B1-AD00-F90FF98FB714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8862bdd87ff9d295a7766d0478d58b0190fc69ae","datavalue":{"value":{"entity-type":"item","numeric-id":1023290,"id":"Q1023290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$7DED834A-A3E8-4397-93FE-F5CC1589FBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"399d16b20c2e0544638ddc885ece23e0107e4491","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$82D88DB4-3D2A-42F7-A5A6-4DC10C2BBFBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$B0215E7F-AE53-49E8-846C-A2A873F84B84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"524490ea1b25be9690e11f6569cdb524b84ba54c","datavalue":{"value":{"time":"+2006-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2432584$0C80FD20-93D6-4887-A741-F9F281D84B66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab49c731dbbbde085f4c81e14f0c231ec8a5221f","datavalue":{"value":"The authors study categories \\({\\mathcal A}lg(T,V)\\) of lax algebras for a lax 2-monad \\(T\\) on the 2-category \\({\\mathcal M}at(V)\\) of \\(V\\)-valued matrices. Here \\(T\\) extends a monad \\(T_0\\) on the category of sets and \\(V\\) is a complete monoidal ordered set. The basic example, with \\(T_0\\) the ultrafilter monad and \\(V\\) the second ordinal, has \\({\\mathcal A}lg(T,V)\\) isomorphic to the category of topological spaces [see \\textit{M. Barr}, ``Relational algebras'', Lect. Notes Math. 137, 39--55 (1970; Zbl 0204.33202)].   The present paper shows that coproducts exist in \\({\\mathcal A}lg(T,V)\\), and are pullback stable, if \\(T\\) preserves inverse images. This is the case in the basic example; the general situation can be seen as a lifting of the example through a concrete functor.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432584$F2A86BFE-1CCC-4982-846E-15EA1BFCC02E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432584$6F2D7917-EA69-462F-B065-3B3F7DF1484B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432584$0CB1FCBB-DD96-461E-B7EA-EC76A9FFAD5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7115af4383c63f94adc0530265b1bfee8d942b8f","datavalue":{"value":"5067407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432584$DA106E89-DDDC-4EC2-AB07-089751CAE9F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f37a034e647f80843b21640ec1d9b6824b15e6b5","datavalue":{"value":"relational algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432584$C9F3CE53-3D4B-4705-A69C-13DD4D5DD9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432584$E5AD9869-08CD-4415-81BB-AB1023569B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432584$0A722B7C-CD67-4FB9-82DE-6C2C4899F0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266de444ad78d8e616aef847fb5e6cca08340e30","datavalue":{"value":"topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432584$726F26D9-CA4B-480C-B950-98FD96FEBA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f2c10020356dcf03a08691684751f3638cbda0f","datavalue":{"value":"ultrafilter monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2432584$960F8DF9-AC23-41CB-AFB2-AB673DB7A51F","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":"Q2432584$14EA44B4-0F4A-43BE-ACD7-8C74B9B29C40","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":"Q2432584$FCD5E0BD-4F24-4237-BD5E-AB50706FC838","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"117bb08386328f0bd9d22ca4b1efaafa263d8677","datavalue":{"value":"https://doi.org/10.1007/s10485-006-9019-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2432584$8CA1B57E-1EF6-4FE1-A4EB-87AC42A800D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2109beb9bf14b9e57e39b515e240b9801d18ebe6","datavalue":{"value":"W2038808199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432584$86367E43-0926-4C65-B11F-D68946FDCD57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$9C257EDE-FF69-4829-8829-DB98535B58E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6c66a0ee7a51326a22e108514a798836237db0","datavalue":{"value":{"entity-type":"item","numeric-id":1771116,"id":"Q1771116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$09462D24-E244-4737-8188-40983E9B1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461e09c6e32527e9db41b384482aef4b9a7e5ece","datavalue":{"value":{"entity-type":"item","numeric-id":1430170,"id":"Q1430170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$9884AF11-52C4-43D0-9A47-5B180678472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93a895e3cc27a5ea8287b33021c6e1ee391c859","datavalue":{"value":{"entity-type":"item","numeric-id":793141,"id":"Q793141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$E5E61179-8D31-4673-A51B-49C21FB451D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddb2b0c4ada2e2771332088612b74bfc567c2488","datavalue":{"value":{"entity-type":"item","numeric-id":5941161,"id":"Q5941161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$1A0FE2AB-298F-476E-B89A-CEA34E1E09A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fca8fbe79b51b51ab155c189be775a403eccd3e","datavalue":{"value":{"entity-type":"item","numeric-id":1870523,"id":"Q1870523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$B7EE59FD-AC2E-4DB6-9DB2-C10333433A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e4ce97ba245a7b7767469d15f80bde38c4ff9c","datavalue":{"value":{"entity-type":"item","numeric-id":5701007,"id":"Q5701007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2432584$E96DB1AA-A491-48BC-9177-1B5E3E7BC05A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cd5f2c273328a414af56bf93b06f419cfe7ef12","datavalue":{"value":"10.1007/S10485-006-9019-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2432584$678F686F-B59A-4234-BBFE-789C988DFBED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d064a18f306bea8e7bbf2fda0d55218c0751883","datavalue":{"value":{"entity-type":"item","numeric-id":1342133,"id":"Q1342133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ddb2956734652bc9e2a6512eacbbb1a5d1fbe6","datavalue":{"value":{"amount":"+0.90762657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$CE94A0C3-817B-4A65-8A9C-CD2E74A51A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6d877968b61393c0084acd27256705e9085f59","datavalue":{"value":{"entity-type":"item","numeric-id":3681005,"id":"Q3681005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b778f945a4cff49c480165a9d6b81be4ba2cc62","datavalue":{"value":{"amount":"+0.8956992","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$AE9AABD4-E221-4500-9A48-09BED23CE19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc4e479b353d08fd98df23da4a71607c34499e8","datavalue":{"value":{"entity-type":"item","numeric-id":409255,"id":"Q409255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc03f0b2cef7a0aa3888c80aa62e985c1d2db1e","datavalue":{"value":{"amount":"+0.8869229","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$9CB385C9-96CB-42C1-9CF0-55724C4C28B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b14ac3931842365cb49462fe460d4ed5a065930","datavalue":{"value":{"entity-type":"item","numeric-id":607458,"id":"Q607458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa31efe47751f80de36ecde6aca67e161610530","datavalue":{"value":{"amount":"+0.879329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$DBB0F691-4096-4AC8-A668-EE4FF3CA860F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a491b3c910035f6df95fc56f87abe8ee32e9ebdd","datavalue":{"value":{"entity-type":"item","numeric-id":3030875,"id":"Q3030875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5bf6f55916d221e55af04d125228517cf0e67b","datavalue":{"value":{"amount":"+0.8785788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$14752763-DA96-4E03-9A1C-E091A7DCBA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16cfc7a7256994b7860d81d435faeb3ea5135761","datavalue":{"value":{"entity-type":"item","numeric-id":4869657,"id":"Q4869657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f566caa8395dc1d154396ffb0742850f6e60ce43","datavalue":{"value":{"amount":"+0.8777691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$2D70B855-BEB1-4212-B2E8-A9BC3B730ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3e58ae03de7edaa34ef577a5295ebd6752ee3a","datavalue":{"value":{"entity-type":"item","numeric-id":1318103,"id":"Q1318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe32d5b36049041500ba8f881c2fee3da0c34eb7","datavalue":{"value":{"amount":"+0.8749276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$4E5285C0-B2BA-43A5-9F51-B451585C3146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6744425c4efdc7a6cfde27cb34acaeb7248d91","datavalue":{"value":{"entity-type":"item","numeric-id":5688185,"id":"Q5688185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756581f0ac2a46296ea26447c55533f0d5c6ad16","datavalue":{"value":{"amount":"+0.8748743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$6B590750-FA71-46D2-8DCD-FC0344D29C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb2b7d2f3e0f1ca234a013ece813efae7000b1fe","datavalue":{"value":{"entity-type":"item","numeric-id":6113790,"id":"Q6113790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dd4787349fb0ed9647620931bb914efc68e3b8e","datavalue":{"value":{"amount":"+0.87401325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$EC258DBE-A65F-4928-A9F6-8B5A0405C821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc7a29a622b5b617f9a9660681ded843fd40c0b","datavalue":{"value":{"entity-type":"item","numeric-id":809106,"id":"Q809106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00316f147971f12f7966c1e8a6116748945e0815","datavalue":{"value":{"amount":"+0.8731347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2432584$3DB421F4-A9E4-4A19-8A73-A11B10169DF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2432584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2432584"}}}}}