{"entities":{"Q1886829":{"pageid":1897571,"ns":120,"title":"Item:Q1886829","lastrevid":69192465,"modified":"2026-04-13T05:23:14Z","type":"item","id":"Q1886829","labels":{"en":{"language":"en","value":"On reflective subcategories of varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116879"}},"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":"Q1886829$4127E007-33D1-4E0E-98F2-DD4BF43A100C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a01b1539e91144ff3263164696e548ccf11192","datavalue":{"value":{"text":"On reflective subcategories of varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886829$06870DC7-1A74-4EA2-BC3E-9C65C90E8C7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3774f31fb52c306b1af8bc519412156464a5ec4","datavalue":{"value":"1056.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$6343C68B-5599-46C2-8DA8-A330FD5FFE92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$8C9450CE-1B11-4304-A629-B3A7512302F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"434f019f4b02bb7c046ad5f2d22530bc647eb62d","datavalue":{"value":{"entity-type":"item","numeric-id":326584,"id":"Q326584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$09986DA4-DB0F-4C26-90DE-E0F2C9E246CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$1385835C-53D6-4215-B587-391584650FA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08fcc03dddc7bbed085b30b8172650520efc10f9","datavalue":{"value":{"time":"+2004-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886829$92B8E362-98F7-4A93-BE0A-095B6233BC3F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9a1454e0cd33fbf1dcd9892571da04d9d423888","datavalue":{"value":"A regular generator in a category \\(\\mathcal K\\) is a small collection \\(\\mathcal F\\) of objects such that, for every object \\(K\\) of \\(\\mathcal K,\\) the canonical morphism \\(e_K:\\coprod_{A\\in\\mathcal F}\\mathcal K (A,K)\\circ A\\to K\\) is well defined (i.e., the coproduct in the domain exists) and is a regular epimorphism (\\(M\\circ A\\) denotes the copower of \\(A\\) indexed by \\(M\\)). In this paper the full reflective subcategories of varieties are characterized as the cocomplete categories with a regular generator, or as classes of algebras presented by ``pre-equations'', i.e. formulas of the following form  \\[ \\forall (x_{u})_{u\\in U}[\\wedge_{i\\in I}\\alpha _{i}(x_{u})\\to\\;\\exists !(y_{v})_{v\\in V} \\wedge_{j\\in J} \\beta _{j}(x_{u},y_{v})]. \\]  As a byproduct, the authors present a solution to the problem of describing \\(\\omega\\)-orthogonality classes of locally finitely presentable categories in terms of closure properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$97D1C5B4-C63B-486D-AE65-27E8AFAFD5D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$D5DCE870-8677-423A-A0C6-1BA4473B3166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$0A12D6B4-9C21-4FAA-B80D-82405696E1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$A6CA8381-610D-4936-9B22-D6B803364161","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12119adc4b9a1ab9d129e0427ad40d51dbf56e9a","datavalue":{"value":"2116879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$40E93FC7-255C-4648-9C25-B1A00B8F8892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$C8E3570E-9158-4A83-8E58-4C663ED6C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$BF9AE0C0-7191-4264-843F-B2BF27BC433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aed24b59e7d3af589f28ee288f424d3f3e19a1","datavalue":{"value":"reflective subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$706B19A1-810B-4F4F-8BA2-5849F9CE127C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd853ecdf29a8c2cb9aac5ea03dca3ebb642434","datavalue":{"value":"quasi-equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$FB0CE7AD-3F06-4D80-B833-D3026BFC4201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b2a686453e14a185e61ba8ab41c1133001eb230","datavalue":{"value":"prevariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$556E3E11-E44A-40A9-B40A-D8F63871ED7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c596e442b58b1ffe0deef0caf38ee21bf02e0cf0","datavalue":{"value":"regular generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$D31F03EC-913C-4DE2-A207-15ABFA041AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91491df9985e498f81522b831a68f01f4117307f","datavalue":{"value":"complete category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$BD5D1B80-26FD-46BF-8768-F820E91DC1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b86c6a500080df57aac306053d6302b37217556f","datavalue":{"value":"pre-equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886829$19AAD3EC-1854-4AE8-844D-99B2D649F7E0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$EFECA138-2536-408E-BE67-FB5CAF9A96EE","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":"Q1886829$86899F3A-F05A-4CF2-BDC1-220827BFABB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b36b8c4715110417d3f515ffa0c52e63856f90f0","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2003.09.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886829$52BD30B3-9B21-4B03-9861-59E4AF113048","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb43b506786dcecac736751dd3c5fa2bcffcd303","datavalue":{"value":"W2079532099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$098649FA-A4C8-46BE-8B70-568C61E73E04","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f255b461269705840fbfa0a22f8fbe5b0fadb941","datavalue":{"value":{"entity-type":"item","numeric-id":4289578,"id":"Q4289578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$C7C5C838-BB2C-4B5F-9057-BFC3D81325B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$A14DBD3B-5D98-48CF-A8C1-5D997AB701B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e5626d25cd147a56403941848dcf8bdb7fb090d","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$DACE2ADE-16C6-4A65-B64E-4AD88ED6C4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0011f65a95514861d982f4c78eabd721da7a8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3855354,"id":"Q3855354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$251999AD-B191-404E-BC13-CC1085094515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c57c082fff7f5ce2b308b3e116bcf122342cd23","datavalue":{"value":{"entity-type":"item","numeric-id":2719722,"id":"Q2719722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$0915B6B7-7DC1-46DD-8E86-3801E0EF6418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4081162047adf83d81ca8bcccbcb4a415400a3","datavalue":{"value":{"entity-type":"item","numeric-id":3152323,"id":"Q3152323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$D23FB95A-367C-4EDE-961B-13F2D83649E1","rank":"normal"},{"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":"Q1886829$82B0AD3D-D185-4E55-994B-89CCF7F73448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93e1fd7f2055c7053b66d955cdf20855d5e8adf7","datavalue":{"value":{"entity-type":"item","numeric-id":3880994,"id":"Q3880994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$FAEFB7C8-130F-4F5E-96CD-B3E22748D758","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":"Q1886829$E7438E5E-1E44-46E0-BE14-9E23AD994E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a0643d71d7244d1061eef4fd50591d26775ca9","datavalue":{"value":{"entity-type":"item","numeric-id":3950708,"id":"Q3950708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$A94DFD18-B9A3-4F2F-A999-B4F96F57C707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e2470b48f4e6e655dc19677a0c21024e85ce6d","datavalue":{"value":{"entity-type":"item","numeric-id":1159753,"id":"Q1159753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$13328027-0104-4670-8C46-D8C24A84D030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1f16d7e33d82f878e579a6c0d332542e1dd399","datavalue":{"value":{"entity-type":"item","numeric-id":2783423,"id":"Q2783423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$3118D49D-EAB1-4542-AC01-D13EB1655FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d1be61f52761fa75be86b3cba62a77289094547","datavalue":{"value":{"entity-type":"item","numeric-id":4663647,"id":"Q4663647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$D3C1799D-7F8C-481D-ADD4-105CCA888FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fffee9921ebe4ad2f2884b18cb3f3318d729bf","datavalue":{"value":{"entity-type":"item","numeric-id":1247423,"id":"Q1247423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886829$723FF072-35DE-4C03-9501-377AD6991627","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"455176caa53a61de8415c4fa76e6b617f26aa6a0","datavalue":{"value":"10.1016/J.JALGEBRA.2003.09.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886829$4DFABBFB-9713-47C0-85A9-FC86AFEB040D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"915baa6f78d4203cd4a007202b0de4e8c662b106","datavalue":{"value":{"entity-type":"item","numeric-id":4939465,"id":"Q4939465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f0a91eb5dcff2ab66d748c2238f8f8ea084318","datavalue":{"value":{"amount":"+0.8039084076881409","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":"Q1886829$78EF8E08-6315-4432-9BF9-581B0D134687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b491fe5cbbf20ffa2721b56f2e94a865fdb7dc8","datavalue":{"value":{"entity-type":"item","numeric-id":3376322,"id":"Q3376322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f0a91eb5dcff2ab66d748c2238f8f8ea084318","datavalue":{"value":{"amount":"+0.8039084076881409","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":"Q1886829$7DDA2D66-442F-4A7C-90CC-5DD6AB3CE234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91efacdff5468c5b57bdfc0ac8587be4e92f5b04","datavalue":{"value":{"entity-type":"item","numeric-id":4506384,"id":"Q4506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e72f46fd762a994064863407ad5537465438ff","datavalue":{"value":{"amount":"+0.7934289574623108","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":"Q1886829$53B5FE5E-EB2C-4CA4-9D51-4C7CA2155CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b802608211c6c1439953ead89a32cfc6a3b4819","datavalue":{"value":{"entity-type":"item","numeric-id":2719722,"id":"Q2719722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42e6d7693c1427e3abfee5769960afa72ab1b002","datavalue":{"value":{"amount":"+0.7805042862892151","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":"Q1886829$29B8ABF6-DCBA-466C-8A90-237C719B69E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"864ad397cf7a260e40d08dad99d410943c56ff45","datavalue":{"value":{"entity-type":"item","numeric-id":3322167,"id":"Q3322167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"126437aee219e146b3f0aff4fd21df886961e28d","datavalue":{"value":{"amount":"+0.7705966234207153","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":"Q1886829$5D8A9B43-68BC-40E5-A89A-618FF2B2DE22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reflective subcategories of varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reflective_subcategories_of_varieties"}}}}}