{"entities":{"Q2472759":{"pageid":2483502,"ns":120,"title":"Item:Q2472759","lastrevid":74183619,"modified":"2026-04-14T18:50:22Z","type":"item","id":"Q2472759","labels":{"en":{"language":"en","value":"Cofibrant objects among higher-dimensional categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5240221"}},"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":"Q2472759$71A6F05F-354E-4BC4-844A-675C9A958D5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5988ab15236cba950effdc4bd3a8c8ee394152d0","datavalue":{"value":{"text":"Cofibrant objects among higher-dimensional categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2472759$7E2660F4-7526-4FC4-AF29-784017B778C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99c5d4acb938a562dc9587b273cca5f26110c2c8","datavalue":{"value":"1143.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472759$4E977AA5-025B-45A2-B6B2-55E3E8EA7D06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6eb1f11b1588399b186c1c29b3d325110fe4701","datavalue":{"value":{"entity-type":"item","numeric-id":534533,"id":"Q534533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472759$6E74114C-D207-46E3-920F-C1B41799CDB1","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":"Q2472759$01B799E6-6BE3-4AED-BBD5-F59637437535","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"466ae4194d5d9f61f81aef55cc4204c3dadc143d","datavalue":{"value":{"time":"+2008-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2472759$6031124D-62E5-4FCC-988E-68CE69C59A9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f02dd7eca33527c3367fdf5b7fde44ce11d2617","datavalue":{"value":"http://intlpress.com/hha/v10/n1/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2472759$F10E6DEF-7CD6-4A75-8389-DD95623B63D5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"498d9dd40e9c3bbd5cd1d6c7486021e03231f43c","datavalue":{"value":"Polygraphs [\\textit{A. Burroni}, Lect. Notes Comput. Sci. 530, 94--105 (1991; Zbl 0788.18004), Theor. Comput. Sci. 115, No. 1, 43--62 (1993; Zbl 0791.08004)] or computads [\\textit{J. M. Barja Perez}, ``Morita theorems for triples in closed categories'', Alxebra. 20 (1977; Zbl 0376.18004); \\textit{R. Street}, J. Pure Appl. Algebra 8, 149--181 (1976; Zbl 0335.18005)] are structured systems of generators for \\(\\infty\\)-categories, extending the familiar notion of presentation of generators and relations beyond monoids or groups.  The principal purpose in this paper is to prove that all cofibrant \\(\\infty\\)-categories are freely generated by polygraphs, thus establishing a simple, abstract characterization of the free objects, otherwise defined by a rather complex inductive construction. The key point is that the full subcategory of \\(\\mathbf{Cat}_{\\infty}\\) whose objects are freely generated by polygraphs is Cauchy-complete, which means that its idempotent endomorphisms split.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472759$8821341C-BD25-45AF-A8C5-8504EBB0772B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2472759$AA0391A4-5CC0-4368-A84B-A7E47D7DEB2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472759$AC79974E-89BB-4B68-B5D9-7EC0448C35D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"092f9d33a43d49a1c014886fc43d1140150d8840","datavalue":{"value":"5240221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472759$51903A33-2F5B-4031-B6A3-07900F973079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8296acd175341a06a6eda82a367b1d71b5e0da2d","datavalue":{"value":"cofibrant object","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472759$DB1C4E41-443B-43CF-8DDF-59CFBB5A8A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4933069b89a8c5212359b2c97d82bfa596331cf8","datavalue":{"value":"higher-dimensional category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472759$9F4AD841-E03C-416E-A1AD-DCC4356CD128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b885a16f9d4ce4774051d109ae1ba658ad14bae","datavalue":{"value":"\\(\\infty\\)-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472759$B80DE003-5703-4E92-AFCC-A6B949CD3937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58c34cfe223316591f56cdf41b66e4b6aa918f66","datavalue":{"value":"polygraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472759$CF9E1647-A930-4534-B812-DDDCCB433D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91517bbb5bb127c36e4e40c73a6b5b4e88ec7b94","datavalue":{"value":"Cauchy-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2472759$2FDDDD12-FB69-444C-9376-BD279981CDB3","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":"Q2472759$62594313-10B3-48DB-A822-FB2324CFE9E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"082156805fdeca722b6485f938d913b43730761b","datavalue":{"value":"10.4310/HHA.2008.V10.N1.A7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2472759$95B98EAF-E870-4F9F-9824-544AC78D43D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7397f7d12ed06f637c91d3e2b15cf19be2c91f0","datavalue":{"value":{"entity-type":"item","numeric-id":4239753,"id":"Q4239753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bde5f99e4a7548696209d8008caef22f7ef974","datavalue":{"value":{"amount":"+0.7474061250686646","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":"Q2472759$7603F175-4298-4401-A77C-30D5483FEAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6025c7fd38b9e2c0fc459705444d532d8101976e","datavalue":{"value":{"entity-type":"item","numeric-id":2826240,"id":"Q2826240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e010f3266a640e9b3f86e2a0714368b5892aefc1","datavalue":{"value":{"amount":"+0.7378067374229431","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":"Q2472759$62124542-F0F7-41E0-8605-10447395C187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a67dd18b84c438f298b78301edf2a5ec948abedf","datavalue":{"value":{"entity-type":"item","numeric-id":2690449,"id":"Q2690449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fafdc81560913ebbd1544ddfa49d1ccc29a5bc4","datavalue":{"value":{"amount":"+0.7341047525405884","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":"Q2472759$3B951AE7-3240-456E-9B72-1C2B515C1CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d2346df8a04c5e074956fe4e853868e7900e4b5","datavalue":{"value":{"entity-type":"item","numeric-id":3305543,"id":"Q3305543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93663d0d3c517d05e3fe7fc7ff8c01ab51af99eb","datavalue":{"value":{"amount":"+0.7307321429252625","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":"Q2472759$146FAB07-996B-4CD3-9615-B5BD9DB1512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b1a9e5ceb111f0d5b180fe69bffc0eb6d287cc","datavalue":{"value":{"entity-type":"item","numeric-id":2031557,"id":"Q2031557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e944c8af70f7e5f206b2f2495c1193fdedd600dd","datavalue":{"value":{"amount":"+0.7294665575027466","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":"Q2472759$D7D9C3B1-76B4-4922-9B49-8578777EF6B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cofibrant objects among higher-dimensional categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cofibrant_objects_among_higher-dimensional_categories"}}}}}