{"entities":{"Q800476":{"pageid":802324,"ns":120,"title":"Item:Q800476","lastrevid":64467072,"modified":"2026-04-11T20:04:20Z","type":"item","id":"Q800476","labels":{"en":{"language":"en","value":"Characterizing categories of algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875504"}},"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":"Q800476$F1352F8E-F43F-42F9-A5C4-64D44945416D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a63e34a20edd59301caa1b62f01bcb3838795c53","datavalue":{"value":{"text":"Characterizing categories of algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800476$66D2A6FB-4856-4EEB-A5E7-C04705A3896A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f83f44f89434035006945c45f938249ec45c67ae","datavalue":{"value":"0549.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800476$890FA19E-575C-4239-91FB-8EED50238ACE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b30d4158f1c6a5caf7c0dcffe5e095d8003400a1","datavalue":{"value":"10.1007/BF01190432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800476$896F8B62-125F-4100-81EA-D5CED921A970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"304f9e0f84903966604960e2e53efe910fec815c","datavalue":{"value":{"entity-type":"item","numeric-id":800474,"id":"Q800474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$177E9D01-CB65-4462-85CD-A761A0F508AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c59ccd35ba4efa471151b67e9afaea5156fedc59","datavalue":{"value":{"entity-type":"item","numeric-id":800475,"id":"Q800475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$25B3314F-3E21-4B28-901D-0B48E69A1116","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$7E4D8FED-A65A-4F23-AD27-9A4F739C94B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q800476$E9C9BA10-B91F-45DC-908C-C0435B9518CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da000765fb580910617511ec59f82d0bc8ba9c6a","datavalue":{"value":"Any adjoint situation \\({\\mathcal K}\\rightleftarrows^{G}_{F}{\\mathcal S}\\) over sets determines a monad \\(M=<T,G(p_{F(A)}),j_ A)\\) over sets where \\(T=GF\\), and unique comparison functors \\({\\mathcal S}_ T\\to {\\mathcal K}\\to {\\mathcal S}^ T\\) from the Kleisli category \\({\\mathcal S}_ T\\) to \\({\\mathcal K}\\) and from \\({\\mathcal K}\\) to the Eilenberg-Moore category \\({\\mathcal S}^ T\\) of T- algebras. A variety is a category isomorphic to \\({\\mathcal S}^ T\\) for some monad M over sets. Any subcategory \\({\\mathcal K}\\) of a variety \\({\\mathcal A}\\cong {\\mathcal S}^ T\\) if free-closed if it contains an isomorphic copy \\({\\mathcal F}({\\mathcal K})\\) of \\({\\mathcal S}_ T\\). In this case \\({\\mathcal A}\\) is called the varietal hull of \\({\\mathcal K}\\) and \\({\\mathcal F}({\\mathcal K})\\) its free kernel.    It is proved: For any category \\({\\mathcal K}\\), the following are equivalent: (1) \\({\\mathcal K}\\) is isomorphic to a free-closed subcategory of a variety; (2) there is a generator with sums in \\({\\mathcal K}\\); (3) there is an adjoint situation of \\({\\mathcal K}\\) over \\({\\mathcal S}\\) with epimorphic presentations. A necessary and sufficient condition that an arbitrary category \\({\\mathcal K}\\) is isomorphic to a free-closed subcategory of a variety of finitary algebraic structures of similar type is that \\({\\mathcal K}\\) has a projectively finite generator P with sums. A category \\({\\mathcal K}\\) is isomorphic to a full, free-closed and product-closed subcategory of a variety iff \\({\\mathcal K}\\) has arbitrary products and an object P with sums which is projective only for regular epimorphisms. There are other interesting results of similar type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$CB6BF6EA-708C-416A-97A0-4B52BDF81D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800476$01AA76CD-CB98-4061-B6F0-F19E7D22F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800476$556B040D-B52E-40E2-B74C-0AA157746F91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74b82f0fb3ccb6b800a3295ff5c7b85ec4aeef94","datavalue":{"value":"3875504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800476$7D7FEC72-240F-4658-8A68-FE27B5BEC10D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$03052D64-AC13-46C5-824E-1F5F6654663B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1679f66f7cd1ee7220993b636aec62cd153c885e","datavalue":{"value":"comparison functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$6E8AE2CD-B96A-41B1-B679-7889CBC5B243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$D52F8E56-6E12-42E4-806A-CCB581C5D46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eba447e061584557180de7a7ee2568ee7a9e1aba","datavalue":{"value":"Eilenberg-Moore category","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$C1275202-F341-405C-AE7D-29F60D6CB06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0d5c9af9833306cee974de203d1f3f500420d1","datavalue":{"value":"T-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$67042231-E174-49AE-B7A7-73B4E27908B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$C207CDDF-DF48-4D2F-A221-88FAE3183182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cfb2d382d5a4bf6b2fab029502f9a8c0703713e","datavalue":{"value":"varietal hull","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$41183581-6D09-4373-A185-88D2257171E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89075dc8f88f21e9e59dc792be86cd4b4cfdcbc1","datavalue":{"value":"free kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$3FF48E1F-4E6B-47E2-92C8-F017235479A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f685daef7c920dafb1ed5ae8172fe49703559fed","datavalue":{"value":"free-closed subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$AE6B3226-3778-41AC-8043-056B27961BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea02752bcbf5b58dfe84b12d99e630a4a602d31a","datavalue":{"value":"generator with sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$593B42C1-BB97-4856-AB86-441D8841D113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af401906882358146cf8940f7e817d91b6f39307","datavalue":{"value":"algebraic structures of similar type","type":"string"},"datatype":"string"},"type":"statement","id":"Q800476$39735640-3D4F-4EF0-A6C4-77C408D24101","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":"Q800476$A84A0F4D-FB74-4DDB-8392-B6D3CCC001DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d4b7931e36505b5e2b4b9d13ee1f4e0b81a108","datavalue":{"value":{"entity-type":"item","numeric-id":5343379,"id":"Q5343379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$2EC5807D-F2AC-4C8C-9992-79D14828E430","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":"Q800476$FD43C94E-9644-47A0-BC76-8A0806152020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$24775433-4899-4AD4-AF43-728459A0B61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a874e508ac4f79185b6e52cf9cf9cab6e9f65","datavalue":{"value":{"entity-type":"item","numeric-id":5508993,"id":"Q5508993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$C6F6739C-6E18-40A9-A57F-B6DE5DD35A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd272eb21f5a9418f693b4d9418623a1cce7958e","datavalue":{"value":{"entity-type":"item","numeric-id":5612497,"id":"Q5612497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800476$E6124642-E621-4A86-828C-7E71912FE047","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f159a98b54dcce388f46e5a05c4ab57665f0b9f3","datavalue":{"value":{"entity-type":"item","numeric-id":4464698,"id":"Q4464698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8452c02f08fcfe4c7ea245f4ede6c53e064ae78d","datavalue":{"value":{"amount":"+0.93565464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$86FA7B16-E6C6-40F0-854A-B94575A73F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f9e30f1a7332189f541605a4436642cf8120172","datavalue":{"value":{"entity-type":"item","numeric-id":4003973,"id":"Q4003973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31a269f8b074e4192d14006d58224d06caa28241","datavalue":{"value":{"amount":"+0.9335359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$AABD7066-D3E6-4F36-8023-9559B991B4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a637546d1c744237541e340273eb3aee5cbc8c4","datavalue":{"value":{"entity-type":"item","numeric-id":3691904,"id":"Q3691904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4b760f6c7cf6ce3b202ef9aeab549e5abbc8fa","datavalue":{"value":{"amount":"+0.93313545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$8ED7673E-DF6E-4167-A47A-59AF1DBD0588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc2c578f430fc69fa2e72c937e6c9be433f6f971","datavalue":{"value":{"entity-type":"item","numeric-id":3743466,"id":"Q3743466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858840d27f9f2a35b332084d9320ee884934313b","datavalue":{"value":{"amount":"+0.92490363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$EFA8A21F-7EAC-45E4-BF08-384C8A552F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0fb0893586bb93a117eb9c50e36eb160b1588e4","datavalue":{"value":{"entity-type":"item","numeric-id":2875803,"id":"Q2875803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a10f64af9ace576fcc80cdb09feb1a4d9ef8013d","datavalue":{"value":{"amount":"+0.9245846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$3CE3CE67-86A1-41A6-9401-1C98D673E0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930cdfab533a59c0261c553079ea723df0e9003c","datavalue":{"value":{"entity-type":"item","numeric-id":1923807,"id":"Q1923807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a5affdaaf6813b3109018b1fdb047482cf0f79a","datavalue":{"value":{"amount":"+0.9242985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$3D81E06F-3AAE-4BB6-BE08-CE0F95D38C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8a9009d94e1693b9134d5711f8006210a2d990","datavalue":{"value":{"entity-type":"item","numeric-id":4218944,"id":"Q4218944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce302303a69e07eb6755b0852610b4b538f9ee6c","datavalue":{"value":{"amount":"+0.923854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$FA45A15D-F620-466C-B56C-66094FF259A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf73478bb57211189768641b143e03c05700a3b","datavalue":{"value":{"entity-type":"item","numeric-id":1673645,"id":"Q1673645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d3251000113616b8cd3728b9aab9df3d6535c27","datavalue":{"value":{"amount":"+0.92381144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$9EEBFFD4-17B7-401F-9E1D-3C8873D2E04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78428830d2d3ffb78406bc88cf88cbd0efd09dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3978971,"id":"Q3978971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d446cbf61d2f3259ce119fc602fff7eb927523","datavalue":{"value":{"amount":"+0.9226044","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$11464C04-F6D7-4D71-822F-35C69F90C38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31340e5ebbcd3168618314135e99a4c7a6902b37","datavalue":{"value":{"entity-type":"item","numeric-id":3356347,"id":"Q3356347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b499209574ec9d48e1d1ad86d1566dae1a7071","datavalue":{"value":{"amount":"+0.9196789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q800476$FF35B81D-454A-49EA-A23C-853958CE5906","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing categories of algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_categories_of_algebras"}}}}}