{"entities":{"Q2362754":{"pageid":2373497,"ns":120,"title":"Item:Q2362754","lastrevid":52852652,"modified":"2026-01-23T15:46:23Z","type":"item","id":"Q2362754","labels":{"en":{"language":"en","value":"D-semigroups and constellations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745012"}},"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":"Q2362754$C70FC4F6-69BC-44AF-B96F-23CD5B855CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc1e5c72b80dd9d3ebb5b6244873950e0b493489","datavalue":{"value":{"text":"D-semigroups and constellations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362754$1DB5CEBA-CB71-4568-BC38-2A33CC8743A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff8c3315cffb98b68e3501182562f091d2e919ad","datavalue":{"value":"1384.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$491BF130-0D82-45ED-9420-5DCFBDC75C2E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$4EDEEE00-60DC-4B20-B1A5-BD6749E2A16E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362754$3D692387-424C-4ADE-8CBE-4E4BFEEBD126","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afee041a1c23d993a0c579ee599c3f1f5edfa740","datavalue":{"value":"https://hdl.handle.net/10289/11858","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362754$85CFBFA6-F86C-4C22-A506-F8485D630A14","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46f14e84efcc6ad7b631b3db3a3d3abf33f29869","datavalue":{"value":"The result that has come to be known as the Ehresmann-Schein-Nambooripad (ESN) theorem states that the category of inverse semigroups and morphisms is isomorphic to the category of inductive groupoids and inductive functors. Here, the term ``groupoid'' is used in the sense of category theory; an inductive groupoid is equipped with a partial order and certain partial binary operations termed restrictions and co-restrictions. One line of generalization has been through the so-called ``York-school'' classes of semigroups. In [J. Algebra 141, No. 2, 422--462 (1991; Zbl 0747.18007)], \\textit{M. V. Lawson} defined inductive categories and their functors in an analogous fashion and showed that the resulting category is isomorphic to the category of restriction semigroups (or weakly E-ample semigroups in earlier terminology) and morphisms. In the case of left restriction semigroups, \\textit{V. Gould} and \\textit{C. Hollings} [Commun. Algebra 38, No. 1, 261--287 (2010; Zbl 1251.20062)] introduced inductive constellations and their functors to yield another analogue. In the paper under review, the author extends the semigroup realm to cover left Ehresmann semigroups (where the ``distinguished idempotents'' still form a semilattice but the left ample law need not hold) and, indeed, to the still wider class of ``left congruence D-semigroups''. Without going into details, the property that the distinguished idempotents form a semilattice is now relaxed, but the associated generalized Green relation is a left congruence, as in Ehresmann semigroups. Moreover, the general theorem not only specializes to left Ehresmann semigroups, but also to certain ordered left congruence D-semigroups. The key observation that allows this generalization is that the ordering in an inductive constellation, associated with the compatible natural ordering on a left restriction semigroup, may be expressed in terms of the co-restriction and so a way forward is found even without a compatible natural partial order on the attendant semigroups. The ``co-restriction constellations'' and their associated functors then yield the analogue of the ESN Theorem for the left congruence D-semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$5C20F9CA-6377-4F2E-BFD9-AF59899B2004","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$6DF60CA4-50B4-45C0-BDDE-7690AB6B0478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$FF63DBA8-0859-4A46-B902-9C9EAE180608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$AB34AFE4-D3C0-42AF-BA42-BBD7E643C84C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bd094dcc1986fb2a0c1048fa4c13363062ea76d","datavalue":{"value":"6745012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$FE303015-D0F3-4863-A5EE-338D9897359E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0336e1cb82728fe32ff74692f767fe06f0372b46","datavalue":{"value":"D-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$69F96151-D375-49FB-BC44-15AD7A1F2B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1b8c298788adf651996fdce70d4b321d291044","datavalue":{"value":"left Ehresmann semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$CAE9BB16-64BA-4217-BD04-7EEE446967F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c71fde908248cb0d2b8782071048bdc02b1eaa0","datavalue":{"value":"constellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$E1F1E24D-8859-4386-AB64-79BAC24B0E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f804525ff24f76243b8c0ef2ea02ebb949c27d6","datavalue":{"value":"left restriction semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$F0BDE159-0726-4C4D-A09E-A187C0EADF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5da768ce7ed9aae0350b7113807bf2b4f06836dd","datavalue":{"value":"inductive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$CD16B13B-2A4D-4BA6-AD65-304085E7023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0a91a2e4320deb133f78529e01f4094be75a485","datavalue":{"value":"ESN theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2362754$D9A9CCD5-CDFB-41A9-8FC6-24FC3FFE3B5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"290b302b4bd6785e5f63e4d3d037b3f5d9b208a7","datavalue":{"value":{"entity-type":"item","numeric-id":915469,"id":"Q915469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$39F0AB6B-36F1-4107-84C7-5E384BAC9FFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$A41C203B-A284-479D-957D-4C485CA5E97B","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":"Q2362754$97DFCD73-67E8-4B4D-9703-232A86DF2E04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e60e937c739fc0541bd973411a748509281bcbd9","datavalue":{"value":"W2582834866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$EABEA101-54B9-4478-BB21-AAF6863099B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32cc22be564177cdc04470948313d7438e7e3ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3898683,"id":"Q3898683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$A896B41F-928B-474C-AFA9-41A02A5B4A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c7dbd2928dc92bb35de9c97afbd03f27b049cd","datavalue":{"value":{"entity-type":"item","numeric-id":3448274,"id":"Q3448274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$5B0FD1C2-2A52-40EE-8A7F-02CD4B4A68CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bdcd6bec0074afc39f1d79fef0f741bb0d0635","datavalue":{"value":{"entity-type":"item","numeric-id":3112589,"id":"Q3112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$11FA766E-7CBA-448A-8923-F3D33A3B0A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62386516d9e4edfd13150a63c443c59cb377920e","datavalue":{"value":{"entity-type":"item","numeric-id":820135,"id":"Q820135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$57E8323E-2D9F-4AAB-A4CC-C461A20C07AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102214bd83ef67d5f21f85740a07d0d43c42a436","datavalue":{"value":{"entity-type":"item","numeric-id":1306910,"id":"Q1306910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$B63696FC-78D1-4E08-AA87-6C1AA7460E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa4d69d0adcc118eab6a16aeaebe29b05ab0aea","datavalue":{"value":{"entity-type":"item","numeric-id":411757,"id":"Q411757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$B2BFB8A7-0C55-4762-AC19-D06313BDBDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"984279f3b890221289c5fccd4fb8bfec1e67fb69","datavalue":{"value":{"entity-type":"item","numeric-id":3406596,"id":"Q3406596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$764174B4-C61D-4907-94CE-30ED2FCF4BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dee0cc4f85242a055ab3e13b3e641c94e473581","datavalue":{"value":{"entity-type":"item","numeric-id":3395321,"id":"Q3395321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$E6A0FBDC-ACB7-4A66-A4A9-3A352BCCA5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befe77aa4e9b2635fc434bcdad8c8109f36b6a79","datavalue":{"value":{"entity-type":"item","numeric-id":2359731,"id":"Q2359731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$99FB2397-A64C-4DC5-803B-A748B7D4C54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$0DBBDC82-A137-4E27-B079-AA8BD9E16DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9e9d0e0b14c3ede7228b6a5ed498f6d1b7f6d94","datavalue":{"value":{"entity-type":"item","numeric-id":5931529,"id":"Q5931529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$A93F31EE-660A-491F-8F6D-4F7C490F80BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25022099616c01fd1ce096c7694be7b15810f0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1406756,"id":"Q1406756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$9D7479BA-992B-473E-A422-9E76F6893107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178e15c1078958b2c8a6fc7d377dc8ba928e89b1","datavalue":{"value":{"entity-type":"item","numeric-id":3094674,"id":"Q3094674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$ADD3148A-E229-49A6-A585-95F7668E8E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dbbfff5d4e553b4bdc1ff9be59bec7254c2a84","datavalue":{"value":{"entity-type":"item","numeric-id":1177273,"id":"Q1177273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$73590EE1-8235-41A8-964B-AD36061BC50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb348fa3913072933760a49b73886d299262002f","datavalue":{"value":{"entity-type":"item","numeric-id":3280181,"id":"Q3280181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$3A79B109-1163-43D6-BD04-CB3A9AFB380B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b128da3cf70748e62bc77810674748db8a3372f","datavalue":{"value":{"entity-type":"item","numeric-id":2491181,"id":"Q2491181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$F8E7E018-B3DB-4885-BAC0-1FCA4322D36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9375b7c15078a0ea5e4a6b7e1cd22b9f40e3af79","datavalue":{"value":{"entity-type":"item","numeric-id":854099,"id":"Q854099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$53D1AE17-AF71-4A83-8B92-CE83B840A4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"596de411b49ce1afeb2a9f323b9f3e8e566bb4f2","datavalue":{"value":{"entity-type":"item","numeric-id":5182409,"id":"Q5182409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362754$A3732962-07F3-4F28-93E7-7B353491ECBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16a18fce30dfa6e75820da57ac9e5480cc707134","datavalue":{"value":"10.1007/S00233-017-9851-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362754$5B18ECA6-23F6-4E4C-9053-338339556F23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d52935786bff8fec7e805f9c6191a8f87a93f2","datavalue":{"value":{"entity-type":"item","numeric-id":3406596,"id":"Q3406596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9669ddef301baa9fb8d8301cdcbf2a0b1192e057","datavalue":{"value":{"amount":"+0.862886369228363","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":"Q2362754$E13690C4-D050-49E5-AF00-C5A4D405E720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9143d8d8e6e76894c0eb3a70ce63a0616c7ec060","datavalue":{"value":{"entity-type":"item","numeric-id":4585019,"id":"Q4585019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91d0026c38e1e8ed9adf893730fbfa43cbc4e82","datavalue":{"value":{"amount":"+0.8413652777671814","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":"Q2362754$01647AE7-688C-4D67-9403-58AEA8036A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ae8a4f04fb154addcd44bbca34332ce8e107cbb","datavalue":{"value":{"entity-type":"item","numeric-id":2300150,"id":"Q2300150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea7c2a1c9a0ea276b3321e271b135ef47472e63","datavalue":{"value":{"amount":"+0.8309307098388672","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":"Q2362754$C8535AA8-D423-4515-AACC-B087918E7700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc4b726dfa6ba723db282b496d6df92890f4b7a","datavalue":{"value":{"entity-type":"item","numeric-id":2153516,"id":"Q2153516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63a5be48bc17fcc1b2c1821d97671facc0644243","datavalue":{"value":{"amount":"+0.806018590927124","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":"Q2362754$80F288E6-5D9C-451A-AAAD-04A41DCE303B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23d09bcd1ee3d3eb70939470252953299934717","datavalue":{"value":{"entity-type":"item","numeric-id":4691320,"id":"Q4691320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2892d8a6d66f6be107393eba117b2403bd0076","datavalue":{"value":{"amount":"+0.8009821176528931","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":"Q2362754$584C9A77-9418-46D4-A93F-2BAC65EA3C80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2362754","badges":[]}}}}}