{"entities":{"Q2570233":{"pageid":2580976,"ns":120,"title":"Item:Q2570233","lastrevid":73570341,"modified":"2026-04-14T16:29:59Z","type":"item","id":"Q2570233","labels":{"en":{"language":"en","value":"Algebraic models for homotopy types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2218627"}},"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":"Q2570233$B57CAE9A-D92C-45EC-827A-A62A67D7C75A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"619305c7e73b739f4ae539c13d4f9f2326445fb8","datavalue":{"value":{"text":"Algebraic models for homotopy types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2570233$BD8917B5-526E-48C6-A3AC-165DD0E1FAAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ae5b3fb0ddc67ac13b4ec5a668056e2d2a1701","datavalue":{"value":"1088.55006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$3BBA3FEC-4091-4E9E-A0DB-BAAE33DCD84F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"809be5a280a390e9b9ebceeb8483a5aef92ca2b8","datavalue":{"value":{"entity-type":"item","numeric-id":714653,"id":"Q714653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570233$6ADE3D4D-7760-4B89-AEAD-DF67CA7D44E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2742bc74281e45d5f573cb9dc1b7a4db7f023f65","datavalue":{"value":{"entity-type":"item","numeric-id":1565829,"id":"Q1565829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570233$A2D04875-177C-4D52-850F-C26E87E2511B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1e22c5b89240190fc74b760088a55141cf0fb60b","datavalue":{"value":{"entity-type":"item","numeric-id":180135,"id":"Q180135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570233$0E508A5E-46C7-4CEF-961F-71D24FA9E494","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fde6c619ece55a662f3e34f9f0884a152591e6b","datavalue":{"value":{"time":"+2005-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2570233$84C7128C-CDE7-447F-84C8-5E99C647911F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9efaa4df881105a1fccd293aec1cef626b9f924b","datavalue":{"value":"https://arxiv.org/abs/math/0311509","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570233$789AE5A9-A574-44DD-8783-DEA65B31EB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba1cbc1495d0458851190625cecbefe75c970870","datavalue":{"value":"http://intlpress.com/hha/volumes/2005/volume7-2.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q2570233$691582B4-4807-4566-8E03-2D4F315BCD72","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5278d029c4d57e238dea5035ec0af76357f2a1c","datavalue":{"value":"Despite the slightly misleading title, this survey-style article deals with a computational model of homotopy theory developed by the authors in previous work. They discuss the fundamental problem, viz. to find a computable category equivalent to the homotopy category of simply connected spaces, and why it is not solvable in this full generality. They then advertize their solution of restricting the scope to a certain subcategory which they call simplicial sets with effective homology. In joint work with X. Dousson and Y. Siret, the authors have developed a computer program, Kenzo, to do homology computations for such simplicial sets with effective homology. They document this in the present paper with some sample runs of Kenzo on spaces whose homology would be quite laborious to compute by hand. Among the spaces that can be constructed with Kenzo, and which are thus amenable to computations, are (infinite) projective spaces, spaces obtained by attaching cells by degree-\\(n\\) maps, and, most powerfully, by taking loop spaces. In the final chapter, an alternative approach of representing homotopy types using \\(E_\\infty\\)-structures along the lines of work of M. Mandell is mentioned as a project worth pursuing.   The paper gives a decent introduction to the problems around computational homotopy theory and the author's Lisp-based approach Kenzo. Details are mostly omitted. The style is somewhat verbose and occasionally irritating.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570233$399B1025-36FC-46DF-8CFA-962DC6C242DF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"16f971a6e629e7bf600740e0f6f4bee8510482ee","datavalue":{"value":{"entity-type":"item","numeric-id":390700,"id":"Q390700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570233$41280A6F-E2C1-4462-A9BC-4C764D31DC85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$797DF376-B6D1-4084-817B-04F5604D17C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3476e1414024b63d1891ee4733ade3e7579c02ec","datavalue":{"value":"18G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$27190D2F-7D07-40D4-B618-3A4FD9A24FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$B5017805-8C8C-47C5-B3CC-3B3E39F38A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a08d81049f99c0bf43dec65c9b6b6f08571b907","datavalue":{"value":"55S45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$72FCE987-D21C-4056-8021-B58754FCE0DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07364ab158f888f5fbbaa71e100de2575cad45d0","datavalue":{"value":"2218627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$B16781F7-31F0-4B52-88EF-74A289D28AF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d86056a3c03c6cdf5329d3d06c269ed3f44a5e8","datavalue":{"value":"homotopy type","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570233$D7C2EFD0-3D80-439B-A639-5F29028483FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11aacd9305ca98116f4b6fc72e279fc354d59183","datavalue":{"value":"effective homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570233$93A70C27-93C1-42EB-96FE-F42E897872AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaf020386eaf501e6701eb9ba5b3e92f4a5867b0","datavalue":{"value":"\\(k\\)-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570233$16D228C3-8743-429B-B5D9-94E39F094454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2570233$C3242259-E8DE-46E4-ABCD-8A81E2F6AC11","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efacd6a40fcceaf80f5658fa8699430affa80235","datavalue":{"value":{"entity-type":"item","numeric-id":17016,"id":"Q17016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2570233$64EB2CA0-24C0-4C14-8FDC-D7CB5AFDFC28","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":"Q2570233$370C6B20-AED8-4E00-8A1A-A8BBE91E9015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b741f19cc0f9665db195429f7c639e48c7164fc4","datavalue":{"value":"10.4310/HHA.2005.V7.N2.A8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2570233$0EA33AC8-3586-46C3-A24E-7EAB50CED81E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6593872b0e94cded7930269dd57c1a8aaedd2bb","datavalue":{"value":{"entity-type":"item","numeric-id":1181439,"id":"Q1181439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9cecec9c80404dec55812be44964a719916bb2","datavalue":{"value":{"amount":"+0.9542668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$FBEBCEF5-B474-4289-BB61-CF6AFE6999F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6264477fcc88e873fe7d3c5aa896b259b30dc5c","datavalue":{"value":{"entity-type":"item","numeric-id":3678311,"id":"Q3678311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f817d0feb2ecd3f422dba9b4b5f841b62b4854","datavalue":{"value":{"amount":"+0.95344746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$37EB1303-F136-4D78-AE36-A3D370E14D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f9dad95ee331e6bd40d543fb0005a8dfb3a725","datavalue":{"value":{"entity-type":"item","numeric-id":2381406,"id":"Q2381406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de9aec6e518c75fd307c6be168c50067ba87215","datavalue":{"value":{"amount":"+0.9462798","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$BFB58FF3-24A5-4E22-A3EA-CA8E6BBAAF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"359ab19a6317c8a72b888f2fa858bf03b3da6623","datavalue":{"value":{"entity-type":"item","numeric-id":5147881,"id":"Q5147881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3afd5ea646173a7de254f197062514ba725b6a7e","datavalue":{"value":{"amount":"+0.94233906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$E601FAAB-802F-46A1-A163-B8E54282A2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a4396f589471283e1edfe05a110f3a63530c929","datavalue":{"value":{"entity-type":"item","numeric-id":1058192,"id":"Q1058192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7957414e792348f70294e66bdbb6d6f43c70a88c","datavalue":{"value":{"amount":"+0.94000244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$38DD8FBF-1FF4-4FC4-B4FE-51DA59ECD8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa19dd168bcb71ab9ea355c4f12c0c7aa8e0645","datavalue":{"value":{"amount":"+0.9368486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$476013F4-C334-4B87-A454-0A5FAF5E8CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf48b39f77ac772753ee2738f66ef0285d442c","datavalue":{"value":{"entity-type":"item","numeric-id":4934097,"id":"Q4934097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d466b1ea596f5698812ac5d139a16af62c8603d","datavalue":{"value":{"amount":"+0.93436986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$0E15C7AD-229C-4832-903E-48E6058AC76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab256da53b6f40d8b25c5261d228d0c3d615a3d6","datavalue":{"value":{"entity-type":"item","numeric-id":3525978,"id":"Q3525978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577a4fdba54058f2cf98c20a558ad66cdc86f532","datavalue":{"value":{"amount":"+0.9327512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$FAEC9EEC-4AD0-4A63-B70C-C473DD6EDD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85a08276a448d30095c95a7a63c04ba7ef566f6","datavalue":{"value":{"entity-type":"item","numeric-id":3410369,"id":"Q3410369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a942a845aa256a3366559c38258167878848a39d","datavalue":{"value":{"amount":"+0.9326036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$C79E7F5C-02C1-4F63-8C28-3245C5D36AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6a0e6d7a5650309ee9f2db22aeda2d9a4087d8","datavalue":{"value":{"entity-type":"item","numeric-id":3177878,"id":"Q3177878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"697628878bd50b85eff1947c93cea5b814a72af3","datavalue":{"value":{"amount":"+0.9303011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2570233$AD402A04-8FF2-4B14-80D6-A67B36F57DBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic models for homotopy types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_models_for_homotopy_types"}}}}}