{"entities":{"Q1578071":{"pageid":1588811,"ns":120,"title":"Item:Q1578071","lastrevid":47009805,"modified":"2025-12-26T01:16:13Z","type":"item","id":"Q1578071","labels":{"en":{"language":"en","value":"A coherent approach to pseudomonads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1496437"}},"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":"Q1578071$7C213816-6089-4B3C-A7C6-26CA1A871558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e1ff8e3a0ccc91d39321d21b69fd4944b4020bc","datavalue":{"value":{"text":"A coherent approach to pseudomonads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1578071$E30E6A0F-EE99-4B5E-B250-6E2700E58C25","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93c0e4422d574c4ec2ff2372dac5b123a389132e","datavalue":{"value":"0971.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578071$F373A158-D312-4B95-A3C1-6082C6874B73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072eccf7c5410d4251bc74bb0051dfd105c0c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$BD6B1A22-36C8-4B27-AE2B-4AB46A00C059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$272776FA-7F75-4028-87F6-660CEFFF0B1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32b619a966303d6fa593d9bfbe46a08b64a9a63d","datavalue":{"value":{"time":"+2001-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1578071$BE5F0657-2F6E-41BB-B5BF-B7838C2583F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fbeec433347b3ec608d063436e537a2596b28451","datavalue":{"value":"A monad (= triple) on an object \\(A\\) consists of an endomorphism \\(t\\) on \\(A\\) together with multiplication and unit 2-cells which satisfy associativity and unital equalities. This notion makes sense in any 2-category (or even any bicategory). A pseudomonad has the same data plus coherent invertible 3-cells replacing the equalities. This notion makes sense in any tricategory; however, in view of a coherence result of \\textit{R. Gordon}, \\textit{A. J. Power} and \\textit{R. Street} [``Coherence for tricategories'', Mem. Am. Math. Soc. 558 (1995; Zbl 0836.18001)], the author works in a Gray-category rather than a general tricategory. It is classical that a monad gives rise to a co-augmented cosimplicial object of \\(\\text{End}(A)\\); in fact, a strict monoidal functor from the monoidal category \\({\\mathcal O}rd\\) of finite ordinals to \\(\\text{End}(A)\\). The author constructs a Gray-monoid \\({\\mathcal O}rd\\)' such that a pseudomonad amounts to a Gray-monoid morphism from \\({\\mathcal O}rd\\)' to \\(\\text{End} (A)\\). Rewriting techniques are used to prove this. The paper then discusses algebras for pseudomonads and other aspects of the ``formal theory of pseudomonads''. This paves the way for an alternative approach to \\textit{F. Marmolejo} [``Distributive laws for pseudomonads'', Theory Appl. Categ. 5, 91-147 (1999; Zbl 0919.18004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$7A130123-9AA9-4D8B-8496-7C1104F8CACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578071$1686D55D-378F-4DAA-A618-2F4583831909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578071$05BD81B5-8298-4440-941B-6845C773C91F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afc57d02fd4c908d55a8e61fa1a27022b09de937","datavalue":{"value":"1496437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578071$F304FFE2-5B74-4DF2-A34D-58BB62EDC9C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85c9519fd350627e55d6a8dcc2d44b0111dffc37","datavalue":{"value":"pseudoadjoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$4C17A57B-C252-477B-867C-45157E4B4125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b97770dafe90ab5fbae436b3341239cba254a17","datavalue":{"value":"weighted limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$810F3AE9-39A2-4B78-942E-D25DB776E7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$3D6EA7BC-883E-4BC6-A032-DC0891B5C9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c81a1d4608f72f85fc621c021f31688365bbed4","datavalue":{"value":"Gray-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$1E1BA626-5F27-43B8-B6D0-F838A3544A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb21bbd1ab86526ad8a2e2f6e238316253c1b97","datavalue":{"value":"tricategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$63E45016-6A98-40A6-A32D-8AAF1A439BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07466b577bdda1fa259d1bf2c0e1cd1c82635d82","datavalue":{"value":"pseudomonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578071$E9C6BABB-013E-47B4-BAD4-709C3D1B9412","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":"Q1578071$30EE779B-8207-402B-A1D9-B3611077BDAA","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":"Q1578071$A28B080D-8DE6-4447-BC2F-6E2374DEC80F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29904db6801cc73645e09adc7a69e751927f8ba2","datavalue":{"value":"https://doi.org/10.1006/aima.1999.1881","type":"string"},"datatype":"url"},"type":"statement","id":"Q1578071$B2BF8DE1-0935-46F8-9C3C-82A5D5B23EDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"78fbcfac9126cd605a08ae919170334e7405e46f","datavalue":{"value":"W2093328479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578071$295CC0D5-F44C-48D8-ADDA-1556CB27C865","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"129c81f86b6d0c323db7ec7d9bfcdb274c4c975b","datavalue":{"value":{"entity-type":"item","numeric-id":5579535,"id":"Q5579535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$3D2AFD8B-9C08-412C-AB25-1C46556600B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$221A9715-1F07-40E2-AE9D-61F5D5624C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670706dc3fbbacae417345d1d5b33f448308dc3","datavalue":{"value":{"entity-type":"item","numeric-id":1362171,"id":"Q1362171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$C80B2F7C-E913-4A63-913F-D736637DC89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b24aa434a4958ff197c3a4373c175de86dfa4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$5BCB0283-9265-4330-926B-B75C9F1F20B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$6C99F269-892D-4499-B0D0-A658ED33B071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b11fa8cf695c49f1d09cf662d55b6511460b904","datavalue":{"value":{"entity-type":"item","numeric-id":5549833,"id":"Q5549833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$5D7CE309-DA5A-4C28-A7E0-7F749BD9B2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$E4E85DC7-CB8E-40CF-B7C7-5726196AC99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$6B16F709-78DC-4E0A-84BB-2821593249F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c43881feb463bdd750670d0a90e518e2232c0665","datavalue":{"value":{"entity-type":"item","numeric-id":4342436,"id":"Q4342436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$71FE0BC7-685F-4450-917F-76C24C9C2031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fd745f9bcb0a49d34aeb6509962ebd3361dd8c","datavalue":{"value":{"entity-type":"item","numeric-id":4238518,"id":"Q4238518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$F4E27714-AE0F-4178-85A7-A52A6C570C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da08513c49f55c5a21885e3cee3df56dcf0e19c5","datavalue":{"value":{"entity-type":"item","numeric-id":1118027,"id":"Q1118027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$F3A58046-0D0B-4A41-B791-94F7AFB4CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ae97b483420d175a59bc2a99668ebc187070ca","datavalue":{"value":{"entity-type":"item","numeric-id":3720767,"id":"Q3720767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$C83B61AF-85AA-4B84-A649-C7FEB85C9D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede90199834ac93adbde20330457962be9e2ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":2553668,"id":"Q2553668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$912CD58A-A149-486E-BFE6-B2072CABF0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$B12D8184-B185-40E9-8881-72AD61D80E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa432d0b269d7d5978ebadd6092efcfb6a3503b","datavalue":{"value":{"entity-type":"item","numeric-id":2883127,"id":"Q2883127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578071$4C157370-7FF0-44F2-A2BE-732B98DF1E22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea6448386011eb571d046f4925c60bece8646a83","datavalue":{"value":"10.1006/AIMA.1999.1881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578071$71A59692-579D-4594-B249-5482423D30C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cb89f1c740ff50e77caa5ab39422a0e5e5fb8d","datavalue":{"value":{"entity-type":"item","numeric-id":5150014,"id":"Q5150014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d05b3800868c338762da665ec70f60fc99d6e330","datavalue":{"value":{"amount":"+0.8296093344688416","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":"Q1578071$10F35F6E-17DD-411E-8911-F7425C277033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8077f6c64980653d86ad0e34347e11823b76909c","datavalue":{"value":{"entity-type":"item","numeric-id":4238518,"id":"Q4238518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad6fa0a1f1998669be88ef68892709b45abcbb5","datavalue":{"value":{"amount":"+0.7930235862731934","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":"Q1578071$8F7A6BD8-3855-4124-BF66-30A044AF9218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf2229fc18009790ca0e6134f50b9f0d03db12d","datavalue":{"value":{"entity-type":"item","numeric-id":2847367,"id":"Q2847367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a243c36f70c06f076568656438864ea7e3886bf5","datavalue":{"value":{"amount":"+0.7658047676086426","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":"Q1578071$40969A44-7098-4427-81AF-39BEE80D0C5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1578071","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1578071"}}}}}