{"entities":{"Q2762219":{"pageid":2772958,"ns":120,"title":"Item:Q2762219","lastrevid":83164307,"modified":"2026-05-07T06:28:29Z","type":"item","id":"Q2762219","labels":{"en":{"language":"en","value":"Classifying spaces of categories and term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1687309"}},"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":"Q2762219$6CEA9354-5970-4DA6-91EE-E4DA24B76B78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6550b6aa5dc2010d8ed83e7dd8fe7e9b261781a1","datavalue":{"value":"1018.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762219$9515461B-3D65-40F0-9DF0-28F909BCA068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4110c20d9c217aea629552dd187d5f927a0c1817","datavalue":{"value":{"entity-type":"item","numeric-id":346906,"id":"Q346906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762219$EBEC9690-B3D5-41E0-9744-9854E237A236","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9e418580f2b70ce6849ba62f9449722e930b0d2","datavalue":{"value":{"time":"+2002-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2762219$84F845AD-3E20-4122-AE9D-4B23D8DA3A04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4333701c05ac2b3f2ff048ccc47a1900b7e7bd57","datavalue":{"value":"https://eudml.org/doc/122812","type":"string"},"datatype":"url"},"type":"statement","id":"Q2762219$80CC3C8F-2DE8-4D1F-938B-6FFBC355F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a166c6fec6bd9a59ea5f4b15746ffa01c72b92d6","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2762219$D0466839-DF76-44D5-85F1-902181CFFF59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762219$B9E09140-9B38-40C3-9EC4-157114A36F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"849c6ab6e05d5ebd49a9a4a8a1c4201b893ff3c1","datavalue":{"value":"55P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762219$0D0583AD-6132-4DBD-ABF3-B0157F661518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762219$D4E8BB9D-D06D-4F12-B8E2-85B62F61A783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a219510a1e9f3e51745e30c8bc9865b83050d49c","datavalue":{"value":"1687309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762219$AA229EB3-90E8-49BF-AC62-CD1B9A91EC38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762219$A9E35933-9D3B-41D2-9E35-D70FE7A530FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bd256bb148b883cda9f7e418256129feafa260c","datavalue":{"value":"classifying space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762219$8F00A7DF-1807-4DCB-A57C-5731DA87998F","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":"Q2762219$00604FBB-A92D-42D5-8F00-9DA43465F44B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c5e053a9c695125bcb60b3556d1158a31d6261","datavalue":{"value":{"entity-type":"item","numeric-id":667614,"id":"Q667614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d32d941ee7013d783192752e37436d8411bb4c","datavalue":{"value":{"amount":"+0.72519666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$D096EB3D-3E47-4BFD-9116-570C7FFEE97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f89ee87773cb878a9ffad7a1563905d9ebe04d8","datavalue":{"value":{"entity-type":"item","numeric-id":1850079,"id":"Q1850079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001b8cc035f5d4475bfba3137bf48d39b8a2da89","datavalue":{"value":{"amount":"+0.69188887","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$26DE45AE-D845-476B-B9EE-2F12A32CF5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f5ad26936e54eaf9c33facd8fea08bad5ce857c","datavalue":{"value":{"entity-type":"item","numeric-id":6091829,"id":"Q6091829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01407db91233b5cfa1a91ed6dc565951e0d30c03","datavalue":{"value":{"amount":"+0.6884259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$1CE3404D-99D8-4771-B627-8F6F373886C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fd62f7f448e90bc77a9048f7d68d7d145246ed","datavalue":{"value":{"entity-type":"item","numeric-id":4540526,"id":"Q4540526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb05fdca391012c7cc5ec8673511a609690b1cac","datavalue":{"value":{"amount":"+0.68689764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$71FF173C-8659-47B5-9088-FE47F355C01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e42ce0a2cbdb4e6430101aa7bea163540632cb99","datavalue":{"value":{"entity-type":"item","numeric-id":3810814,"id":"Q3810814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fab17bde043b25e86ca98d4defc79288d813d5d","datavalue":{"value":{"amount":"+0.68128896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$30FF069F-EFC3-4683-B6BE-DA67E0F593D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"441d6c20033163e8cb33d0cfa854429fce8a5245","datavalue":{"value":{"entity-type":"item","numeric-id":618740,"id":"Q618740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0c3eba2d77aecb3b30e840192868edef9ec049","datavalue":{"value":{"amount":"+0.6773451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$870CCB87-0BE6-4480-8589-B1AFFA56C7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24418846228fa049c15c167aa2350247760d7f98","datavalue":{"value":{"entity-type":"item","numeric-id":2105786,"id":"Q2105786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dfb06f98bf9f3d6efc6ee43ff119f681e3f1f4f","datavalue":{"value":{"amount":"+0.6768083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$86090612-5B8F-47CE-A659-512CCB522158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca6e550fa9b29573cdc10aa64c061c6c6518e97","datavalue":{"value":{"entity-type":"item","numeric-id":848138,"id":"Q848138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175002196b93ea83c17301fc67d4bda45d850d8c","datavalue":{"value":{"amount":"+0.6745144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$5429D17E-FE95-45A1-965E-875ABAD6C10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c46e53e0475aa5bb1b18e855ae9a9cd0e48765","datavalue":{"value":{"entity-type":"item","numeric-id":3124375,"id":"Q3124375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4758c1d22540c7404d802af5017ad5260a7ed65e","datavalue":{"value":{"amount":"+0.67127216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$B4B868E9-4664-4EB7-8E51-D9170CEBF646","rank":"normal"},{"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":"9fc4106fe108f89b8517b6351802e14c445134a7","datavalue":{"value":{"amount":"+0.66950333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2762219$51699FEB-A7F8-4E1A-B8C1-384BBE520607","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"18225fdc18e34ab4b5f545f304eafe5627394836","datavalue":{"value":"bafkreifudnj4vpiqnmcm6opwxfs5o4ofpqdjvsdytrumayv75naquawatq","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2762219$3F3C7B4F-A4DA-4842-A26A-C61F8CF046D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1a05f97d0dcc8c0d49a6fb25aa7e76e84674efb","datavalue":{"value":{"text":"Classifying spaces of categories and term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2762219$C536E52C-D9F9-417C-BC81-43BD782ACD30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762219$4C03BC2B-0787-45F5-9734-13D2AC7E10FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"499ba1b8ce706404c02dd15ae659c4a725aa709f","datavalue":{"value":"\\textit{K. S. Brown} and \\textit{R. Geoghegan} [Invent. Math. 77, 367-381 (1984; Zbl 0557.55009)] introduced the notion of a collapsing scheme for a simplicial set. This specified classes \\(E\\), \\(R\\), and \\(C\\) of non-degenerate simplices are called Essential, Redundant and Collapsible, respectively. These were to satisfy certain axioms. The main result of their theory was that, if one has a collapsing scheme on \\(X\\), say, the geometric realisation of \\(X\\) has the homotopy type of a CW-complex \\(\\mathcal{E}(X)\\), whose \\(n\\)-cells correspond to its essential \\(n\\)-simplices. NEWLINENEWLINENEWLINEThe classifying space of a category \\({\\mathcal C}\\) is obtained by geometric realisation of its nerve, however by reason of its construction it may be difficult to study it as there will be a large number of cells in all dimensions. In this paper a category of simplicial sets with collapsing scheme is introduced and the Brown-Geoghegan construction, \\(\\mathcal{E}\\), is shown to be functorial, and the canonical homotopy equivalence, \\(|X|\\to \\mathcal{E}(X)\\), to be a natural transformation. \\textit{K. S. Brown} [in: Algorithms and classification in combinatorial group theory, Publ. Math. Sci. Res. Inst. 23, 137-163 (1992; Zbl 0764.20016)] showed how to derive a collapsing scheme from a rewrite system or a monoid presentation. NEWLINENEWLINENEWLINEHere the author extends this to presentations of categories and studies the nerve of the category \\(\\mathcal{IR}\\) of normal forms of a complete rewrite system \\(\\mathcal{R}\\). If \\(R\\) is a complete presentation of a small catgory \\({\\mathcal C}\\), then the collapsed space \\(\\mathcal{E}(N\\mathcal{IR})\\) is (up to homotopy) the classifying space \\(B{\\mathcal C}\\) of \\({\\mathcal C}\\). Several useful examples are given as illustrations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2762219$981D3750-9EDE-4459-96B1-AAF4E653EC66","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab79fdaddc189a7483164e877e59b9ea4b806d0e","datavalue":{"value":{"entity-type":"item","numeric-id":590766,"id":"Q590766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2762219$0F2FC509-8C81-4CCA-9A6A-D46D22259213","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classifying spaces of categories and term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classifying_spaces_of_categories_and_term_rewriting"}}}}}