{"entities":{"Q498739":{"pageid":500506,"ns":120,"title":"Item:Q498739","lastrevid":62330517,"modified":"2026-04-11T05:21:22Z","type":"item","id":"Q498739","labels":{"en":{"language":"en","value":"Quasi-unital \\(\\infty\\)-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6486649"}},"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":"Q498739$5496CFB7-3ADA-4799-80A3-EE3E2979D861","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc7d61c52d869530e15276e5dada500fce5b740d","datavalue":{"value":{"text":"Quasi-unital \\(\\infty\\)-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q498739$70B7887B-A04D-419A-9A1A-CF23EFBA5A50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a66ae42d9ff2ccaaf75b8bfcd41c7dc24f6bf5c9","datavalue":{"value":"1326.55020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$28122BF5-C41B-43B9-B800-51D094DACF4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faf466113a48cff4bbd62b76ed1cbdbf6e228c48","datavalue":{"value":{"entity-type":"item","numeric-id":245235,"id":"Q245235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$740CBC22-B1C7-40E6-81C5-7637AA00CB40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b4b9002cf27b8127c357783774cf1eb8e2902202","datavalue":{"value":{"entity-type":"item","numeric-id":166428,"id":"Q166428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$7E877E66-D2D8-471D-88B0-3F5DCCFA2DCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecd5184120b252fc4fbf5faa8556e203e05835e2","datavalue":{"value":{"time":"+2015-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q498739$CAAB858C-7AF0-4FEA-814C-67008ED5EDBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fc24fa4fa2e042ab03136fb35b2f28632036bc4d","datavalue":{"value":"https://arxiv.org/abs/1210.0212","type":"string"},"datatype":"url"},"type":"statement","id":"Q498739$F64ACE4E-4137-429C-B4D3-F7DA37DE5ADC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6267e908ebc8a41d05ff8000aedef86f550eb039","datavalue":{"value":"One model for the theory of \\((\\infty, 1)\\)-categories are complete Segal spaces, as introduced by Rezk. These are certain simplicial spaces \\(X_\\bullet\\), where we think of the points of \\(X_n\\) as chains of \\(n\\) composable morphisms and of paths in \\(X_n\\) as invertible morphisms between such chains. In particular, they satisfy the Segal condition that \\(X_{n+m}\\) is the homotopy fiber product \\(X_n\\times^h_{X_0}X_m\\). In the spirit of \\(\\infty\\)-categories, compositions are only defined up to contractible choice. In contrast, units are given by the degeneracies in the simplicial structure and are therefore strictly defined. This can be a technical problem, e.g. in the theory of cobordism \\(\\infty\\)-categories, where every cobordism diffeomorphic to \\(M\\times [0,1]\\) should be equally good as an identity. Following a remark of Lurie in his cobordism hypothesis paper, the author sets up a theory of quasi-unital complete semi-Segal spaces that solves this issue.  In more detail: Following Lurie, the author defines a \\textit{semi-Segal space} as a semisimplicial space \\(X_\\bullet\\) satisfying the Segal condition -- semisimplicial means here that we index only over the injective maps in \\(\\Delta\\) so that we do not have degeneracies. Denoting by \\(Ho(\\mathcal{S})\\) the homotopy category of simplicial sets, we can associate with a semi-Segal space a non-unital \\(Ho(\\mathcal{S})\\)-enriched category \\(Ho(X_\\bullet)\\), its \\textit{homotopy category}. We call \\(X_\\bullet\\) \\textit{quasi-unital} if \\(Ho(X_\\bullet)\\) admits the structure of a \\textit{unital} \\(Ho(\\mathcal (S))\\)-enriched category. Define \\(X_1^{inv} \\subset X_1\\) as the subspace of \\textit{invertible edges}, i.e. those edges such that pre- and postcomposition defines isomorphisms of mapping spaces in \\(Ho(X_\\bullet)\\). Then we define a \\textit{complete semi-Segal space} as a quasi-unital semi-Segal space such that the \\(d_i: X_1^{inv} \\to X_0\\) are weak equivalences for \\(i=0,1\\) -- this is analogous to the completeness condition of Rezk. Consider now the \\(\\infty\\)-category \\(CsS\\) associated with the following category with weak equivalences: Objects are complete semi-Segal spaces, morphisms are those morphisms of semi-Segal spaces that preserve invertible edges and weak equivalences are levelwise weak equivalences.  The main theorem of the paper under review is that this \\(\\infty\\)-category is equivalent to that of complete Segal spaces in the sense of Rezk. More precisely, the author constructs a model structure on marked semisimplicial sets whose bifibrant objects are exactly the Reedy fibrant complete semi-Segal spaces. He then constructs a Quillen equivalence to the Rezk model structure on simplicial spaces, where the bifibrant objects are exactly the Reedy fibrant complete Segal spaces.  Thus complete semi-Segal spaces are a valid model for \\((\\infty,1)\\)-categories. One can argue that the quasi-unitality condition is more natural from the \\(\\infty\\)-point of view than the strict unitality of complete Segal spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q498739$CD7E4DCB-338A-4878-AB0C-9ED622764A98","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5daf30773825962ed6f372b24058740325744b7e","datavalue":{"value":{"entity-type":"item","numeric-id":246329,"id":"Q246329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$CB3B5E02-E9C8-47AD-8BFD-E2BC1029B375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$5F9A0ADB-9A24-43DD-AADD-FA5B6E481471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9fdba58e5344e05288d09cbbfa64fc756b9e06c","datavalue":{"value":"55U40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$07CCC6C2-1587-4A79-9D9C-005FE95D8683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2777cb6b2f1e2b95b27663ecab48b5ce6a7f7639","datavalue":{"value":"57R56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$FA40F0E7-289F-4864-BBF9-F549CF50AC8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49cce948f8219072c218d1c9758562d69dffc27","datavalue":{"value":"6486649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$545B5008-E70A-4E02-8A1E-8AE897BD556F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"857547e03311c009fa4df2110173443e2ef2d06e","datavalue":{"value":"Segal space","type":"string"},"datatype":"string"},"type":"statement","id":"Q498739$C81F20D4-066A-4901-BB2D-2A91AB5F3F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd4681e7d45a36778627db358b18c32be55a3b5e","datavalue":{"value":"strictification","type":"string"},"datatype":"string"},"type":"statement","id":"Q498739$1A0DB698-B69C-4DCF-9807-5AA3A8B2493F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"895e013be08c2c956693f7704675a833a4f50f9e","datavalue":{"value":"semisimplicial","type":"string"},"datatype":"string"},"type":"statement","id":"Q498739$390EB2FA-EDD0-43EE-BAD1-FD5BAEE59314","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":"Q498739$74F25AFF-4AA5-408D-89AB-A3175DB30D3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15a6c2d7896654efa480760bdcf68f3ca9817c73","datavalue":{"value":"W3103104364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$14A3F82E-92DD-4E39-B5E5-67FBA58B16FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"882776ff3620997d63fbe1cfc594f5b373e76ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3420390,"id":"Q3420390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$B9673F22-D590-4E66-B341-FC04B4E645AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb667c4bbfe72ec24dbc781bc8de60c154d56be","datavalue":{"value":{"entity-type":"item","numeric-id":1141944,"id":"Q1141944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$A4BD373B-1ABD-4956-BF9A-0600ADB6B5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38cac4d5c2d25c0ebd8552b272a146d960ea92","datavalue":{"value":{"entity-type":"item","numeric-id":1164131,"id":"Q1164131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$48447484-B4D4-4EBC-A70D-0EDBCC749379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6488a855643b2d5def2576a888f58585307117","datavalue":{"value":{"entity-type":"item","numeric-id":880955,"id":"Q880955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$2FEDB0C2-154A-4A4E-BFF8-668F9BAB9E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4e8c52f35438d7b4abf01a9681a8cc3357472f","datavalue":{"value":{"entity-type":"item","numeric-id":303905,"id":"Q303905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$FE1D07F9-92A0-4B53-89EA-53E7871047A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf27b7a78446b5193e149e1748bf4d4fa28420c","datavalue":{"value":{"entity-type":"item","numeric-id":4790109,"id":"Q4790109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$7AB48335-E30E-44B0-9FC9-D278DB0ADB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3152d8e4b139c56be2c850741e16ba2d6231d","datavalue":{"value":{"entity-type":"item","numeric-id":4220599,"id":"Q4220599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$2F07056A-FA28-42B3-9A09-865790426DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270f4ddb4ba8bf5e3ed43735cee428375883e3a6","datavalue":{"value":{"entity-type":"item","numeric-id":5431519,"id":"Q5431519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$6A955A15-3456-48F2-BBEB-ADAC99C433C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13d57231e8075e1a7d20aa3aca45257a2c1bf61","datavalue":{"value":{"entity-type":"item","numeric-id":1946063,"id":"Q1946063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$5CFE4FDD-0507-4295-9E38-97576EF31192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f433fa1089a486d84b6d1c8cb3b5bbb0187e74","datavalue":{"value":{"entity-type":"item","numeric-id":3517398,"id":"Q3517398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$C48B6C3E-B703-44C7-89AA-D4B7AFE61469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$3E16ACBF-3857-4622-B2AD-FD4266289A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e990f93f98ac4fb951b1c319e635f768969378ec","datavalue":{"value":{"entity-type":"item","numeric-id":3645675,"id":"Q3645675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$52093C24-5B57-443B-8600-372ED81C7762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2466e3b4a1f654f955801a29fb4c91580df3de3b","datavalue":{"value":{"entity-type":"item","numeric-id":1393882,"id":"Q1393882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$0562798E-A75A-4418-B01F-5B42C9EEC71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b8ae78fa382e84d0f715ab21a503c2ed714d64","datavalue":{"value":{"entity-type":"item","numeric-id":4523176,"id":"Q4523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$0A0E12C5-1601-4A98-B79C-3B7FA1FA1C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d22dd00404cc03c41a9fc3f556f13b62439fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5633290,"id":"Q5633290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$96893AA7-E6AA-4EF7-904C-AA7F088BC097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fb4e87b8bdcdd8d978144597e44e48c3613e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1810411,"id":"Q1810411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q498739$BB60A2B3-41D5-4077-9301-34C9A439E1B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"325f7b1e3cfea3cd3b1424b600810c520ad62cd6","datavalue":{"value":"10.2140/AGT.2015.15.2303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q498739$28F9247A-7C66-4C45-B24F-1B0850EAC16D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0b0556a690df2d102808f44042a1fa326045c5","datavalue":{"value":{"entity-type":"item","numeric-id":5431520,"id":"Q5431520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb898d70bf497bcf5075e2093cb269e12788880","datavalue":{"value":{"amount":"+0.8285305500030518","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":"Q498739$EE741F7F-AC99-4841-A65B-96F7B72A87CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"045dd3810df49fc8e70c9156974f018f21263c49","datavalue":{"value":{"entity-type":"item","numeric-id":721972,"id":"Q721972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac3b8e041d157003f65cc1680a00e668bd6a450","datavalue":{"value":{"amount":"+0.7871018052101135","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":"Q498739$6FA57C5B-2B7F-4DCB-B29A-B9228F2F79F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944743e5744ce3abae1dbbf4ad375068f26c70a0","datavalue":{"value":{"entity-type":"item","numeric-id":3400010,"id":"Q3400010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22838f87f00036cc6fb5a8c2073e5cc0d91296d","datavalue":{"value":{"amount":"+0.7769733667373657","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":"Q498739$2BEA67BA-FDE3-4265-8485-C7B3913C3379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c1667b7b48629c1a06b78cbff7760ff3614f55","datavalue":{"value":{"entity-type":"item","numeric-id":5126440,"id":"Q5126440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb0f9848e1b4ad8c46d25b054bda0f42f336e44f","datavalue":{"value":{"amount":"+0.7721028923988342","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":"Q498739$E008F4AD-FE56-4796-ACDE-7C6BC397E757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c01387ccd3bbfad66b03c6a93b92b43c1ddcafbb","datavalue":{"value":{"entity-type":"item","numeric-id":5150171,"id":"Q5150171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9bef27481d91bc75daa75991c57bf444deaeccd","datavalue":{"value":{"amount":"+0.7694553136825562","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":"Q498739$95A560AB-4576-49A8-A098-83E791F0FE69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quasi-unital \\(\\infty\\)-categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quasi-unital_%5C(%5Cinfty%5C)-categories"}}}}}