{"entities":{"Q6925595":{"pageid":21056617,"ns":120,"title":"Item:Q6925595","lastrevid":84131807,"modified":"2026-05-10T22:04:50Z","type":"item","id":"Q6925595","labels":{"en":{"language":"en","value":"Pushforward monads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8097739"}},"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":"Q6925595$EF34E18A-642A-4D8D-8FFF-205E9F8F4159","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40486e88360742a7b02140e91504f4015d27c985","datavalue":{"value":{"text":"Pushforward monads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6925595$4C7BCBAF-2AD7-475F-91A6-50A2089FBB91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"226cb3ca5bfb0e231a8f10315bde8e9aab0a66c8","datavalue":{"value":"1573.1801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925595$CF58B7D1-8406-4616-99B9-F18011383129","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82deabfb41b23170845acd72714a23e3de6c246f","datavalue":{"value":{"entity-type":"item","numeric-id":6732934,"id":"Q6732934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$88670FD1-90EE-447A-AD40-F3AF612AC5A9","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":"Q6925595$F394369D-5532-4A34-8369-0CDD0BC80F49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e4d35ab81cabaf95bc563e9fb08a1e3335319aee","datavalue":{"value":{"time":"+2025-09-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":"Q6925595$13EE71A7-691B-4BA4-AAFB-C0B38333DBE5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f17084b96d376297e07f7fee99b8113ecdce5a9","datavalue":{"value":"http://www.tac.mta.ca/tac/volumes/44/30/44-30abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6925595$7145ABFB-880C-4FB0-B505-C290879DCC1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b0c104a296f58177f01c06ba39ce60f9fba5ccc","datavalue":{"value":"Given a monad \\(T\\) on \\(\\mathcal{A}\\) with a functor \\(G:\\mathcal{A}\\rightarrow\\mathcal{B}\\), the right Kan extension of \\(GT\\) along \\(T\\), when it exists, has a monad structure, the monad of which is the pushforward of \\(T\\) along \\(G\\) [\\textit{R. Street}, J. Pure Appl. Algebra 2, 149--168 (1972; Zbl 0241.18003), p.155]. This paper explores the property of this construction, studying several examples.\\N\\NThe synopsis of the paper goes as follows.\\N\\N\\begin{itemize}\\N\\item[\\S 2] develops the theory of pushforward monads in a general 2-category. A universal property satisfied by pushforwards with respect to lax transformations of monads is established (Theorem 2.1.7). The author also identifies a new kind of universal property of pushforwards with respect to colax transformations of monads (Corollary 2.2.6), which later allows of generalizing some ideas already present in \\textit{J. Ad\u00e1mek} and \\textit{L. Sousa}'s work on \\(D\\)-ultrafilters [Adv. Math. 377, Article ID 107486, 42 p. (2021; Zbl 1461.18003)].\\N\\item[\\S 3] specializes the above results to the 2-category \\textsf{CAT} of locally small categories, giving sufficient conditions for the existence of pushforwards (Proposition 3.1.5) and for the possibility of their iteration (Proposition 3.1.6). The existence of two adjunctions between categories of monads is established (Theorem 3.2.3), which implies that the concepDt of the pseudoconstants of a theory appears naturally from the consideration of pushforwards along \\textsf{Set}\\(_{\\neq\\phi} \\rightarrow\\ \\)\\textsf{Set} (Example 3.2.5). The last subsection demonstrates that codensity monads are stable under limit completions (Proposition 3.3.5), relating them to \\textit{Y. Diers}'s theory of multiadjunctions [J. Pure Appl. Algebra 17, 153--170 (1980; Zbl 0434.18007); J. Pure Appl. Algebra 22, 57--74 (1981; Zbl 0466.18003)] as well as \\textit{W. Tholen}'s \\(\\mathcal{D}\\)-pro-adjunctions [Can. J. Math. 36, 144--155 (1984; Zbl 0529.18002)].\\N\\item[\\S 4] studies explicit examples of pushforward monads, examining the pushforward of three different families of monads on \\textsf{FinSet} along the inclusion \\textsf{FinSet}\\(\\ \\hookrightarrow\\ \\)\\textsf{Set} bsed on \\textit{J. F. Kennison} and \\textit{D. Gildenhuys}'s result [J. Pure Appl. Algebra 1, 317--346 (1971; Zbl 0234.18006)]. The most striking of these is the pushforward of the powerset monad, which is identified as the filter monad, whose algebras are continuous lattices.\\N\\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$35226A79-3368-4183-A72C-460BB17A49D2","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":"Q6925595$323BD87B-0DDA-4565-A584-237074238D2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925595$BED58CAF-DB8A-44BB-80D5-92FE9AA23730","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"846fcef7f670a15bd9836b2543f2d55447f56c45","datavalue":{"value":"8097739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6925595$9D3B881F-062D-453F-A651-B100AAE6DB4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"586494624e1907d24a0a3144688491f0bf85845a","datavalue":{"value":"codensity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$DB1888ED-EF4A-47F6-86A9-6440DDED3EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43cf4365a40ecc85ff4f474d74e212632622b341","datavalue":{"value":"pushforward","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$7E35545C-7220-4F27-B5E1-51E3DAA42518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$9037BE52-4EF1-4DA6-B0C6-181CAABCAA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c89a1b5fbcd1d35947712c0498983af4a50d48c","datavalue":{"value":"limit completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$0297D463-3F07-4C6B-ACEB-E7513FBEF8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816e19bb7f6362b1045edf130e6c2b2074c26040","datavalue":{"value":"Kan extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$DB57BAC6-0B61-47B3-AADA-FF85B8B566F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c31cdfe59a3a4ad17e962d37df5a937a7726ed","datavalue":{"value":"powerset","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$43128335-5D1F-4A11-990E-6FD195EB9DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$F77A562B-5943-4720-9729-A87A7E5AEFB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c07e461ea895d5e1f93a1913d4b00eb39ee936","datavalue":{"value":"ultrafilter","type":"string"},"datatype":"string"},"type":"statement","id":"Q6925595$C6B370AB-9100-4146-86FC-93A5B2968DE6","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":"Q6925595$70D68DF2-B2BC-4CD8-8A1E-29C9C34BDB03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b81dafd5c8cc8e6d94ebe187b41f4b530841961","datavalue":{"value":{"entity-type":"item","numeric-id":2986780,"id":"Q2986780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$19BEA99A-82A3-4120-A8E9-26495DDA5CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f97afcd4bbca50f0dee53e4ebddd916ce9ca31","datavalue":{"value":{"entity-type":"item","numeric-id":5243045,"id":"Q5243045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$0F7EB136-FA21-4CAE-8407-0CF28F263651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d3fa30bbfff982301b8c91ba0496150fa03151e","datavalue":{"value":{"entity-type":"item","numeric-id":2217539,"id":"Q2217539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$D5278491-A7DE-489F-B97A-3DDAF2112C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a80db76b9015970cbaba7899677c020f7ac734c","datavalue":{"value":{"entity-type":"item","numeric-id":4081432,"id":"Q4081432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$CDAE9003-9B77-4983-927D-F868A481F06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59803ec1dd54bf69a76109cb306c4be25b65c115","datavalue":{"value":{"entity-type":"item","numeric-id":890663,"id":"Q890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$6FD0BC8D-DB6A-4AE5-853D-A4297002CBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e11e9b8026c2c11ff68c67302ba44fc57ce3b94b","datavalue":{"value":{"entity-type":"item","numeric-id":5004671,"id":"Q5004671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$362C779B-25A0-4B2C-B409-EAC016D897F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$6941A697-9277-48E6-BA6A-1D2C6D8C7DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f6c418ccfb54cf7b158a3eb2ac670e115dbdf6","datavalue":{"value":{"entity-type":"item","numeric-id":986072,"id":"Q986072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$9B9F0DE1-0724-4992-A41F-C8A852B056AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$053A3D9C-2C98-4AA6-972E-DD1994A60531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4d34aa922ba1e858cc09cb834d96e26eb64342","datavalue":{"value":{"entity-type":"item","numeric-id":3876101,"id":"Q3876101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$426F1BE3-41EC-44E3-BBFC-3BA9A72BD32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefab3308dfa4109a393196f360fe69cf91ed110","datavalue":{"value":{"entity-type":"item","numeric-id":886254,"id":"Q886254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$AAB76763-012B-46C3-A491-3682906E660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8809e2d4d3f2b31aa57cb635984792721cbc080d","datavalue":{"value":{"entity-type":"item","numeric-id":2176087,"id":"Q2176087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$6488A89D-6E07-49ED-BD13-D52EFAB4D79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2947aa9ef4c36ad247960bfb289d4cb37d513dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5966504,"id":"Q5966504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$4797448D-248C-4CA2-BED9-45193B5BEBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a93b88cb87dc7a66c13f33ce2602b75b9715f8","datavalue":{"value":{"entity-type":"item","numeric-id":3947811,"id":"Q3947811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$A86566A8-769D-448A-9986-68D0AB740237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58ca95d5ede34b2909fdee7f84b16553ce35d10","datavalue":{"value":{"entity-type":"item","numeric-id":1155129,"id":"Q1155129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$BB1A51C8-8BCF-4736-B415-EAB61C84D376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"067f1f0c034defb5d2268857711a76a1f5f8c51f","datavalue":{"value":{"entity-type":"item","numeric-id":2307527,"id":"Q2307527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$5A9D0310-0446-41D7-BACC-F539D5C08567","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":"Q6925595$FDDBD6EE-06D8-4348-8F07-F6521C273F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e43a5dc38a47135e9fdaef665c28625e8f758693","datavalue":{"value":{"entity-type":"item","numeric-id":2551508,"id":"Q2551508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$F01CA9AA-4441-4436-B5C1-812EB632869A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16bbc2004c97d7cdb78bdc3c701291fe2fff79cd","datavalue":{"value":{"entity-type":"item","numeric-id":1850104,"id":"Q1850104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$593F3F85-FCE7-4FA8-8D6A-544466D64BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f646d259c8fc96c4019f60102d04c71887c56cdd","datavalue":{"value":{"entity-type":"item","numeric-id":2847366,"id":"Q2847366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$9C8C49AB-EEEE-4F41-92BF-62718CC12BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9990ab53676ce82206bee6b215cf08d74ea92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5579534,"id":"Q5579534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$492DAA01-9811-4F4D-9AD9-6C1DB8AA6CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4803ac1dfd7e712c9357e4065d61c27bacbf46f","datavalue":{"value":{"entity-type":"item","numeric-id":4605363,"id":"Q4605363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$5B063284-8264-4D98-A778-58230188643C","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":"Q6925595$5ABFD5F4-5244-44D2-9E6F-FDCDD43AA4F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$97AB96BC-3FC8-49EB-AEC6-368CCAFFD5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344be86cf5b09816b8f8ce9eb7b2c30224f19f71","datavalue":{"value":{"entity-type":"item","numeric-id":3646425,"id":"Q3646425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$411982CE-99C1-4E17-BE13-718CB595B471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbe31419c2782b754e1c0d7b28f35431522013ba","datavalue":{"value":{"entity-type":"item","numeric-id":1255083,"id":"Q1255083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$02FB7EE4-18A0-4070-B411-70EFF0BF5B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afd3f1a209daf30a2b30423d512796782c950bc","datavalue":{"value":{"entity-type":"item","numeric-id":3310797,"id":"Q3310797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6925595$44B01234-C05F-49A9-B0F6-5DED607F829A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pushforward monads","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pushforward_monads"}}}}}