{"entities":{"Q721972":{"pageid":723821,"ns":120,"title":"Item:Q721972","lastrevid":63913395,"modified":"2026-04-11T16:23:39Z","type":"item","id":"Q721972","labels":{"en":{"language":"en","value":"Functors (between \\(\\infty \\)-categories) that aren't strictly unital"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6909107"}},"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":"Q721972$1E7F274A-1C05-4AF8-8A3E-FD08551FB39B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9910fa72fa22cf84a714a311b9f20f34069f4ab","datavalue":{"value":{"text":"Functors (between \\(\\infty \\)-categories) that aren't strictly unital","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q721972$BA724008-A76B-47DE-BDFA-AF4904A7522F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2aac4b7a19c2dcaf3a80901abdd5761d10fbe3d","datavalue":{"value":"1402.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$FE61EE06-0D28-4C03-958E-3F01D8BB76FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00799e08400c7d085ac4f21269ddb345ba32f28b","datavalue":{"value":{"entity-type":"item","numeric-id":502664,"id":"Q502664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$1E16D950-9464-47F0-80F0-C57C1F80845C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f547af18a2692ab85e737a33938e3d90c4bee546","datavalue":{"value":{"entity-type":"item","numeric-id":260070,"id":"Q260070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$DEC8896D-2530-4497-A087-32CC27286BAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14df3d82559b6ebe5d0cc96241f3d08d6077f97e","datavalue":{"value":{"time":"+2018-07-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":"Q721972$5381AB91-3C8E-493B-A636-828C40361372","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0f3556ca939304250149332799e386ece64ccdc","datavalue":{"value":"https://arxiv.org/abs/1606.05669","type":"string"},"datatype":"url"},"type":"statement","id":"Q721972$8D171F1F-AD86-4E36-83D9-6CA6FF6AD3C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4035e981cf10b9f0a77ea9a7ee3895740e6f2975","datavalue":{"value":"A model for \\(\\infty\\)-categories, called \\textit{quasi-categories} by \\textit{A. Joyal} [J. Pure Appl. Algebra 175, No. 1-3, 207--222 (2002; Zbl 1015.18008)], is given by simplicial sets which satisfy the \\textit{restricted Kan condition} of \\textit{J. M. Boardman and R. M. Vogt} [Homotopy invariant algebraic structures on topological spaces, Lect. Notes Math. 347 (1973; Zbl 0285.55012)] -- that is, in which each \\textit{inner} horn can be filled. (Through the nerve functor, a usual small category is the same as a simplicial set in which each inner horn can be filled \\textit{in a unique way}.) The usual notion of functor between quasi-categories is a simplicial set map between them. But this notion is \\textit{strict}; in particular, the commutation to degeneracies has to be rigid (not up to homotopy). To preserve degeneracies is a kind of unitality (for usual categories, the degeneracies let appear identities). It is natural to try to relax this condition; it is both a theoretic question and a pratical one, being here motivated by research of the author on Fukaya categories.  To see what happens when forgetting degeneracies, one looks at the underlying \\textit{semi-simplicial} set of a quasi-category (remind that a semi-simplicial set is a contravariant functor from the subcategory of \\textit{injections} in the simplex category \\(\\mathbf{\\Delta}\\) to sets). The functor sending a simplicial set to its underlying semi-simplicial set has a left adjoint; the first main result (\\textit{Theorem 1.1}) of the article asserts that the counit of this adjunction behaves well on quasi-categories. From this is deduced \\textit{Theorem 1.4} which reachs the aim of the work: it shows that a map of the underlying \\textit{semi-}simplicial sets of two quasi-categories which preserves ``units'' (that is, degeneracies) only in a very lax sense is homotopy equivalent to a strict functor (that is a simplical map).  A complementary (and independent) result to strictify as quasi-categories some kind of lax \\(\\infty\\)-categories (here at the level of objects: one looks at a \\textit{semi-}simplicial set satisfying the restricted Kan condition and wonders whether it is equivalent to a quasi-category) has been recently obtained by \\textit{W. Steimle} [J. Homotopy Relat. Struct. 13, No. 4, 703--714 (2018; Zbl 1432.55018)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q721972$CC1D6ABE-8F29-4B4D-8C94-317259B9237F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd14109b728357c96051ccc125db5e1d8c36ea77","datavalue":{"value":"18A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$2ECC12AA-CC0D-4892-8AE4-3D44A6A3E08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8cc06cc8818f42c97499b7590e26b3ddf428901c","datavalue":{"value":"55P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$BCE70F98-59DC-4236-8FA0-378D41873BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$F0448563-ADE3-469A-AE35-630828FE8E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3643431a725e554c54598cd9777f2e5a7f105dfb","datavalue":{"value":"18G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$7BC245C7-03B8-4FBD-9550-949F0EC01E9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16b7f774d2205ba98515fa8434372bc402ef11ab","datavalue":{"value":"6909107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$F269593F-8FA2-41A4-8630-009D20C58DAC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5056208dcc89efbee65859c459e0f031968c83d","datavalue":{"value":"quasi-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q721972$3ED5BC4A-CB30-4AD1-9865-BFDE97FD3BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c59da22a42f770d5a4789ea46da9aae6794018a","datavalue":{"value":"semi-simplicial sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q721972$70D91951-299B-43A7-8243-C57CF7519867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"764e7ed335a7f3f12f26d39ac4c3a6fe659e88be","datavalue":{"value":"strictification of lax functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q721972$E6CFFEF3-66C2-4AA9-A822-09408863C1B4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b6bbd2aa9f430c0d23c235f50548ac357363c8a2","datavalue":{"value":{"entity-type":"item","numeric-id":288656,"id":"Q288656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$6EF62A64-83B6-43E7-B66E-1386F4BB74E5","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":"Q721972$F24AC0B1-05BE-451A-9198-2C09880C0758","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6dbecd73ca67fc2bebab093c976569006cabab7","datavalue":{"value":"W3098028600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$EBB3A9D6-8247-4181-B99D-46A2767B7BC5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ea39604d73b5264a301de6c30fa353233116bd","datavalue":{"value":{"entity-type":"item","numeric-id":1845413,"id":"Q1845413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$D5ACDEDB-DF0E-4A59-A811-A0AECA29936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c2e6d7f25e3713c8063b402f18319938e451e32","datavalue":{"value":{"entity-type":"item","numeric-id":618740,"id":"Q618740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$30209313-AB24-4BCB-BC0F-202BFBD60BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b36e5a836598c374b28438bd65ca78c07e703","datavalue":{"value":{"entity-type":"item","numeric-id":5838520,"id":"Q5838520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$FFCE4E5C-82EC-4E0A-B3AD-024678206C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea111157c808cbce12678dd805e041c999a01dc","datavalue":{"value":{"entity-type":"item","numeric-id":2648339,"id":"Q2648339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$17E1BA8D-77F0-497E-BC2A-B8714BA3FBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc936791fc42d40e97a93aee3beb171d8cec297","datavalue":{"value":{"entity-type":"item","numeric-id":2963469,"id":"Q2963469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$40651A8F-B3ED-4767-BDBF-FC19E437B634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ce49c1b6257dde951ea8793d25924fa140a3ab","datavalue":{"value":{"entity-type":"item","numeric-id":1676076,"id":"Q1676076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$13FC335D-50DE-43E1-A789-CEAE290C446D","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":"Q721972$C7CB5093-3377-431B-A503-3C7416E7CF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c215e7921848613741c43ea70ecb097fe5d581d6","datavalue":{"value":{"entity-type":"item","numeric-id":1630574,"id":"Q1630574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q721972$99FD6752-C414-4CB1-8171-D731C4FC1D15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce6c3643c4ba27ed01b41e47399b47cf9c0a83c7","datavalue":{"value":"10.1007/S40062-017-0182-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q721972$B9120C1E-45AD-4A6E-B8C4-0BCAF9934EE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af535aa406bff25d98864966eaa094973cd79ac9","datavalue":{"value":{"entity-type":"item","numeric-id":890142,"id":"Q890142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753b842065657afda070a61d2d623034402baa51","datavalue":{"value":{"amount":"+0.8502306","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":"Q721972$078B0E2D-99A4-4825-BD14-E9E7F68AA1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bfedbf320be94aefe2ee5403eef39ffb8d58f7a","datavalue":{"value":{"entity-type":"item","numeric-id":2346051,"id":"Q2346051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd75faa69575aaa87fe9ad9bb0830ef2bd5d2909","datavalue":{"value":{"amount":"+0.81868374","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":"Q721972$17489774-AD41-4F81-8740-1D15ED52375F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4338da932dc8c9bf929bc8e36a02ecc7533974","datavalue":{"value":{"entity-type":"item","numeric-id":2463521,"id":"Q2463521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fd2682f41b5c6bf79fb46a765a19f732427180","datavalue":{"value":{"amount":"+0.79271936","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":"Q721972$C39D079F-A7BA-4E25-AE99-DFD29B6378E9","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":"ef80f86b405565a185b2bc8023977b62a187b35d","datavalue":{"value":{"amount":"+0.7811222","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":"Q721972$5157E4CB-762B-4EC2-92E8-69AC0291252E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4537a82b3458dca1b09f14a5058d65a402b757a","datavalue":{"value":{"entity-type":"item","numeric-id":711379,"id":"Q711379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98c9221d0cdb32b27c23032badcba9eb2f71b4ac","datavalue":{"value":{"amount":"+0.7797898","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":"Q721972$2F92D590-A0B3-4BAF-8C2B-4A683682474A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c4b1d278283f3c77e7edb398f17c6244a7cc4ce","datavalue":{"value":{"entity-type":"item","numeric-id":338225,"id":"Q338225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ccfb5b3c3d758f69ddf9c3df23cccd612c2602d","datavalue":{"value":{"amount":"+0.76264054","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":"Q721972$F64FCDC4-83F2-4BD0-9D11-E37346CD6326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cfb5b0130ce9162f4ab881fa51a55bae0ed9c00","datavalue":{"value":{"entity-type":"item","numeric-id":2354972,"id":"Q2354972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cf116577ccdaffc92cc959a9e15d62b3830a0d","datavalue":{"value":{"amount":"+0.7543902","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":"Q721972$25A64014-0775-40A5-A4AF-A84356D5DC1A","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":"5ea070ff1cad0bf4a4666571e23fe528f60c13fd","datavalue":{"value":{"amount":"+0.7510738","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":"Q721972$346350C6-0E60-4C71-BFED-3006A41C73E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8859b247e21bfb72bde438c02b79ff380f206ab","datavalue":{"value":{"entity-type":"item","numeric-id":5217590,"id":"Q5217590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413c1756806bfe5ce69d6bc5df35f579aba6e9aa","datavalue":{"value":{"amount":"+0.7507514","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":"Q721972$50681C68-F533-40BD-BF8A-1107910C3193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48da4d07f2285e231fee1e1751eeb1570e07b96","datavalue":{"value":{"entity-type":"item","numeric-id":1850102,"id":"Q1850102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc129361200557215e81fa9a3c8be86d52b11072","datavalue":{"value":{"amount":"+0.7483247","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":"Q721972$E12B3B32-E80D-4953-B140-275EB47EBE0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Functors (between \\(\\infty \\)-categories) that aren't strictly unital","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Functors_(between_%5C(%5Cinfty_%5C)-categories)_that_aren%27t_strictly_unital"}}}}}