{"entities":{"Q1771122":{"pageid":1781864,"ns":120,"title":"Item:Q1771122","lastrevid":43317377,"modified":"2025-07-24T16:15:56Z","type":"item","id":"Q1771122","labels":{"en":{"language":"en","value":"Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153875"}},"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":"Q1771122$8BA626CC-D6DF-483D-8B61-FEE445C2C85E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f575651e2cc830a7f8641d22d7c0f894f467612","datavalue":{"value":{"text":"Effective descent morphisms in some quasivarieties of algebraic, relational, and more general structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1771122$35EB1E4B-8DE6-46AB-8E1B-69B7E292BF4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d0517c54698d6f8f2b8ab47e2f3046937e2aae2","datavalue":{"value":"1084.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$917C103F-E805-4694-BA47-1D6648A8C33F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97fe555925f7167e7f64d91338cb1111e2c4cae1","datavalue":{"value":"10.1023/B:APCS.0000049315.77402.40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$83A08431-43AD-4C35-BCF4-79021151C9AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bb3a675248b051d0ed8e0b48896dda0953c16f4","datavalue":{"value":{"entity-type":"item","numeric-id":1771121,"id":"Q1771121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771122$002CFEEA-225D-47BF-A965-CF7F09C6BFB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771122$D193FB89-88F0-472D-83BF-57B0CDCD724D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-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":"Q1771122$57C258E9-91E0-4AC6-8BFD-705AA4E39F0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9b5aaaa96c290bef8fb25ab21a6a85a838e77cc","datavalue":{"value":"Let us concern the general motivation (from the reviewer's point of view) for this paper first, leaving its results out for a while. The existence of effective descent morphisms can be considered naturally when the question of monadicity (also called tripleability) is being raised, that is the question of deciding whether a functor \\(U: \\mathcal{B}\\to \\mathcal{C}\\) with a left adjoint has the property that the Eilenberg-Moore category for the corresponding monad is essentially the same as \\(\\mathcal{B}\\). If the Eilenberg-Moore comparison functor \\(\\Phi\\) for \\(U\\) is full and faithful, \\(U\\) is said to be of descent type (or a descent morphism); and if \\(\\Phi\\) is an equivalence of categories, it is said to be of effective descent type (or an effective descent morphism).  It is known that every variety of universal algebras is an exaxt category (i.e., it is regular and every equivalence relation is a kernel pair of some arrow). This is not the case for quasivarieties (that are the categories which are just regular). In the paper, it is proved that the class of effective descent morphisms coincides with the class of regular epimorphisms in any prevariety of first-order structures. This had been done on a general level of an exact category of suitable internal structures introduced in the paper in a somewhat Mal'cevian way.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771122$4786750F-4C80-4E21-A9FE-0667463A5320","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5c634a7a610dc4a60ec0b802b8dd89a79b8a3056","datavalue":{"value":{"entity-type":"item","numeric-id":588686,"id":"Q588686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1771122$00BCD114-269E-44FB-A1CD-9D646FC7129D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$FE000761-808F-4361-9E4F-CFFFE5FC2397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$0B7EFA4F-FABB-4CB9-877C-4D8D0FBD25B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$C45DD2C5-FC7E-4837-84D9-850EA03EB15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$615EF19C-E506-4B5E-8F08-6A22FF8512EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e888b80b723ddff650c7a0e24565d08f1a20086","datavalue":{"value":"2153875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$6E583E78-18EB-4E8E-A288-94A33C2E470B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771122$57697248-1FDB-4082-971D-F497C2E7929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b2a686453e14a185e61ba8ab41c1133001eb230","datavalue":{"value":"prevariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771122$7C26269B-53BC-4C4D-8AEC-1FC65AB9E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb67ae0b0bef9d4260366bc93b16f65c1031a2d4","datavalue":{"value":"structures for a first-order language and generalizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771122$2E169550-60FE-44FA-8B14-986ED2C927E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43aebb2831b7e8126de581f841651262e34744f7","datavalue":{"value":"regular epimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771122$53F245B5-CB3C-4097-8E88-0DDDABCF309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2ee3dc0fe3b690bad272e05e3792b84f5a31e0","datavalue":{"value":"(effective) descent morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1771122$79E06A5B-5EC2-4A15-B340-79744DC3097A","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":"Q1771122$227FBDF9-1B84-4DCC-B160-7E24E5EF1348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48f966f94fce5feea2108086d8baf086bcc76315","datavalue":{"value":"https://doi.org/10.1023/b:apcs.0000049315.77402.40","type":"string"},"datatype":"url"},"type":"statement","id":"Q1771122$B05E7CEC-DE1D-4B70-9B57-EB235526669F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2eca3829f4de04c9e1ff810de40cddfd3b171333","datavalue":{"value":"W2031553441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1771122$3686B6B0-DE31-482C-837E-D539092F6DCE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa3236997ea1c0b0ab5635ae036078acad9d903","datavalue":{"value":{"entity-type":"item","numeric-id":3137167,"id":"Q3137167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f698f4df3626f978dd0d42668250624f59e294b","datavalue":{"value":{"amount":"+0.93535495","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":"Q1771122$B2751AFF-EC2E-447B-A3AD-2D1F28112FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bf795fdaa1f811105fd38c0e98812d4ef991e2","datavalue":{"value":{"entity-type":"item","numeric-id":645208,"id":"Q645208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4354e6aa0be8b2c00763d209670423ba97082b10","datavalue":{"value":{"amount":"+0.9212209","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":"Q1771122$08DD5B08-F777-467E-98AF-654026A521F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028881e9d5a543065bb5d3af85706b01b5542a90","datavalue":{"value":{"entity-type":"item","numeric-id":2310771,"id":"Q2310771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2439250c30da298066f8647151163a2cb29edf7","datavalue":{"value":{"amount":"+0.9187478","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":"Q1771122$87855BF9-CD5A-4FBA-B485-EB69B56E0425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8a90057fd9944288db044d371be5aacb14141b","datavalue":{"value":{"entity-type":"item","numeric-id":5003071,"id":"Q5003071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71d5e2148824af2a0fce48f1273102ce23acb00","datavalue":{"value":{"amount":"+0.9078444","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":"Q1771122$CD18A300-3B19-4BA4-B9ED-6B95D0978AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdff451a341b937e651b251d44488ffdfe32637","datavalue":{"value":{"entity-type":"item","numeric-id":3614498,"id":"Q3614498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5c100aa84356efb166658e77bcf25906b220e2","datavalue":{"value":{"amount":"+0.9046198","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":"Q1771122$68490A14-B792-4241-A5DC-898F7E675404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4cfac295c5abd60b2cf0b816f60568313cf248","datavalue":{"value":{"entity-type":"item","numeric-id":1771116,"id":"Q1771116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ca499bd9fc16b402c9e19ff5427cbbba421955","datavalue":{"value":{"amount":"+0.8857007","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":"Q1771122$A8652BDE-6C1E-4F6A-872C-D5F4DF558650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3891cd68bc64c64f7f10c647743ce375432f8bae","datavalue":{"value":{"entity-type":"item","numeric-id":645200,"id":"Q645200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0c1a0668d0ae96805e3a826173dac6a07eb5a3","datavalue":{"value":{"amount":"+0.88483083","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":"Q1771122$B1946898-6BA7-43A1-8A88-DCF7A93C60E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbde5e77bbfd6a5556f2565e3d4ffd900bfa9dff","datavalue":{"value":{"entity-type":"item","numeric-id":4464700,"id":"Q4464700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b371f4a6d54dec39d445ba6ce7a2dcc9e7a15df9","datavalue":{"value":{"amount":"+0.88202184","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":"Q1771122$249C5BEB-7760-4819-9AAC-6832553A647B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a183285cb0ac005ec77b2345d6d09d9157c5521","datavalue":{"value":{"entity-type":"item","numeric-id":456863,"id":"Q456863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734457980fce45dbb3269f998d623aeb28be9c76","datavalue":{"value":{"amount":"+0.87633306","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":"Q1771122$CEACF134-97D8-481C-BDC2-F3CEE149EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a66f30e8e02a55af1ae15a865cb456745d782ce7","datavalue":{"value":{"entity-type":"item","numeric-id":513907,"id":"Q513907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657868121170bc3c238636186f9dce6734a71b74","datavalue":{"value":{"amount":"+0.87380546","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":"Q1771122$AB7A54CC-09C3-4997-8D4A-F184947DBA81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1771122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1771122"}}}}}