{"entities":{"Q2360802":{"pageid":2371545,"ns":120,"title":"Item:Q2360802","lastrevid":57877143,"modified":"2026-04-02T22:09:23Z","type":"item","id":"Q2360802","labels":{"en":{"language":"en","value":"\\(\\infty\\)-categorical monadicity and descent"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6736884"}},"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":"Q2360802$A9038A45-B4BD-473B-9EB5-4C36833F1CC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"260105d23dbeaf51ab6ed65f617a05a038c16a7b","datavalue":{"value":{"text":"\\(\\infty\\)-categorical monadicity and descent","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2360802$5F0A3AC3-77D8-4D9F-8EF5-6D14A2701E07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd4935cc0cacdf90f5a067ca8a75fab1a558b8d0","datavalue":{"value":"1366.18017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$52A440DA-B7CB-4927-A440-D828772030E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8af07b745986e016d41c5a3e126713c203de618","datavalue":{"value":{"entity-type":"item","numeric-id":2360801,"id":"Q2360801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360802$D368CDA7-D207-4162-BEC3-D8944F96FF5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360802$05822CAE-2B68-4C83-A581-24B6C2DB3340","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b1628a179109832362b66a360ab34948eefb8d4","datavalue":{"value":{"time":"+2017-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2360802$6B745C21-8FD1-43DE-818A-5E54A707A6C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d34f7c2140efdc5a130ab8e3bb5bb9fa4e230cea","datavalue":{"value":"https://arxiv.org/abs/1609.05642","type":"string"},"datatype":"url"},"type":"statement","id":"Q2360802$C1591E92-FABB-4DDF-A78B-EB6B04BAA91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd809e3ad3d7bc13b13522951204157c83706180","datavalue":{"value":"http://www.emis.de/journals/NYJM/j/2017/23-35.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2360802$AE608178-1B1E-48F9-996D-B1454DA707FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"907fbcafc9ca3be3b257b36359c4e23e330f2e4a","datavalue":{"value":"This work gives a contribution to the study of monadic adjunctions and descent in a very general and abstract framework, from higher category theory. Its setup is \\textit{\\(\\infty\\)-cosmoi} (see Definitions 2.1 and 2.7), which come from the works by \\textit{E. Riehl} and \\textit{D. Verity} [Adv. Math. 280, 549--642 (2015; Zbl 1319.18005); Adv. Math. 286, 802--888 (2016; Zbl 1329.18020); J. Pure Appl. Algebra 221, No. 3, 499--564 (2017; Zbl 1378.18007)].  Given a \\textit{homotopy coherent monad} in this context, one may define the \\(\\infty\\)-category of \\textit{homotopy coherent algebras} over it (see Definition 2.34). Every \\textit{homotopy coherent adjunction} gives rise to a homotopy coherent monad and to a comparison functor from the source of the right adjoint to the category of homotopy coherent algebras over it. The main result of the article (Theorem of its Introduction) gives a necessary and sufficient condition so that this comparison is fully faithfull (see Definition 3.2 for the meaning of this notion in the framework of \\(\\infty\\)-cosmoi).  It is applied to a very general notion of \\textit{descent} (see \\S 3.3), which is the main motivation of this work, in particular to some kind of \\textit{descent spectral sequences} (see \\S 3.4).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360802$E6A79CF9-9D11-43DF-B12A-EDEFC39F33E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$7F942C88-A736-4857-8C03-27B0AE336306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$42B1776A-A452-4032-8331-5907B72DBBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$C089518A-A851-45B4-91D7-8C5D08E56552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2e075a5a1ca77ffa965955326fd987018bc8e144","datavalue":{"value":"18A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$9496C194-49B0-444B-A607-612EDCB27281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$9DD19BF8-70A0-47C4-8A69-6C7B121E6394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3476e1414024b63d1891ee4733ade3e7579c02ec","datavalue":{"value":"18G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$3581DBF5-9576-4F57-8D78-A49140B627B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07755b398e15d10f61be28030e66a85be6715fe4","datavalue":{"value":"6736884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$3C63E057-C979-40C3-8042-93057B4BD132","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c5db4c949fa50bdc33976184f143210d7797ad","datavalue":{"value":"inifinity-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360802$BA896103-FBF0-473F-ADDB-ED4A0A9CDDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4464091f65a39731df435688abb9c1d6a570d7e4","datavalue":{"value":"infinity-cosmoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360802$2C813592-AF8E-40C7-9D25-2CD6CA8F0072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b67cbc756f5cf6ef304d758432002f60e28e3e8","datavalue":{"value":"adjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360802$17CE4237-B9F8-4F61-AFE6-7D6E295B20A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a236a4a9881a761a93f593b6fc0a0e9903a99925","datavalue":{"value":"monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360802$6F8075B5-04B5-4C88-8EDD-52F1FA818EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e849dc370684bbe6a203576f5bafe2b80d51a6cd","datavalue":{"value":"descent","type":"string"},"datatype":"string"},"type":"statement","id":"Q2360802$15AD0092-AE62-4676-9B89-8BCCF3BBF7E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6bbd2aa9f430c0d23c235f50548ac357363c8a2","datavalue":{"value":{"entity-type":"item","numeric-id":288656,"id":"Q288656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2360802$1EBF31BF-920E-48CA-8A13-7B05656E6431","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":"Q2360802$9ADD0CF0-BDD3-4C5A-B2BB-A229E029EB40","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"2e91ed2e665152164032ee7cb940798fbf1f20da","datavalue":{"value":"bafkreibvjrqlz4oph4n4areaiqcagodajv72yicn2opadtkeb5xwnitx2e","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2360802$02A69399-BCE9-4220-AD94-CE874ECF08D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af535aa406bff25d98864966eaa094973cd79ac9","datavalue":{"value":{"entity-type":"item","numeric-id":890142,"id":"Q890142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa7101851cba9cb50d2fa8d8576a1d86ba96cfa","datavalue":{"value":{"amount":"+0.7833998799324036","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":"Q2360802$B150972D-DEC2-41C9-A50D-AD2B17A47A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83ec8efac1657ab22c75ce83839df66f46d11513","datavalue":{"value":{"entity-type":"item","numeric-id":3411959,"id":"Q3411959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e504ad1118fdd7ce56791ffe567e8e275c32ef9","datavalue":{"value":{"amount":"+0.7766809463500977","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":"Q2360802$23FC8AD2-B805-4758-AC90-0E90517BBF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11578ce7cb5d099ca4df0847ffa7c45d732887ed","datavalue":{"value":{"entity-type":"item","numeric-id":2069827,"id":"Q2069827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd265ef684b5cb94f51cd364b9ba31c322e8efc","datavalue":{"value":{"amount":"+0.7757688760757446","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":"Q2360802$EE5A02C6-AC5B-4832-89D7-0718181820BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487c14b1263c45c2161d0504bb585e960e25303d","datavalue":{"value":{"entity-type":"item","numeric-id":5719209,"id":"Q5719209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64a072a3eaa2c0fcf55f08128893dfeff744fce0","datavalue":{"value":{"amount":"+0.7650560140609741","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":"Q2360802$920AD887-649C-423F-9033-F3B0F164C2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"255f7aaec3213f497c43bc46986c54f93ace3be9","datavalue":{"value":{"entity-type":"item","numeric-id":4994668,"id":"Q4994668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c494088497221e7fb2d605c8b444e8c90d70adf6","datavalue":{"value":{"amount":"+0.7646372318267822","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":"Q2360802$5F349111-E238-4EB5-97A2-1FC2533B0D00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2360802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2360802"}}}}}