{"entities":{"Q5960421":{"pageid":8137223,"ns":120,"title":"Item:Q5960421","lastrevid":58627191,"modified":"2026-04-06T01:58:43Z","type":"item","id":"Q5960421","labels":{"en":{"language":"en","value":"Every homotopy theory of simplicial algebras admits a proper model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1724917"}},"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":"Q5960421$2C77A652-B8D2-4395-A4C7-F73C9A3F1B50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16889ba88414ef04364dbd4b04ed6a61d922808e","datavalue":{"value":{"text":"Every homotopy theory of simplicial algebras admits a proper model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5960421$898D7B0C-9176-4FED-93B1-97D4EE2FA629","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a43f9c20961e08a10c37cc9ecb70fd1088f677e1","datavalue":{"value":"0994.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960421$C050E870-64C5-4E51-AAD6-C5F4D36ACCE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee496957c0522c04ebc3d1d840e9414da763ef6f","datavalue":{"value":"10.1016/S0166-8641(01)00057-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960421$A9125FF7-F9DC-48F3-B424-8B05B1333DB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"baae657675f8cd968c8d44fbbd678a72f97654fc","datavalue":{"value":{"entity-type":"item","numeric-id":240403,"id":"Q240403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$EC9B7AC1-3D5D-416E-BE47-DC8533517A74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$4BAB7137-6183-4DA6-B901-AEC39E952A79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"139fdaa7fd4d0729feb997bd5c9e17abb36abf69","datavalue":{"value":{"time":"+2002-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5960421$E3CBE355-EF60-46DF-B360-A3A3540CBCE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e38cd8339a80c3fa76eb4504540205393bd8c033","datavalue":{"value":"https://arxiv.org/abs/math/0003065","type":"string"},"datatype":"url"},"type":"statement","id":"Q5960421$BC80E539-580D-41AD-9540-7DD2A6E1771E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8d15dff5987fa966dec5b70312142d908c224362","datavalue":{"value":{"entity-type":"item","numeric-id":587483,"id":"Q587483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$6F08081B-C58B-45AC-8D9B-50C7DC6197A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960421$4B5DE29C-34B7-4962-B0C1-6D0CD0818D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"72047dd175f2df177aa1ddf4f7ca150e0c1e70c2","datavalue":{"value":"55U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960421$E19325F2-3D58-4413-8670-4285A4CCE195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960421$742A7B5B-5049-41EF-99BC-140F0179DB60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03ed27494d0896e3b7a59890bbd901f3805504ed","datavalue":{"value":"1724917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5960421$44C9C796-5218-425C-B314-6C7729E4B355","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88db0f7de60dd2cd0e06b905d61103922a5c894","datavalue":{"value":"closed model categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960421$136291C8-644F-435E-B0C4-41865F176439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fd5b6d2dd19be2e85360f9d26dd438cae5dcc56","datavalue":{"value":"categories of simplicial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960421$7791D994-D083-4EAF-8E94-E17A57DAFA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da2141c2af542496de0a82cc344f7d7615583bd8","datavalue":{"value":"algebraic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960421$DA99082D-B11D-4CBB-B1E1-5794785261FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706167b945c966cf622c2c64196af7b60593ded5","datavalue":{"value":"simplicial model category structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960421$7B23DD26-55FE-4C63-895A-5D9229012514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8baa3ce88e616220305abe403423d9ca9ab2741c","datavalue":{"value":"localization model category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960421$603942EE-A05C-48BB-8E58-239BC6D259D9","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":"Q5960421$5B8F2643-D0CD-458B-A850-20ACC3A6F180","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b825dfe2e2ca758d6445fd3a225786cb6c24213d","datavalue":{"value":{"entity-type":"item","numeric-id":1871558,"id":"Q1871558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$3F9C2B23-60A5-474B-8971-492DD098EF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b262feeacd70c4c1ebe84d8f3d0300e1e05b5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4191283,"id":"Q4191283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$462672AC-DA17-4667-877B-2BD7A0E20199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb36729583191347892318a742ce0d23a3427c4","datavalue":{"value":{"entity-type":"item","numeric-id":5653366,"id":"Q5653366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$97CE12C3-B0D6-495F-B51A-912111D91C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$090D7540-F416-4883-84F9-9CEF0582F6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ccc8eaf8699ff4740939fd19512db5dac4f6b6","datavalue":{"value":{"entity-type":"item","numeric-id":1219082,"id":"Q1219082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$90E36602-161E-42C5-992B-7486C754F996","rank":"normal"},{"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":"Q5960421$1D9E6934-AC1E-4817-BEF8-F40BE82DAEB6","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":"Q5960421$BC02C56F-B759-4E2B-9CA9-A7912147C5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcb4f3d957c31e01aefe5606d62d9502bb04c3e","datavalue":{"value":{"entity-type":"item","numeric-id":2707508,"id":"Q2707508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$FCD76316-C0A9-4E15-86A6-52BCA1263E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f743a02b93ba8a7aa10f804a87a9e4e302de06","datavalue":{"value":{"entity-type":"item","numeric-id":5906407,"id":"Q5906407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$FDBDC15F-5E3F-4B2A-AC21-9E334FAA7858","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":"Q5960421$9A064BBF-FBF7-4911-8C07-5CBD05F53F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9354ac32985dd64334e39513620b1831bfe0fc65","datavalue":{"value":{"entity-type":"item","numeric-id":3245803,"id":"Q3245803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$BE63809F-10EC-4140-901C-ADD17BC655BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$37F75F6D-6330-446B-A79F-11FEECF87C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a79fad678f967c6528bd2993b5707c57ab0cbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2530658,"id":"Q2530658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$6A7691FC-5DEA-4962-B7E9-256618FB20DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f30a4f7e798fb62ace178a1b58d02edee4fd81c6","datavalue":{"value":{"entity-type":"item","numeric-id":4354363,"id":"Q4354363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5960421$1A27521C-C86A-42A5-9B67-E0CD8D4CDCDA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4301627f73512994f3e1680cb45f3e3981bd8ab3","datavalue":{"value":"To axiomatize the notion of a ``homotopy theory'' \\textit{D. G. Quillen} introduced closed model categories [``Homotopical Algebra'', Lect. Notes Math. 43 (1967; Zbl 0168.20903)], and produced a number of examples of such, one class of which are categories of simplicial algebras. In this paper is examined the case of simplicial algebras, i.e., simplicial objects in a category of algebras associated to an algebraic theory in the sense of \\textit{F. W. Lawvere} [``Functorial semantics of algebraic theories'', Proc. Natl. Acad. Sci. USA 50, 869-872 (1963; Zbl 0119.25901)], and more generally the case of simplicial algebras over a multi-sorted, simplicial theory. This class of examples includes simplicial groups, rings etc. The author shows that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category.NEWLINENEWLINENEWLINETheorem B. Let \\(T\\) be a (possibly simplicial, possibly multy-sorted) theory, and let \\(T\\)-alg be the corresponding category of simplicial \\(T\\)-algebras, equipped with a simplicial model category structure in which a map is a weak equivalence of fibrations if it is a weak equivalence or fibration of the underlying simplicial sets.NEWLINENEWLINENEWLINEThen there exists a morphism \\(S\\to T\\) of simplicial theories such that: (1) the induced adjoint pair \\(S\\)-alg\\(\\leftrightarrows T\\)-alg is a Quillen equivalence of model categories, andNEWLINENEWLINENEWLINE(2) \\(S\\)-alg is a proper simplicial closed model category. NEWLINENEWLINENEWLINEA corollary of this theorem is:NEWLINENEWLINENEWLINETheorem A. The homotopy theory of a category of simplicial algebras always admits a proper model.NEWLINENEWLINENEWLINEThe author remarks that ``Whether any reasonable homotopy theory (e.g., one associated to a model category) admits a proper model is an open question''.NEWLINENEWLINENEWLINETheorem C. Given the hypotheses of Theorem B, suppose that in addition \\(T\\)-alg is a pointed category. Then \\(S\\) can be chosen as in Theorem B so that \\(S\\)-alg is also a pointed category.NEWLINENEWLINENEWLINETheorem D. Given the hypotheses of Theorem B (respectively of Theorem C), the theory \\(S\\) can be chosen as in Theorem B (or Theorem C) so that \\(S\\)-alg is a cellular model category in the sense of \\textit{P. Hirschhorn} [``Model categories and their localizations'', Preprint, \\url{http://www-math.mit.edu/~psh}]. NEWLINENEWLINENEWLINECorollary. For any set of maps in \\(S\\)-alg there is a localization model category structure with respect to this set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5960421$50A69475-850F-434C-BD0F-86C48657EF76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ff919dda445e8e05941bff5af5cb98e95b22c5","datavalue":{"value":{"entity-type":"item","numeric-id":2731395,"id":"Q2731395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1585b524f4984e728afae1a1e87332aa0f979a","datavalue":{"value":{"amount":"+0.8203132152557373","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":"Q5960421$7A30E24A-9EF5-41AB-AB1B-AB3982073B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a5c19bd673bb874c6df575904609bdcb46ad82","datavalue":{"value":{"entity-type":"item","numeric-id":3031640,"id":"Q3031640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1476389ae6b26c97ec8f39b8a812f9d3b077d7a4","datavalue":{"value":{"amount":"+0.8175075054168701","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":"Q5960421$7FB404E4-03C0-45F4-8EF0-B353A608029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f77849ebd34581a6194ea5780729679c0181a0","datavalue":{"value":{"entity-type":"item","numeric-id":2381845,"id":"Q2381845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5909b23839fe1fb48eeebaaeccb432e341774880","datavalue":{"value":{"amount":"+0.8006944060325623","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":"Q5960421$9CE2DA9B-FE55-4C91-AC3F-158CA1B2C004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b03a283884c7013240924288ecacc2ddd78b884","datavalue":{"value":{"entity-type":"item","numeric-id":884326,"id":"Q884326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d585dfac730fe1bca097fa87b92b988f9a31223","datavalue":{"value":{"amount":"+0.8002451062202454","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":"Q5960421$97C5425C-A07A-4C0E-B4D0-139D1ED0B88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56314d9be79637dc8d17edf16e7b6b7037dffa9e","datavalue":{"value":{"entity-type":"item","numeric-id":2654109,"id":"Q2654109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fb690aaf044778f2004dde3f5e095b78d74376","datavalue":{"value":{"amount":"+0.794274628162384","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":"Q5960421$A76FBACC-F66D-4DB2-9A74-B1E2B9CFD215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5960421","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5960421"}}}}}