{"entities":{"Q1318820":{"pageid":1329570,"ns":120,"title":"Item:Q1318820","lastrevid":67416054,"modified":"2026-04-12T17:29:01Z","type":"item","id":"Q1318820","labels":{"en":{"language":"en","value":"A note on the homotopy type of posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 540946"}},"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":"Q1318820$E3940724-9F03-43A9-BECD-338CECAB39F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5348de067004c922d5d7b7003c010069e79ecdce","datavalue":{"value":{"text":"A note on the homotopy type of posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318820$52B94980-6CC0-4713-B6FA-1B20FB20343E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d750d26e29796b502c42227c1b941d56a81f981e","datavalue":{"value":"0799.06008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318820$9F799F84-B996-4FD5-BB09-E57112F4D184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99bcec566ad1781597cfca4967e252fc5df8b4ac","datavalue":{"value":"10.1016/0012-365X(94)90274-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318820$61532155-C021-41DB-8AEF-C0D67F3E39B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a01e206a16c3a7c7de253a6ff1b9135641a9b0d","datavalue":{"value":{"entity-type":"item","numeric-id":293523,"id":"Q293523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$C2DAA9D0-70E9-42B2-B893-C2829C893898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c56121ca933a61d7b398601c7a8940d3d52cd2b","datavalue":{"value":{"entity-type":"item","numeric-id":193082,"id":"Q193082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$66341F96-2494-480C-A54E-B47BC082BFC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"38665fe4ed2b835132254a58832c329597060029","datavalue":{"value":{"entity-type":"item","numeric-id":175483,"id":"Q175483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$5110B5E8-2355-4BAB-BF28-1BCD4B9C1003","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb4327a643e96182550341c5d2d3e1446617b8e","datavalue":{"value":{"time":"+1994-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318820$2F221C04-CDF2-4AC5-9A25-832F90C83F2D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c795e34148178a9bcb821f95d2e2362d7f3ad065","datavalue":{"value":"An order-reversing map \\(f: P\\to Q\\) of posets induces maps \\(J(Q^*)\\to J(P)\\) and \\(J(Q)\\to J(P^*)\\) of the order ideals, where \\(*\\) indicates the dual poset. If \\(f: P\\to Q\\) and \\(g: Q\\to P\\) is a Galois connection between \\(P\\) and \\(Q\\), then so are the maps \\(J(Q^*)\\to J(P)^*\\), \\(J(P)^*\\to J(Q^*)\\) determined by the induced maps, and similarly for \\(J(Q)^*\\to J(P^*)\\), \\(J(P^*)\\to J(Q)^*\\). The authors consider when these give a homotopy equivalence between the proper posets \\(\\overline {J(Q^*)}\\) and \\(\\overline{J(P)^*}\\). They also consider when the map \\(J(Q)\\to J(P)\\) induced by an isotone map \\(f: P\\to Q\\) will give a homotopy equivalence between the proper posets \\(\\overline {J(Q)}\\) and \\(\\overline {J(P)}\\). The work depends on J. W. Walker's work and of course on Quillen's theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318820$FB439563-30F8-4A87-9F36-420F2FF9C243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"55784bde12c4e3e975ad2c89a161a4a5dacf49d1","datavalue":{"value":"06A11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318820$4AD83896-18F2-4F03-AF3A-C6AC6B1509B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"647536399e7b6334246b177bb24811e479a3d704","datavalue":{"value":"540946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318820$AE74E540-9668-478D-9DC7-A29B165E56C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d74812d6ce3bdaf8424d07fc82c025e2b3e0a221","datavalue":{"value":"order-reversing map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318820$7C5839B9-5DBB-4005-8E48-46463914895E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be3bd30fa92aef645568f23989ca95a04dae5fa","datavalue":{"value":"order ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318820$70F21DF4-26CE-4EFE-890A-EAEA8A61469D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318820$551E7DAE-C8A4-499D-90E8-4BA4B5A90EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a8fedb6561249aab10a68b98ebf8017de465d4","datavalue":{"value":"homotopy equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318820$39D1326E-8B09-4FEB-A87A-99F24B881B66","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17c10f17a5e1177b66bfd4f3439d273c87e4d597","datavalue":{"value":{"entity-type":"item","numeric-id":705524,"id":"Q705524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$87DA4A62-FDB7-4368-9675-868F81CE4E5D","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":"Q1318820$4A9CAF05-0534-4CF2-8102-5281F6ECFDC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42b17a9e65624167c0afafce75cee382a5dd7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5731810,"id":"Q5731810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$B9092B17-AAEF-40DA-9AC0-5E09808578EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ebd623f6b8e57b27792095bc1a5f936ffa53ab","datavalue":{"value":{"entity-type":"item","numeric-id":3748279,"id":"Q3748279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$4599A1BA-CF30-41FA-9F8D-338FB641BF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dcff3a44fcfa42049e1863974feae07ab3336ca","datavalue":{"value":{"entity-type":"item","numeric-id":1158177,"id":"Q1158177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318820$13ACEEEE-402E-4011-8641-3A7136B7DA6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834da5985c9b07474eb71766acc40a327c8f20c2","datavalue":{"value":{"entity-type":"item","numeric-id":4654087,"id":"Q4654087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba5d84e9a935573ef16302290def640a95a098a","datavalue":{"value":{"amount":"+0.7667497396469116","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":"Q1318820$1B568AF5-D753-4EB2-A246-22E6130D6A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83aa916e79f8ea7ae644a7bdf8b6fd6ba35e2ad7","datavalue":{"value":{"entity-type":"item","numeric-id":640853,"id":"Q640853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1deff1289d6ac3cec95a89b71d512619e4b022b","datavalue":{"value":{"amount":"+0.7366806864738464","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":"Q1318820$D86F20BC-D6D9-45EC-A183-A42FA23706CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b936d6cf28a5b7c07c885b57ba5476697e5ea335","datavalue":{"value":{"entity-type":"item","numeric-id":1107550,"id":"Q1107550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c3b7c875a465169936a5348efc19a1625a8b16","datavalue":{"value":{"amount":"+0.7193189263343811","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":"Q1318820$8EEE47FC-6290-4150-89F6-0602A4980ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf28f7ef0a7fd42565ea5632f85041a47ef3e7a5","datavalue":{"value":{"entity-type":"item","numeric-id":1344230,"id":"Q1344230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea80a6ea6916a27c2d68af50edbfa2b33686c062","datavalue":{"value":{"amount":"+0.714329183101654","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":"Q1318820$589B4D89-C4F1-4234-AC45-8AE856518A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6ff939614edbcf17ae66ac684f93b0645dd0159","datavalue":{"value":{"entity-type":"item","numeric-id":5752620,"id":"Q5752620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabd7ed59d6e1bd37680af9c03f6fca87c3ce0fd","datavalue":{"value":{"amount":"+0.7140668630599976","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":"Q1318820$9DC4820F-5820-4ADC-9157-69B4A3B99349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on the homotopy type of posets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_the_homotopy_type_of_posets"}}}}}