{"entities":{"Q1208209":{"pageid":1218958,"ns":120,"title":"Item:Q1208209","lastrevid":66352383,"modified":"2026-04-12T09:31:22Z","type":"item","id":"Q1208209","labels":{"en":{"language":"en","value":"Algebra objects and algebra families for finite limit theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166157"}},"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":"Q1208209$F2210DFD-EFD1-454D-924F-99607340FA37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa4d0aba68d49acc58ed5f7c7f233e755fece90","datavalue":{"value":{"text":"Algebra objects and algebra families for finite limit theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208209$5AF813E5-3B70-4BE2-AE06-0FA1F468BFDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"725483a51c7aec3b47ea0245e0cd018dfaf12253","datavalue":{"value":"0777.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208209$A5FE774F-CA94-47A9-90D4-DA4039EFD0D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16aadbfa3dc9de7f402d4c732166cf0e3a6e38c4","datavalue":{"value":"10.1016/0022-4049(92)90047-J","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208209$01025DC0-023C-4A1C-BD78-C84F079348E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aea706b37d8a171735c74cc5012b0a5da2aee9fe","datavalue":{"value":{"entity-type":"item","numeric-id":218992,"id":"Q218992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$7DE3A5A6-F2AD-497B-A3B7-B5717715A28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7dc5d37687b308b97ba7a94b1562368be84edb","datavalue":{"value":{"entity-type":"item","numeric-id":633810,"id":"Q633810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$3444FE05-5FE1-4916-A6CE-6F79047A065E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$02979913-EEA8-419B-96A8-BEB8D51A7F02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208209$FCA35864-9467-453D-8904-504E57E68AD7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49210acf65ecae30325940dd1398fd3a75287efb","datavalue":{"value":"A functor \\(F: \\mathbb{C}\\to\\text{\\textbf{Set}}\\) is called familially representable if it is a coproduct of representable functors, a representing family for \\(F\\) being a family \\((A_ i)_{i\\in I}\\) of objects of \\(\\mathbb{C}\\) such that \\(F\\simeq\\coprod_{i\\in I}\\Hom_{\\mathbb{C}}(A_ i,-)\\). The purpose of the paper is to describe the structure that the family \\((A_ i)_{i\\in I}\\) inherits from the functor \\(F\\). When \\(F\\) has, for example, an algebraic structure, the family \\((A_ i)_{i\\in I}\\) gets the structure of an ``algebra family''. Conversely, any ``algebra family'' of objects in \\(\\mathbb{C}\\) provides a familially representable functor carrying an algebraic structure. For example, the free monoid functor \\(M: \\text{\\textbf{Set}}\\to\\text{\\textbf{Set}}\\) is familially representable and its representing family has the structure of a ``comonoid family''. Other examples are given involving ``cocategory family'' and giving explicit constructions of categories such as the Moore construction of a category of paths in a topological space, and other free constructions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208209$73EC2091-0BEF-415D-821D-8668F66C7728","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208209$498B7ABE-7172-4B85-978F-D380564BBD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208209$2A99CD24-B58B-495A-BF9D-93BD55F254C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"262e94678127ce14263158e497b1ffea182eb50c","datavalue":{"value":"166157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208209$1E78550B-ABB3-40FF-B409-D7189895C399","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"106132a40e4cc0ce1251fd9b725dd422384de2c9","datavalue":{"value":"algebra family","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208209$34D78C67-A3ED-4AC0-9B2F-C55CB3CBB65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b461676e1cfc1c943a038d327a391c956d3797","datavalue":{"value":"algebraic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208209$536E6E7C-CB8D-4AED-AA7B-2638C617615B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b8878bdcd3cc58d4c42e62272071abc335f380","datavalue":{"value":"familially representable functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208209$3EE6BCDA-0D0E-48FA-A27A-EF15045AEFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82580506876beea7c37364c41ce320dd3741bc2e","datavalue":{"value":"free constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208209$9195C9BB-A1EC-4FA1-A238-C830CF1F28AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5f23a2b26154ae1e4026bd6fa194d4b76df2fa47","datavalue":{"value":{"entity-type":"item","numeric-id":171472,"id":"Q171472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$44FBF89B-41C0-4A23-AB12-0847CDFC0616","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":"Q1208209$DE68B01F-5C08-4CEF-90C3-32AD2F3E1DAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec6a5b77a97f78dfb39dcdbee6cdb270b894407","datavalue":{"value":{"entity-type":"item","numeric-id":1142852,"id":"Q1142852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$F5BC5A78-0AA9-4E0B-AC29-7A5BDF5A4085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f156633e31ddc0faec9a985fc068bbf6bcb3ebc9","datavalue":{"value":{"entity-type":"item","numeric-id":3810814,"id":"Q3810814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$650B587A-EABF-471F-92D5-546E8A5A0156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f8e632fb9e2f2016c46f6706a0e5549a8e26f2","datavalue":{"value":{"entity-type":"item","numeric-id":3478583,"id":"Q3478583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$BFBDAAE7-BEBA-4C22-B5C5-52BC6D95E8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208209$1EFFBDB2-A619-4A06-8ECD-D344A9E6B471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eca4bc8a614b00352cde4b96aae29710de392624","datavalue":{"value":"https://doi.org/10.1016/0022-4049(92)90047-j","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208209$E266D606-99DF-44CB-8014-641C0525F6CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"441840804de467dbf52a6948c5be58f207fdddce","datavalue":{"value":"W2087654506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208209$BFAD1E05-33C8-4818-A408-89D52A5F5C22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d7be852232d013ef3ab71423727e3633106f61","datavalue":{"value":{"entity-type":"item","numeric-id":3519056,"id":"Q3519056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a847526320b6b0a3242b835981b5c87700ab30c","datavalue":{"value":{"amount":"+0.7866858243942261","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":"Q1208209$4642BD7E-F903-44DA-9779-D2F9B383E0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104f2080a4962af4138d80e06bbf583a191e44c","datavalue":{"value":{"entity-type":"item","numeric-id":3456323,"id":"Q3456323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9151cbbddeb3067d9ad35a531581484db552c89d","datavalue":{"value":{"amount":"+0.7455206513404846","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":"Q1208209$E8CC5092-E5AC-4CCF-A2AF-4390681A75EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43137f639c1ff411fe4851f41f438eaefd6e7b06","datavalue":{"value":{"entity-type":"item","numeric-id":1966140,"id":"Q1966140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7007d8c00c6d337fc0c319f9b5f650e320e58f4","datavalue":{"value":{"amount":"+0.7278492450714111","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":"Q1208209$E3D2980A-E743-43B2-87A2-F56447191C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f154027e62514dbe78ea0503996224963afe2d6d","datavalue":{"value":{"entity-type":"item","numeric-id":1208195,"id":"Q1208195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7007d8c00c6d337fc0c319f9b5f650e320e58f4","datavalue":{"value":{"amount":"+0.7278492450714111","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":"Q1208209$F7A1C1CC-97BB-4760-A9B4-4409A5996895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa15de6ee7e747248ad6a68f9630ecba8664ad58","datavalue":{"value":{"entity-type":"item","numeric-id":4882486,"id":"Q4882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1678d62438e822a7ac91b155b8c6766ccc917c","datavalue":{"value":{"amount":"+0.7251001000404358","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":"Q1208209$44B6E126-8F6E-4750-9978-A418E0ADCE44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebra objects and algebra families for finite limit theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebra_objects_and_algebra_families_for_finite_limit_theories"}}}}}