{"entities":{"Q505358":{"pageid":507125,"ns":120,"title":"Item:Q505358","lastrevid":77868737,"modified":"2026-05-06T10:14:35Z","type":"item","id":"Q505358","labels":{"en":{"language":"en","value":"Homotopy colimits of diagrams over posets and variations on a theorem of Thomason"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676571"}},"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":"Q505358$2C7A75C9-12C7-4241-A312-F95674B23C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19df4325c4f085bce41b0fe6c5ab1951ca48a720","datavalue":{"value":{"text":"Homotopy colimits of diagrams over posets and variations on a theorem of Thomason","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q505358$DBB37584-E6E5-41B2-8D10-9DF00DF596E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29ea1fc456f4a74508d10f128828de7187dfd944","datavalue":{"value":"1359.55012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$CA33BFE9-8D27-42DF-A05F-1CB515EFADB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f2425b6eb19a9fb09134c7ed70d0f28b18408c","datavalue":{"value":{"entity-type":"item","numeric-id":505357,"id":"Q505357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505358$C6EB4FD5-FAA7-4D2D-8C82-926033C21A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f652e6fff4f63bd57e43f5edda2d1f7c1ee7580","datavalue":{"value":{"entity-type":"item","numeric-id":211515,"id":"Q211515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505358$2E423ACD-CDB1-4D12-BE13-1C1B416DD1D4","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":"Q505358$2BB2361D-4FB8-478F-892F-6A7DC2393346","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9c88e8c8cb5512bd2045dbc5e055138d08d59f4","datavalue":{"value":{"time":"+2017-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q505358$D8F231E0-E158-4D57-817D-A5883FAF2C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b17dd7c356acde31f69eb723da1a7c4d76719371","datavalue":{"value":"https://arxiv.org/abs/1407.5646","type":"string"},"datatype":"url"},"type":"statement","id":"Q505358$E7427CD9-9CAF-4064-86AA-110893A742F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a909866506670dfae272b3472cb35da82d4fcb94","datavalue":{"value":"In this article, the authors study the Grothendieck construction on functors from a finite poset (viewed as a category) to the category of finite posets, which turns out to be a finite poset itself. The main result of this work is a generalization of \\textit{R. W. Thomason}'s theorem [Math. Proc. Cambridge Philos. Soc. 85, 91--109 (1979; Zbl 0392.18001)] for homotopy colimits of such diagrams. The authors apply this result to show that if \\(P\\) is a finite poset then the homotopy colimit of a diagram of finite simplicial complexes over the scheme \\(P\\) is weakly homotopy equivalent to the Grothendieck construction on a diagram over \\(P\\) of their face posets.  They also combine the Grothendieck constructions as above with reduction methods for posets [\\textit{R. E. Stong}, Trans. Am. Math. Soc. 123, 325--340 (1966; Zbl 0151.29502); \\textit{J. A. Barmak}, Algebraic topology of finite topological spaces and applications. Berlin: Springer (2011; Zbl 1235.55001)] to give conditions under which the removal of a point of the finite poset which acts as scheme induces a homotopy equivalence (or weak homotopy equivalence) between the Grothendieck constructions on the corresponding diagrams. As a corollary of these results they obtain Quillen's theorem A for posets [\\textit{D. Quillen}, Lect. Notes Math. 341, 85--147 (1973; Zbl 0292.18004); \\textit{J. A. Barmak}, J. Combin. Theory Ser. A 118, 2445--2453 (2011; Zbl 1234.05237)] and a combinatorial version of the Bousfield-Kan cofinality theorem [\\textit{A. K. Bousfield} and \\textit{D. M. Kan}, Homotopy limits, completions and localizations. Berlin-Heidelberg-New York: Springer (1972; Zbl 0259.55004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q505358$C521158D-5BB6-4535-B9C9-56A0F8231C4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$0248F5A2-57DC-40B3-B616-73A0DC8BB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$F9B01F71-7C5F-418C-9413-EB38E951EE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$9C672381-F502-484B-8374-180B99BED69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$F7236A4B-A72D-4B57-88FA-8EB1A909A96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$FBF3F6EB-7D26-40D9-AD4C-95EE5155B590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f68d2dad6d3c4a3be8f0f5e62b8467b466bfa320","datavalue":{"value":"6676571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$441CF2EC-9F5E-48C8-94AD-19F90623E11D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421e29789aad8950011d988db976213ecde8bb20","datavalue":{"value":"homotopy colimit","type":"string"},"datatype":"string"},"type":"statement","id":"Q505358$2FC054DA-3C25-4E30-B960-AD3B1BE8BB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0d1ac77a0571f862e5d9bc80db9ffef123c2e47","datavalue":{"value":"finite topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q505358$B95F35D0-CD7B-45E6-98D2-FC38959795C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762a112ef0429a3655234c3e246a242461dca9bf","datavalue":{"value":"poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q505358$C163DBCB-DEDA-430C-96A1-115FD3238F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1930e4bd76acfc6653ca8d2f72941229956755cc","datavalue":{"value":"Grothendieck construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q505358$241E82C1-C50E-44A4-8231-6FAFCDDB6C50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0338f90553fb738bde3b2ceb630bcf5bc1da8120","datavalue":{"value":"Quillen's theorem A","type":"string"},"datatype":"string"},"type":"statement","id":"Q505358$6D181D33-3D95-40D2-9C54-4EDD26E63885","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6d9cdd94abba4e600a7f130145da934e7eaa98c9","datavalue":{"value":{"entity-type":"item","numeric-id":387167,"id":"Q387167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505358$D03F6528-B1E8-4FD5-A6CD-816476D65650","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":"Q505358$18B8465F-7308-4731-9278-B14845D455E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917a9be192db1f98751f1191e24ab05310f7cf24","datavalue":{"value":"10.4310/HHA.2016.V18.N2.A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505358$8A8AE0C5-2E51-4DF6-B7B1-E2EB860F9128","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff33626abc1176ff6e2b23c00a0e932040b6ce3","datavalue":{"value":{"entity-type":"item","numeric-id":1343766,"id":"Q1343766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6192fb54c2ff430d733464730a20c6072e7bf2e5","datavalue":{"value":{"amount":"+0.7941452264785767","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":"Q505358$1B8C8DD8-527D-4ECB-A4DA-6CB7669ABE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6ae3164aa8f8da60c78cd7ea610069fabf5ad26","datavalue":{"value":{"entity-type":"item","numeric-id":2927672,"id":"Q2927672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4375ebdb4a3660809feaca514a325449f9c159","datavalue":{"value":{"amount":"+0.7941447496414185","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":"Q505358$30957948-DB91-414C-95B6-363C7C888397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e3e715cf5dcda454a5335b665f01095ab067d32","datavalue":{"value":{"entity-type":"item","numeric-id":4231198,"id":"Q4231198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2ee374a06bba95e6e08fb0430b1d40a15255ec5","datavalue":{"value":{"amount":"+0.7872386574745178","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":"Q505358$6C8F2CA6-7C5D-4D21-A4B8-1126CD6F2A4A","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":"f2ee374a06bba95e6e08fb0430b1d40a15255ec5","datavalue":{"value":{"amount":"+0.7872386574745178","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":"Q505358$36F1501E-B4CA-4B9A-8EFD-0465ECC6D2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7abccec54e2808510942e885411829557c8add33","datavalue":{"value":{"entity-type":"item","numeric-id":607284,"id":"Q607284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e473ce6c96d6897b0035d8b73a5660ec469dc48c","datavalue":{"value":{"amount":"+0.7838272452354431","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":"Q505358$CC79A0A0-84BB-497E-8BEE-973464E4A8A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homotopy colimits of diagrams over posets and variations on a theorem of Thomason","badges":[]}}}}}