{"entities":{"Q341763":{"pageid":343530,"ns":120,"title":"Item:Q341763","lastrevid":61237065,"modified":"2026-04-10T22:03:42Z","type":"item","id":"Q341763","labels":{"en":{"language":"en","value":"Function spaces and classifying spaces of algebras over a PROP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6653756"}},"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":"Q341763$E0069663-7081-4CAC-AD71-48995A478E80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98b7cb8405480926f8a7d565e36bd3d3dfd79245","datavalue":{"value":{"text":"Function spaces and classifying spaces of algebras over a PROP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q341763$DA9891EE-F984-44E0-B157-08230732A9E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7e9a8701b9ad79bda5f2fcdd330cbb5e74f56d4","datavalue":{"value":"1352.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$916FD552-3AAA-4924-B0F6-38242EB6AC7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5906f8998a4cecf26ebac591f6311b0c5afa4e7","datavalue":{"value":{"entity-type":"item","numeric-id":331935,"id":"Q331935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q341763$25DCAA1C-820B-419D-AD23-98C3EF597056","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":"Q341763$40A66962-E397-4B29-9CF3-05255A9DDAEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b9fc54ab494d6b97d121cf9bf9e80f2f627b50","datavalue":{"value":{"time":"+2016-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q341763$DD3AFB6A-0B61-4A9F-8E4D-2D5B46FC4D82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"37e1925ae665fe62d5431a245e70a6986e6d34b7","datavalue":{"value":"https://arxiv.org/abs/1502.01652","type":"string"},"datatype":"url"},"type":"statement","id":"Q341763$B773E1B2-5CCD-42F4-A2B3-3B5C84CD339A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"36794323dbccaa133882a45b830f5da85a0bbfa6","datavalue":{"value":{"entity-type":"item","numeric-id":590905,"id":"Q590905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q341763$EBE0CAAD-E22C-4861-B8CD-DEB434E188CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$DCBE3308-AFFE-4E5E-BEDA-35ADD79C2590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$886CDF84-49FA-495F-845D-8756434BFF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c71f3ae49cb2a1eeef9914b0fdcd1f33e90aac9c","datavalue":{"value":"18G55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$D31FACB2-14B8-49E8-9509-4D7F07FB24CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1722e8eaf8d0b6e989e3d4620a85df21f8eb2337","datavalue":{"value":"55U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$5071E758-4135-4490-B474-4162BCAA6AF2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a96a045982404b761568e44778d0afaba0a562a","datavalue":{"value":"6653756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$ED21C6F6-513D-452B-B411-81097B12B5E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3931502a53317f6130201077009e3b2e800b6ac1","datavalue":{"value":"PROPs","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$13B2AEB7-C995-4AAE-9335-7EB1CBE7ED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39dcd72c0fd1d05087babd24b03cce69114a260","datavalue":{"value":"classifying spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$A615D1B5-0AAD-48FC-A248-F3BE407C7205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ef048df2efef37631cb3daa5b8a59a3ad2ccd0b","datavalue":{"value":"moduli spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$B5052C5D-2CE9-4B5F-A959-724037AB3E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d4d1d8a053d8c2614b9610ee00eeeac70082d2d","datavalue":{"value":"bialgebras category","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$A80A7733-C03C-4B7C-8127-F6E4C7A488B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce5b47b0db27f13e314b4d04ea80c30297d74b2","datavalue":{"value":"homotopical algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$9D290D43-D7C3-4639-98ED-3204A14FC2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"656cf64b6dfb25f1b1bae3a14356eb9b22c80dd5","datavalue":{"value":"homotopy invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$6B794808-F093-4127-8D09-F777E9BB579B","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":"Q341763$6A0E111C-B2EE-4E9C-8DE9-13AB5A6052A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de0c6445c1c7f1a849dd3d4dce0592acabe0403f","datavalue":{"value":"W3106268039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$346456AF-73B4-4B86-BE5B-2C6F2FDFD49E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1d249c2d4af25a1626900df84cb779f212c99bf","datavalue":{"value":"10.2140/AGT.2016.16.2715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q341763$75EAC861-CA70-4FE0-87CC-7939DA09C443","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2342480eebaf327372a68bf72f0f92a9a6ed641b","datavalue":{"value":"PROPs are generalizations of Lawvere theories to arbitrary symmetric monoidal categories \\(\\mathsf{V}\\). If \\(\\mathsf{V}\\) carries a suitably compatible model structure one can study homotopy properties of PROPs and their algebras in \\(\\mathsf{V}\\). This is done, for example, in [\\textit{B. Fresse}, Georgian Math. J. 17, No. 1, 79--160 (2010; Zbl 1227.18007)] and [\\textit{M. W. Johnson} and \\textit{D. Yau}, J. Homotopy Relat. Struct. 4, No. 1, 275--315 (2009; Zbl 1188.18007)].NEWLINENEWLINEThe paper under review is a continuation of work done by the author [\\textit{S. Yalin}, Algebr. Geom. Topol. 14, No. 5, 2561--2593 (2014; Zbl 1315.18025)] where it was shown that, under suitable assumptions, homotopy equivalent PROPs have homotopy equivalent categories of algebras; meaning these categories of algebras have homotopy equivalent classifying spaces.NEWLINENEWLINEFor a given PROP \\(P\\) in \\(\\mathsf{V}\\) there is a forgetful functor from the category of \\(P\\)-algebras to \\(\\mathsf{V}\\), giving rise to a map of the respective classifying spaces. The main theorem of this paper gives a description of the homotopy fiber over a given object \\(X\\) of \\(\\mathsf{V}\\) of this map, i.e., the moduli space of \\(P\\)-algebra structures on \\(X\\). The description is given in terms of a simplicial mapping space called \\(P\\{X\\}\\).NEWLINENEWLINEThe focus is on the category of chain complexes as the symmetric monoidal setting, although many results hold more generally. The case of colored PROPs is also considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q341763$D2360F15-A58B-4C08-AD5E-90386944A3BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8129ef407b6a18a3b315cba5a7ae0f6f12948f5","datavalue":{"value":{"entity-type":"item","numeric-id":470690,"id":"Q470690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eb0661b4307462ae6fec53b14fba20ea62b107","datavalue":{"value":{"amount":"+0.8395472168922424","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":"Q341763$834670B3-F423-401D-8522-F436AAA72D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e02931da35458944fd5a538c8147d6b49deb3c","datavalue":{"value":{"entity-type":"item","numeric-id":2516574,"id":"Q2516574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d181b907d0a7b5435e383e0c8370e38d87dec25","datavalue":{"value":{"amount":"+0.8279235363006592","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":"Q341763$05A8DEF6-2B62-4818-B8FA-21E49A928BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147f971bb025d4e23dc59424b34c88f09b753e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2444358,"id":"Q2444358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52323b21c2c5ba74f85e6e6c9f57e0af44b397eb","datavalue":{"value":{"amount":"+0.74363774061203","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":"Q341763$EBC7F7C2-56BB-4E34-B187-60557277AE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1e730f9a8d80c2433f400e39e37fbb4cae06cc","datavalue":{"value":{"entity-type":"item","numeric-id":3563378,"id":"Q3563378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c761d8cde28bfaface89f9e04263f3ace19110","datavalue":{"value":{"amount":"+0.7246338129043579","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":"Q341763$052FE43A-C2E5-4E79-B49F-6C7082B85968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fabf549fc0ca37c80bf69d4a0d5d11a9bb1863","datavalue":{"value":{"entity-type":"item","numeric-id":1622925,"id":"Q1622925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99899839faaf70f6a2579ca6ba4720550dbd265f","datavalue":{"value":{"amount":"+0.7173141241073608","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":"Q341763$D69B61F4-8D29-4329-91DD-57F7248D9FC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Function spaces and classifying spaces of algebras over a PROP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Function_spaces_and_classifying_spaces_of_algebras_over_a_PROP"}}}}}