{"entities":{"Q1295727":{"pageid":1306477,"ns":120,"title":"Item:Q1295727","lastrevid":68778042,"modified":"2026-04-13T01:59:46Z","type":"item","id":"Q1295727","labels":{"en":{"language":"en","value":"Constructing inverse semigroups from category actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308331"}},"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":"Q1295727$5B530BB3-AA24-43EB-A451-173A6863E3FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ba03b7d8d19e3c2dd975fd5cbab4063418e0497","datavalue":{"value":{"text":"Constructing inverse semigroups from category actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295727$72D5809D-0E1C-491B-8E08-850653C27A05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7aeb38afcd378224bbb14b8abd5dc3764416e6c","datavalue":{"value":"0933.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$F164A2EA-CD86-42CA-A2FC-FF3701DB680C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3af60195b97c94b0c3ef763717658c5151de3b22","datavalue":{"value":"10.1016/S0022-4049(97)00173-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$577E9670-7BAC-4239-8B79-579EB291D5B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf80c39af231c93232f1b929a10e333bca32fadc","datavalue":{"value":{"entity-type":"item","numeric-id":180891,"id":"Q180891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$DDD4428C-461F-46E0-9561-9696B41B0676","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":"Q1295727$A4401700-3DDA-4974-9112-6B92F6D4734A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bf6e7e742761927dd66fc56a70a92a140af8a52","datavalue":{"value":{"time":"+2000-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295727$A651AC86-AE6E-4DB5-859F-A5E1575079F5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f456e4cc9ba2c6acdc8da16bc2acd03f41f843f7","datavalue":{"value":"Let \\(C\\) be a category regarded as a set equipped with a partial binary operation and let \\(C_0\\) be the set of identities of \\(C\\). Left and right identities of an element \\(x\\in C\\) are denoted by \\(\\mathbf{r}(x)\\) and \\(\\mathbf{d}(x)\\), respectively. Let \\(X\\) be a set and \\(\\mathbf{p}\\colon X\\to C_0\\) a function. Denote \\(C*X=\\{(a,x)\\in C\\times X:\\mathbf{d}(a)=\\text\\textbf{p}(x)\\}\\) and suppose there is defined an action \\(C*X\\to X\\). Then \\(X\\) is said to be a left \\(C\\)-system. A left \\(C\\)-system satisfies the orbit condition if \\(C\\cdot x\\cap C\\cdot y\\not=\\emptyset\\) implies that \\(C\\cdot x\\cap C\\cdot y=C\\cdot z\\) for some \\(z\\in X\\).   The author proves that every inverse semigroup can be constructed from a category acting on a set satisfying the orbit condition. This is a generalization of both \\textit{D. B. McAlister}'s and \\textit{J. Leech}'s works describing inverse monoids [in J. Algebra 43, 231-251 (1976; Zbl 0349.20025) and Semigroup Forum 36, 89-116 (1987; Zbl 0634.18002), respectively]. A number of special cases and examples is discussed. For example, natural characterizations of \\(0\\)-simple and \\(0\\)-\\(E\\)-unitary inverse semigroups in terms of systems are obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295727$6842F117-CA2A-4B53-A14D-1B01720ECC00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$9CBF24A6-4D36-4416-A130-3065E911A52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$69E73F80-1A27-4CB7-9EE2-AFC77F0903CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$4A6580BE-8917-4215-8893-C5F73FE1D3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$AADA662A-4808-4D22-A6E7-E2314013CD4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4720fe9b61c26c865bfde9eddc3ba220684b7d54","datavalue":{"value":"1308331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295727$C3E12794-D68A-4447-98AE-40C5A14D2536","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295727$73932B56-0D35-4613-BB1C-EFBF27B85A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d752572cc7e04d840e9fa67a95fe20f748ce229","datavalue":{"value":"category actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295727$184031A4-D5C8-426E-892F-A26A4B4F0F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e33e118b2bcd1dacb56c85623443a80970add94b","datavalue":{"value":"left systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295727$1CEFC364-37CE-4969-842B-E4E04E990BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"710b5e91e28c79d521f3e8cc506ada0927235222","datavalue":{"value":"orbit condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295727$0EC76F4F-DEF0-4E12-B689-7449FB113239","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af2af9f0b39002fbe531b18972cee790e88d2541","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$2887D4D8-5B95-45E7-80AD-BD87DB941302","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":"Q1295727$B9F8AA3F-A4F9-405D-BBF0-F0AA7A72BA6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de25bf667155e28e9429b09af04afa2cf5bb161","datavalue":{"value":{"entity-type":"item","numeric-id":5819486,"id":"Q5819486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$E162ECF0-D84C-4177-9189-C6C0B49A4956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$3F50E60B-1C7F-4E84-993A-91E780947E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$0FCA9666-A5BA-410C-9697-96CF97DB9D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$157385DC-210B-4F02-834E-C786522F0B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa8a33777b2382971773f736bd1c0295f383e5f9","datavalue":{"value":{"entity-type":"item","numeric-id":1096714,"id":"Q1096714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$951DAE64-605F-45C4-9D33-ABDA421AC9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$35BD0EE5-A0AB-433A-BE72-48CBB61A7D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$C448FF84-B0F7-47E0-B66C-A547FEADBCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88aa9fb398141b70ac091261df05619475dcb193","datavalue":{"value":{"entity-type":"item","numeric-id":4774225,"id":"Q4774225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$6F1B4534-77C5-47B3-BEAF-509029318481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5075b8928b0490bbc94e71a6112c34c6fa87ae","datavalue":{"value":{"entity-type":"item","numeric-id":1234761,"id":"Q1234761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$6808AD54-BF27-4AC2-8270-29925C7995A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccff442f7965c7353623f3013390c052254c3f54","datavalue":{"value":{"entity-type":"item","numeric-id":4039053,"id":"Q4039053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$1DA2CF2B-436D-4D52-B5BA-F74071455AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822fe2328bf0193249275bb452ed9fd84598fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3909232,"id":"Q3909232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$EE3F2A18-5039-485D-8D14-934F1E6851BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad802a99c6d7faf6dfebc1ddfe208ac1c527d89","datavalue":{"value":{"entity-type":"item","numeric-id":5606625,"id":"Q5606625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$E20E4D1D-8E76-4398-BB1F-D070A8B1D4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$774206EB-726B-40D2-8161-0933895D1B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e77d4d2ce70759d5c9a4fb42df693d20cc8797b","datavalue":{"value":{"entity-type":"item","numeric-id":5542134,"id":"Q5542134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$300569B6-F2DA-4FB2-8354-A4805CA87181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fccf929221ed0af9043006d25d894f4e7300d9c","datavalue":{"value":{"entity-type":"item","numeric-id":3815296,"id":"Q3815296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$DC73697C-BA52-4BA3-884D-9EEA9866F818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295727$9F85EA63-5854-4926-90FD-9EB045221B36","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1973278df7ff71aed5f6599649cff5076f93d5a0","datavalue":{"value":{"entity-type":"item","numeric-id":5490513,"id":"Q5490513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cdda08ffa3d7f124bfe4b3fac3134efef4d622","datavalue":{"value":{"amount":"+0.7713609337806702","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":"Q1295727$60F436DD-76E1-4826-8AD3-CB683AEE7306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89441cc7939e334261d39a8f48d03614696f4a8","datavalue":{"value":{"entity-type":"item","numeric-id":1935470,"id":"Q1935470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e5da2fdf01a444c6fb545e9ec7ce492ad767ba2","datavalue":{"value":{"amount":"+0.7694833874702454","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":"Q1295727$A7F10DFD-803B-4205-8158-A1CB4C64A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a87a7e8c9966f5a14b1bee5070786cb788d3021","datavalue":{"value":{"entity-type":"item","numeric-id":4304261,"id":"Q4304261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd6495b8dfdde73ab8bb2d1bc5731947b3ecd2d","datavalue":{"value":{"amount":"+0.7590495347976685","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":"Q1295727$4BB33656-50BC-441E-976E-0720EA5B7584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8906e04303e06a1d419ba9a8c6b79ad1a88b4ae1","datavalue":{"value":{"entity-type":"item","numeric-id":3390946,"id":"Q3390946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccc90f5f19ab383950f62eb9042818ddbc2162f","datavalue":{"value":{"amount":"+0.7585903406143188","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":"Q1295727$C0CF3524-108F-4AF4-992C-A2EAB69A2DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022f6ab40ff4a316712a7199dd5a3d99c5e48979","datavalue":{"value":{"entity-type":"item","numeric-id":1964620,"id":"Q1964620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24a476afe50592db76825c65d48c8410fb9224a","datavalue":{"value":{"amount":"+0.752399742603302","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":"Q1295727$0D273393-4C6A-4313-88A4-4E298720C0B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing inverse semigroups from category actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_inverse_semigroups_from_category_actions"}}}}}