{"entities":{"Q278230":{"pageid":279997,"ns":120,"title":"Item:Q278230","lastrevid":60638421,"modified":"2026-04-10T18:13:10Z","type":"item","id":"Q278230","labels":{"en":{"language":"en","value":"Algebraic Kan extensions along morphisms of internal algebra classifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6575932"}},"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":"Q278230$3A5C7DB8-5E6D-4B5C-AAD0-1DCE71F1B04B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ff91d80ff1fef74321b35949f9c04dce7570420","datavalue":{"value":{"text":"Algebraic Kan extensions along morphisms of internal algebra classifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q278230$A1603F22-837C-4147-AFBB-4A303069538E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b69bd5ba159245ad46193be941ef655a944780","datavalue":{"value":"1342.18017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$95E5513C-D5C9-4572-A3EA-C907F5492F51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e547a29e9b41521aca6144be9f70fe03cfdc315","datavalue":{"value":{"entity-type":"item","numeric-id":278229,"id":"Q278229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$C57B0F1F-6773-4DA9-A997-60B03149BCE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0b20184a6fff1652901d0ca49b1ea674e3d21708","datavalue":{"value":{"entity-type":"item","numeric-id":250605,"id":"Q250605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$EFAAE08A-A3A5-47EB-9C5F-28B4C2F10B38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e456fdb4844415eea923a6e1b531b0c6eec91b1","datavalue":{"value":{"time":"+2016-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q278230$2C841C45-1577-4873-AD7D-69C427DAEB34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebf5f96ca76f17dd6bacb3aae0628b5e5c1e3d41","datavalue":{"value":"https://arxiv.org/abs/1511.04911","type":"string"},"datatype":"url"},"type":"statement","id":"Q278230$0A7C7C06-C735-4F70-83C8-F5327E27332F","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":"Q278230$B688D872-1DF9-4CD5-ABA1-24332A97F719","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$50F07314-1C18-47F8-B6ED-F21A31F3DB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$CFEDB0B0-ADED-494E-9E25-1AFFB062F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47ba2f783c088f9d4bf32d01649c35d0baf25ff7","datavalue":{"value":"55P48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$70848EC0-01F7-4A7F-B018-82A45D588EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$99D59960-CF91-4D73-8FD6-00464FCCDD83","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"debd87bc16e766f5f8b41071d972f2fca8be106c","datavalue":{"value":"6575932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$CD164E76-D60C-47DE-998A-4A97E8896F2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac1ce803710cd429bbbab40c00db73a7de5bf569","datavalue":{"value":"Kan extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$00566AE2-8432-4FB9-84C7-7FEE2B4A6478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f880a61499d8f2b484694e164ee95571e0ff2de","datavalue":{"value":"internal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$8D6CD76A-7D98-4782-B0F6-1071083ED8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f93f45fd12dea0692453238e30ee06c98135fb2a","datavalue":{"value":"exact squares","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$FF077DD6-2823-4DDD-8B95-37B7B1AD56F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a699a57727d04c80da2ec427cea3f5facb6125","datavalue":{"value":"operads","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$4BD02A12-B7A2-45D5-A837-7CAEB329F379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744bb83a018231f6385fd1d938ac4a706f7675cd","datavalue":{"value":"modular envelope","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$4164E79F-547D-4B41-A201-D9E206F80D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6852756cf5e07f6e4371dd5d353825179c32815e","datavalue":{"value":"2-monads","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$FFD49A41-E528-465E-A452-1590510FCAFB","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":"Q278230$C8F512CC-D0A9-448B-942C-523BE1C0AD17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"389ea1641262d78867516663e82c31ca3f879164","datavalue":{"value":"W2963818272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$D297AB94-3A26-4815-AEEC-D03D03272ADF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f59fb1f45c77427e6b47c5c663b2bc3b37a3c5be","datavalue":{"value":{"entity-type":"item","numeric-id":1269468,"id":"Q1269468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$F37AD80B-FBC6-4C5A-BD58-27B28E0B51AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93564b4fb911a349555efc801930fbc4a906a529","datavalue":{"value":{"entity-type":"item","numeric-id":2461790,"id":"Q2461790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$419285A8-BE01-41A8-AA63-705E906D1DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c859b750c68ca633d0ddbd32b3f22520597ff0","datavalue":{"value":{"entity-type":"item","numeric-id":2963473,"id":"Q2963473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$DB93C32B-C503-4267-9079-FFF30AEB132F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"053da2e31fed165c3e38033ae95d095c42703328","datavalue":{"value":{"entity-type":"item","numeric-id":4563231,"id":"Q4563231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$AF432A65-913D-46EC-A3FA-8480A7F76E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9011d7580ff93c969b43c0ea22f7b5f2593dcefc","datavalue":{"value":{"entity-type":"item","numeric-id":1121980,"id":"Q1121980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$551941D5-30B1-4C9E-998D-E27431B4FC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc01a7c1d4284c0d8396b974fad821755307f3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1211109,"id":"Q1211109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$19396FC4-D19A-4B6C-9578-CC2AE0C54409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de13c0c183ecb961d2e727d6445681e20c61cecd","datavalue":{"value":{"entity-type":"item","numeric-id":3958647,"id":"Q3958647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$C39E8245-CC04-4C67-B7C5-B66D9B538A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5551f8a9f81295661d7b491f84c0fe988e68f13","datavalue":{"value":{"entity-type":"item","numeric-id":1175729,"id":"Q1175729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$6982FC28-CBB0-4DB7-80B7-48244E712F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1dbbf03c7f195d525f817e200bf8ce0d7700e6","datavalue":{"value":{"entity-type":"item","numeric-id":5269096,"id":"Q5269096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$55AF68DC-8B08-4447-9162-64094020CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d0f2bde7ff314c9838121d1b9500cf81c61227","datavalue":{"value":{"entity-type":"item","numeric-id":4100674,"id":"Q4100674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$3BE5C024-578F-41FA-B2C4-FA56E3B740B3","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":"Q278230$A1251A61-4C27-4D73-B618-FEE0046C877C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$F250977A-51A0-40E9-9066-0D4EC94E06C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec3dd3e620863368f34cd4f6d9845d4430d1bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3079528,"id":"Q3079528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$8191B8AA-50DA-43C3-9F57-B0C1746D91C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0eb48a670e0840473ca2795bf2f59a78815f67","datavalue":{"value":{"entity-type":"item","numeric-id":5248254,"id":"Q5248254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$ADE844F0-4868-44B8-995A-976C3AB56DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4142f3057f1d6b6dfd7378b371b333dce148383","datavalue":{"value":{"entity-type":"item","numeric-id":1850103,"id":"Q1850103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$8127EB85-C427-4BC6-A82D-93714B50DF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093a527380d3100f4ded96734d3ec824c918d6cd","datavalue":{"value":{"entity-type":"item","numeric-id":847558,"id":"Q847558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$838BA2A8-74E9-4019-9211-AF3401EBC0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6349013833330b89d25ef93752fa051961a7eee2","datavalue":{"value":{"entity-type":"item","numeric-id":987490,"id":"Q987490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$5C31057B-8AFD-46A4-8539-2132D0448DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9edf74fa4c0921233a36ecec54acac6f16a136","datavalue":{"value":{"entity-type":"item","numeric-id":655343,"id":"Q655343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$283D6F95-7A42-49BD-89A0-D97FF7F0FD0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$B769C206-A8BC-485B-BCF5-1A8F18F09DF5","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":"Q278230$C5D17D3A-0B35-4988-B1E2-33114BD51510","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":"Q278230$44F4C2A4-AA8C-4979-8165-3E1AEDB6F158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95fe6b711716f8b9810844eff2ba2b9a1ed7141","datavalue":{"value":{"entity-type":"item","numeric-id":4092156,"id":"Q4092156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$48290BA3-26A5-4632-9742-83EA63875EE4","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":"Q278230$E9ABF600-7A51-4184-855C-7983144BDA0F","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":"Q278230$3BE39AC5-A9E9-4357-848D-AF6A9873CC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e71acf1f42bd54677ba32b999051b4c558ab3d41","datavalue":{"value":{"entity-type":"item","numeric-id":5740404,"id":"Q5740404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$C9070F9B-4632-406B-860A-C03CDFA58279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cca4c7b9b94ff9bf899a46e8be72baae83cc53","datavalue":{"value":{"entity-type":"item","numeric-id":5454622,"id":"Q5454622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$6FFE960A-D6D1-408D-B5FD-2E6AEF21B6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e808d133b8eefc8f53421e00131793a6a3e6a75","datavalue":{"value":{"entity-type":"item","numeric-id":2643608,"id":"Q2643608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$49071F55-4141-45E0-B887-A7F652A91F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc719fd8d8cfb927e0ad41637811a3101fa73771","datavalue":{"value":{"entity-type":"item","numeric-id":3456343,"id":"Q3456343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$5CA02DDF-36DE-47C9-BA9A-A8904214A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee41d4421fce891cf634a89e8bfd6888a9a41d7","datavalue":{"value":{"entity-type":"item","numeric-id":3456342,"id":"Q3456342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$266BC75F-2CA2-4B65-B2EB-EFE2730B5041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b5714fbc095d4c4237acc295da29837821850e","datavalue":{"value":{"entity-type":"item","numeric-id":5261927,"id":"Q5261927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$C5C226B2-DEE8-4BA2-9774-E04BC480F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331b22d34e6b3081f6e21389e3201f161152d9ca","datavalue":{"value":{"entity-type":"item","numeric-id":3961635,"id":"Q3961635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$0194BD3D-3A9C-4E1C-958F-5EE6974CD628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1c7b6df9d0ac656056f5858db253db53d7a66f","datavalue":{"value":{"entity-type":"item","numeric-id":3708172,"id":"Q3708172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$0C3CAFBE-0AB0-4C26-98FB-EE2B0E7CF08B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6162df6c798d934f5838bcbc20ecb01fa9521cc","datavalue":{"value":"10.1515/TMJ-2016-0006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q278230$EB04234D-EEBD-4F49-9D33-D2CA2430F424","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"98587d633eabe9fcf2907c3aa334154342d9bcee","datavalue":{"value":"In his treatment of algebraic theories and structure, an important fact Lawvere proved was that, for any functor \\(f : A\\to B\\) between small categories \\(A\\) and \\(B\\) with finite products, the left Kan extension \\(\\mathrm{Lan}_f(m) : B\\to \\mathrm{Set}\\) of any finite-product-preserving functor \\(m : A\\to \\mathrm{Set}\\) is also finite product preserving. The special properties of finite product and \\(\\mathrm{Set}\\) which make this work are: (a) there is a canonical comparison \\(f(a_1\\times \\dots \\times a_n)\\to f(a_1)\\times \\dots \\times f(a_n)\\); (b) for any set \\(x\\), the endofunctors \\(x\\times -\\) and \\(-\\times x\\) of \\(\\mathrm{Set}\\) preserve colimits; and (c) the left Kan extension is constructible pointwise by the usual colimit formula.NEWLINENEWLINEAfter the Introduction, in Section 2 the present paper centres attention on showing how the above result about Kan extensions can be lifted to the context where finite products are replaced by pseudo-algebra structure for a 2-monad \\(T\\) on a 2-category \\(\\mathcal{K}\\). Item (a) is now replaced by the condition that \\(f : A\\to B\\) should be a colax morphism of pseudo-\\(T\\)-algebras. Items (b) and (c) require the introduction of a number of new pseudo-\\(T\\)-algebra concepts: algebraic left extension for pseudomorphisms, algebraic cocompleteness with respect to a morphism, exactness of a square containing a 2-cell, and exactness for a colax morphism.NEWLINENEWLINEThe main theorem of the paper is stated in Section 3, with examples, while the proof is postponed until Section 5.7. This theorem involves three 2-monads \\(T\\), \\(R\\) and \\(S\\) on respective 2-categories \\(\\mathcal{K}\\), \\(\\mathcal{M}\\) and \\(\\mathcal{L}\\). The idea is that \\(T\\) describes the ambient structure, while \\(R\\) and \\(S\\) describe types of structure which can be defined internal to a pseudo-\\(T\\)-algebra, where \\(S\\) structure is richer than \\(R\\) structure as expressed using an adjunction \\(G: (\\mathcal{M},R)\\to (\\mathcal{L}, S)\\). There is a forgetful functor \\(U^G_A: S\\text{-}\\mathrm{Alg}(A)\\to R\\text{-}\\mathrm{Alg}(A)\\) between the categories of algebras internal to each pseudo-\\(T\\)-algebra \\(A\\). Conditions are developed under which a left adjoint for \\(U^G_A\\) can be constructed via algebraic left extension. The main theorem states that these conditions are met when dealing with polynomial monads in \\(\\mathrm{Cat}\\). For background, see the author's paper [Theory Appl. Categ. 30, 1659--1712 (2015; Zbl 1375.18058)] and his other two papers in that volume.NEWLINENEWLINEThe paper contains a wealth of new results for working within a 2-category. The merit of working at this level is reinforced by the diversity of the applications. For example, further insight is gained on situations studied by \\textit{R. M. Kaufmann} and \\textit{B. C. Ward} [``Feynman categories'', \\url{arXiv:1312.1269}] and by \\textit{M. Batanin} and \\textit{C. Berger} [``Homotopy theory for algebras over polynomial monads'', \\url{arXiv:1305.0086}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q278230$305E6C6A-CEDD-499E-B9AF-6A8556540562","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef2b958ab624d672a0dfb9bdff29326493ea86b3","datavalue":{"value":{"entity-type":"item","numeric-id":5248254,"id":"Q5248254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c2b5543059adb0195fca440f896edb92d49b6c","datavalue":{"value":{"amount":"+0.8096872568130493","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":"Q278230$C9777926-5D15-4A88-A415-8359876951AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78fbb98507fc5f2e504aca2b97f5d81b87621540","datavalue":{"value":{"entity-type":"item","numeric-id":2884472,"id":"Q2884472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7ebc8a0a36cbc174b5358095d775581c6fba69","datavalue":{"value":{"amount":"+0.8054014444351196","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":"Q278230$133BFA75-97A6-4E31-A6A5-13920516CDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eac6390ed501854816060b0fc81949d1cc576c1","datavalue":{"value":{"entity-type":"item","numeric-id":690382,"id":"Q690382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64039cfa2e8e06c2b3eca3816b0ee92988734247","datavalue":{"value":{"amount":"+0.8004582524299622","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":"Q278230$9EF06FCB-D663-4B11-B6D0-10A40BB119AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31bc7c4efa67c3bc725032d8314b125a0ed18f8","datavalue":{"value":{"entity-type":"item","numeric-id":2156417,"id":"Q2156417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d82a78b2802ea57076c3298a829a4455daa98f84","datavalue":{"value":{"amount":"+0.8002408742904663","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":"Q278230$CA1219C9-9ED9-4CEF-9D87-C32A271B24D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8497a0853f9db750ebd353b5407b9af6a6ac96c5","datavalue":{"value":{"entity-type":"item","numeric-id":2445311,"id":"Q2445311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae26e88cd2d346b8646c9f7d87d1a65d035d9e76","datavalue":{"value":{"amount":"+0.7929973006248474","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":"Q278230$0444E144-BC98-47F4-B3F3-8FD9F2CCB93B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q278230$4A1E8E6C-F6F9-4572-B567-C131A86B2F10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic Kan extensions along morphisms of internal algebra classifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_Kan_extensions_along_morphisms_of_internal_algebra_classifiers"}}}}}