{"entities":{"Q1818917":{"pageid":1829659,"ns":120,"title":"Item:Q1818917","lastrevid":74281995,"modified":"2026-04-14T19:20:01Z","type":"item","id":"Q1818917","labels":{"en":{"language":"en","value":"Homotopy structures for algebras over a monad"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1384513"}},"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":"Q1818917$6B2D0322-E970-42B0-84A7-7205B043A4B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be541a88fa8385bc6f7351ba7115f05fb4b5cc4c","datavalue":{"value":{"text":"Homotopy structures for algebras over a monad","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1818917$B3B7BAAE-11D2-4CBD-B5DE-2E244D00123E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5babeeaa2ca3540175de7db6f15bf5d6825ab48b","datavalue":{"value":"0938.55029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$2EF76074-EAD9-4B23-9C64-110773C6A6B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f96f6501f5aa00d086b3c57404d48f32d1ec9857","datavalue":{"value":"10.1023/A:1008678719663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$23D46388-1E24-439C-8DD8-9A6CEBBF7BAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818917$6C517264-E4A5-47F1-A90F-3C7027898722","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":"Q1818917$B342B536-7B1B-428F-B84B-7FBDF8CA3182","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce7843932412e0d5c566f14bc25dfa7a3675a659","datavalue":{"value":{"time":"+2000-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1818917$18A6A478-216C-44E7-926F-13ADDF2DAB50","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d37ebd63f860f57bf985cbf7168f13a4ac303bd6","datavalue":{"value":"Let \\({\\mathbf A}\\) be a category with a homotopy structure given by a cocylinder (path-endofunctor) \\(P:{\\mathbf A}\\to {\\mathbf A}\\) and three natural transformations \\(\\partial^\\varepsilon: P\\to 1_{\\mathbf A}\\), \\(e:1_{\\mathbf A}\\to P (\\varepsilon=0,1)\\) such that \\(\\partial^\\varepsilon \\circ e=1(\\varepsilon=0,1)\\). Let \\(T\\) be a monad over \\({\\mathbf A}\\). It is shown that the homotopy structure on \\({\\mathbf A}\\) can be lifted to the category \\({\\mathbf A}^T\\) of Eilenberg-Moore algebras over \\(T\\) provided that \\(P\\) is consistent with \\(T\\), i.e. equipped with a natural transformation \\(\\lambda:TP\\to PT\\) satisfying some obvious axioms. Furthermore, homotopy operations such as faces, degeneracies, connections, reversion, interchange, etc. together with their axioms can be lifted from \\({\\mathbf A}\\) to \\({\\mathbf A}^T\\) if they are consistent with \\(\\lambda\\). The wide range of examples includes the transition from topological spaces to fibrewise homotopy and to equivariant homotopy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$5E7E2C7E-AB50-439D-A0AA-D491950FD439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$F5638090-733A-44B9-9129-AC4C1A5EEDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$D2FDAFA6-A4BC-4891-9C0A-DE50D2D4A7C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$B4A3EA80-F9BF-4AD8-BC66-DD647503D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$EB2BEED0-3645-4E5B-87B7-18EB596A1D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b99005280ef1626a98795c032281c63ce65fc1d8","datavalue":{"value":"55P91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$12C4D976-1433-40FE-B711-2E2A1B1801E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1733a9025e185005a0f5c647fc6fdb0b319363c","datavalue":{"value":"1384513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$A01B196A-A86D-4F2E-A89D-BE386677E1FF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30c6b385ea4bcb6d1f2deea67d133f999461e7d2","datavalue":{"value":"abstract homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$72DFC543-0725-47F0-94C2-2AB0B9C36112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa81dca47b13988b383b021b29109ec2fad55860","datavalue":{"value":"cocylinder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$00170604-9108-41D6-A72A-09BD4E0139F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fec1476269e9d9736ecbc5ec2032919dc360129","datavalue":{"value":"cylinder","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$96DB1428-C121-4185-899C-489F10F228F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24c59644df179cb21b4d78eda05231c17cd1d55","datavalue":{"value":"Eilenberg-Moore algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$16A9D164-3181-4571-A5B1-FA0BF0A5D483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$C8A43DE8-72BD-4413-8C64-ECDA14119D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02377768e86e318a0fdc513d9f6c6c81146137bf","datavalue":{"value":"homotopy operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$F1FBE594-CE54-4D9C-9DD1-20A8CD7C71D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18b873b3239d9544a9161e12eedfb7abac6509b7","datavalue":{"value":"fibrewise homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$0309F2FD-BB8A-47EB-853B-AC565BD2B4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1afb18a3af3caec814bd12d37d3a28864757ffb1","datavalue":{"value":"equivariant homotopy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1818917$0FF6E9CB-B0C1-4F28-AE93-2A8C22B4A700","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1d5d531eabab4db50ae6e35bbac5efbd7cc50f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1055873,"id":"Q1055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1818917$B12F744D-3C9E-4E36-A84F-0845F00C5008","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":"Q1818917$3C473FAA-6DD7-4D97-8B55-B3B3F690BC46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e8663f5866588115a4819b85c9c314564095b6f","datavalue":{"value":"https://doi.org/10.1023/a:1008678719663","type":"string"},"datatype":"url"},"type":"statement","id":"Q1818917$152B111B-44D3-43D2-A67C-7873D5E42471","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"142dfc303a51916cebee767f6e8f4f6569b2e1a9","datavalue":{"value":"W1513660908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1818917$EA8EC5A1-6213-4C64-88BD-1F6DCB016397","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6fbc737ad25e904d87ed8efbe061abd952214b","datavalue":{"value":{"entity-type":"item","numeric-id":2963473,"id":"Q2963473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a24170bcda05ddb7652e7623cb98c5c0eee5d3","datavalue":{"value":{"amount":"+0.7949624061584473","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":"Q1818917$84C98311-32C7-4010-A1C3-DBFA268CAEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe571f7c2d6cd7e16ffb49dd0d1634e450b0daa","datavalue":{"value":{"entity-type":"item","numeric-id":4790676,"id":"Q4790676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc3118ab465a71c07c86553293901005fb92527","datavalue":{"value":{"amount":"+0.7848547697067261","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":"Q1818917$82EA9F31-86A2-44B0-8BA2-E76E63FDB257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3746eb6aef8e46982fc976d83cf656bb28451b","datavalue":{"value":{"entity-type":"item","numeric-id":4656994,"id":"Q4656994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0686ebc9b8349d9b2c5b6a134b4299369b4b623","datavalue":{"value":{"amount":"+0.7723820805549622","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":"Q1818917$3DDB1D37-CFA0-419B-9F2E-3552F635A035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b22bd4401ea256835799eac94630918a73605797","datavalue":{"value":{"entity-type":"item","numeric-id":678157,"id":"Q678157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb3e2fa608c48fcd6edd88cdb5a7baa34cb9c1f","datavalue":{"value":{"amount":"+0.7677565217018127","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":"Q1818917$D68AFE2D-1142-4407-BFF9-E73886D9BE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"374359479c214c03c8b87575b6f5a16bff5681ed","datavalue":{"value":{"entity-type":"item","numeric-id":1372684,"id":"Q1372684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccb3e2fa608c48fcd6edd88cdb5a7baa34cb9c1f","datavalue":{"value":{"amount":"+0.7677565217018127","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":"Q1818917$E19EC186-1B65-48D6-AA9A-A25B32B82504","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homotopy structures for algebras over a monad","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Homotopy_structures_for_algebras_over_a_monad"}}}}}