{"entities":{"Q982210":{"pageid":984058,"ns":120,"title":"Item:Q982210","lastrevid":65752611,"modified":"2026-04-12T05:08:33Z","type":"item","id":"Q982210","labels":{"en":{"language":"en","value":"Extending the Ehresmann-Schein-Nambooripad theorem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5730957"}},"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":"Q982210$8AE09755-4E15-4DF3-9A96-694CB88A7181","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6f905a2700f8194972759b389f2bff68e51060e","datavalue":{"value":{"text":"Extending the Ehresmann-Schein-Nambooripad theorem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q982210$D5D5154D-7E14-4675-A4DA-62B41E55BEE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09bfda90c0e53197faa891013eeb8ee7bbda556d","datavalue":{"value":"1204.20082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982210$B9BD22DD-295D-4860-B876-57D74CE97E26","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":"Q982210$320C1B13-71F2-44A3-9DF7-BF1428ED95FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1c7ea6139a683d58d121d342349f793de1b1e11","datavalue":{"value":{"time":"+2010-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q982210$9CE38918-18C4-4730-9171-BA3EF50DFD7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f598e5da0520437c720187a127a01427e6f19839","datavalue":{"value":"https://arxiv.org/abs/0804.4702","type":"string"},"datatype":"url"},"type":"statement","id":"Q982210$34AE788E-ACD3-4A52-96CA-223A44C93F58","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"71a829b4607a522d3984ea0f84d0e1baa79fb0a1","datavalue":{"value":"For a set \\(X\\), let \\(\\mathcal{PT}_X\\) be the monoid of all partial mappings from \\(X\\) into itself and let \\(^+\\) be a unary operation on \\(\\mathcal{PT}_X\\) which maps \\(\\varphi\\) on the identity mapping on the domain of \\(\\varphi\\). Let \\(\\mathcal{PT}^*_X\\) be the opposite monoid of \\(\\mathcal{PT}_X\\) and \\(^*\\) be the operation \\(^+\\) on \\(\\mathcal{PT}^*_X\\).   A semigroup \\(S\\) is called a two-sided restriction semigroup if 1) \\(S\\) is isomorphic (via \\(\\varphi\\)) to a subsemigroup of \\(\\mathcal{PT}_ X\\) closed under \\(^+\\) for some \\(X\\); 2) \\(S\\) is isomorphic (via \\(\\psi\\)) to a subsemigroup of \\(\\mathcal{PT}^*_Y\\) closed under \\(^*\\) for some \\(Y\\); 3) the semilattices \\(\\{\\varphi^{-1}(s)^+\\mid s\\in S\\}\\) and \\(\\{\\psi(s^{-1})^*\\mid s\\in S\\}\\) are isomorphic.   Let \\(S\\) and \\(T\\) be two-sided restriction semigroups then a mapping \\(\\theta\\colon S\\to T\\) is   \\((\\bullet)\\) \\((\\vee,r)\\)-premorphism if \\(\\theta(st)\\leq\\theta(s)\\theta(t)\\), \\(\\theta(s^+)\\leq(\\theta(s))^+\\) and \\(\\theta(s^*)\\leq(\\theta(s))^*\\);   \\((\\bullet)\\) \\((\\wedge,r)\\)-premorphism if \\(\\theta(s)\\theta(t)\\leq\\theta(st)\\), \\((\\theta(s))^+\\leq\\theta(s^+)\\) and \\((\\theta(s))^*=\\theta(s^*)\\).   A \\((\\wedge,r)\\)-premorphism is strong if \\(\\theta(s)\\theta(t)=(\\theta(s))^+\\theta(st)=\\theta(st)(\\theta(t))^*\\).   It is proved a generalization of the Szendrei expansion of inductive groupoids. The category of two-sided restriction semigroups and \\((\\vee,r\\))-premorphisms is isomorphic to the category of inductive categories and ordered functors. The category of two-sided restriction semigroups and ordered \\((\\wedge,r\\))-premorphisms is isomorphic to the category of inductive categories and inductive category prefunctors. The category of two-sided restriction semigroups and strong \\((\\wedge,r\\))-premorphisms is isomorphic to the category of inductive categories and strong inductive category prefunctors. Analogous theorem for inverse semigroups is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q982210$74D871B4-0B19-428E-BD76-74D23D6719F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$A3398B27-FDBF-48C0-B3C8-3D4FD974CC76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982210$F6C25A7C-C741-4E4E-9A71-FF63F5C67EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"983a596fcaf5e9f858c576e91f4228679d1d7d56","datavalue":{"value":"18B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982210$024720FA-06FD-44D9-BFAD-172D57F2FAE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb03a965356250716bed95fdb7a6b6147466b4c7","datavalue":{"value":"5730957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982210$4593BD2B-8B3B-4410-BC99-5BDF837A4848","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af50394444f5835263fc0f69e6828b9455865551","datavalue":{"value":"restriction semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q982210$CC761D1B-B00E-403D-9FD5-0CF3A69A98A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"094fe1e4d723ddc98de600ccad66b761ad85623d","datavalue":{"value":"inverse semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q982210$F7311F85-FFF5-460D-83C3-9C00AA966758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a61eb906e5a72577aad30212849699366ce9419","datavalue":{"value":"inductive categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q982210$C374062B-577B-49ED-8CC1-C81B7713F589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42132697d8d818d044ec3efe697a333291c2677d","datavalue":{"value":"premorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q982210$60534042-F3CA-43D9-B366-060A0BF47903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c23c18b8b6090e1f794f0d1dabf6e3bc9e0617a","datavalue":{"value":"inductive groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q982210$AC9A64BE-34B7-4126-B308-77C23FA0BBD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80343a3b669e919c41dd853d1675101f4ba7fbd6","datavalue":{"value":{"entity-type":"item","numeric-id":736703,"id":"Q736703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$1DCFC6BF-CCFA-44D1-9DBC-F79C5BD5EAFF","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":"Q982210$A2E2CC41-74B9-4B27-94AA-A4D9BB31BF87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d99c6034bbd51cc3f126a3a6a65851a3cef4ac17","datavalue":{"value":"W3102708785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982210$C9E2D52A-BAA9-400D-A6AA-EC6312429AFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e72e36cc7cc99ed43b4e62d2f068746c72a3f3a","datavalue":{"value":{"entity-type":"item","numeric-id":798448,"id":"Q798448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$8855C527-0A5B-48E4-9226-456958AAD892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$4DCF8D9B-4FF5-4093-8519-5DCF8310C542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5085c28bcb3b483086eb16ab66fd7b66d37d5df8","datavalue":{"value":{"entity-type":"item","numeric-id":3625678,"id":"Q3625678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$BDD74287-D21B-455B-92E7-B1551AE3F55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7c2f5866e57711df93349e266431f305eaa70d6","datavalue":{"value":{"entity-type":"item","numeric-id":4156936,"id":"Q4156936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$A24B77AD-674B-4F86-843C-EE2C318E6527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"576401767b02d3342227de46df697138dc1107ed","datavalue":{"value":{"entity-type":"item","numeric-id":3049018,"id":"Q3049018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$567076C4-EFF8-4733-9FE9-F08AFDD69777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ccd813bede35521b69cd80b7c26b6a09bbbd54","datavalue":{"value":{"entity-type":"item","numeric-id":5752753,"id":"Q5752753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$A09EB1C5-A1AD-4BE1-9699-AB97E4B6E725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bfa2b3f55a13a7f8a5d6742cd2b0e890694f217","datavalue":{"value":{"entity-type":"item","numeric-id":1779470,"id":"Q1779470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$95E6678B-CD84-409E-9CD3-57BE864D9A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b05049d837cf1766bd102e430a6b7411990be85","datavalue":{"value":{"entity-type":"item","numeric-id":1402898,"id":"Q1402898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$75FFF5D9-3415-4F26-B23D-BC4E61D1B474","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":"Q982210$433952D5-E5BF-478E-A272-79DDFE63C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7b5c47229ef305547834a66618926b092e0b75","datavalue":{"value":{"entity-type":"item","numeric-id":2461613,"id":"Q2461613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$0343F854-F93B-4B90-9292-A99C72E42BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b183c896473805a61c8d44833bafa2426077da","datavalue":{"value":{"entity-type":"item","numeric-id":5393094,"id":"Q5393094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$80060FB3-9771-4878-8943-C5CA764B3326","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":"Q982210$00757826-200D-43CD-A5A2-30B5006164F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efecbc2634496d67ceaab3caa52ae007180dd69a","datavalue":{"value":{"entity-type":"item","numeric-id":3882586,"id":"Q3882586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$34A4E39D-270C-4B3C-9949-589CA389B869","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":"Q982210$F2739941-85F8-40A9-A514-4CC0DF6C6E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b728b2e2a9c0c505e1474cff8852bb6a6cc8257","datavalue":{"value":{"entity-type":"item","numeric-id":4537454,"id":"Q4537454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$C40FBE3D-12DA-4356-B5B7-4A90784F8C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f6ec4fe8dfae994fff88583945fbd9b4461297","datavalue":{"value":{"entity-type":"item","numeric-id":1242998,"id":"Q1242998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$73336C78-1B78-40F0-9DCB-4927795849D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2495c277a45d8d02265ce714e627ad9514a3ef","datavalue":{"value":{"entity-type":"item","numeric-id":1122666,"id":"Q1122666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q982210$5C014CA8-5BDE-466D-B941-966B9DD9346E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a91e93ce63db5826f55f1ce6992b533915a7262","datavalue":{"value":"10.1007/S00233-010-9215-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q982210$9387E75C-9616-4743-9198-DF0E78CA18B4","rank":"normal"}],"P1643":[{"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":"fd4ac64f8c659fbaa3757757ab5ff6edf23dbe9c","datavalue":{"value":{"amount":"+0.8313218951225281","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":"Q982210$39A92592-C95B-4D79-B57C-B02758987FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5dd1f90354dad22d4aba211a57ec42d546418b5","datavalue":{"value":{"entity-type":"item","numeric-id":2421371,"id":"Q2421371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a316061bafadc637444109d6e88d929793e380c","datavalue":{"value":{"amount":"+0.8052271604537964","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":"Q982210$3547AB47-9CB4-428F-99D5-1D2F45BA0F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c08415a3f21d6f4d3f8aa6913f69ebb9fc31ad61","datavalue":{"value":{"entity-type":"item","numeric-id":2036069,"id":"Q2036069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7e74b2bb51428387d258d7e3e2d47c8f6d46fdb","datavalue":{"value":{"amount":"+0.8006449341773987","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":"Q982210$FE518676-971C-421B-9BCE-5CDE8A433622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a43448140351ab67374cb469470ed3d6bac6a22","datavalue":{"value":{"entity-type":"item","numeric-id":2031584,"id":"Q2031584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2199655eaab85528306ab457020dc12706e4490e","datavalue":{"value":{"amount":"+0.7947540283203125","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":"Q982210$5CEFC66A-2276-4F8A-BD22-F639ECC7A6E4","rank":"normal"},{"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":"9c1ae46a7fc5c62636a2cff8cef92140f9060e27","datavalue":{"value":{"amount":"+0.7933883666992188","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":"Q982210$7CD4905B-99C5-42A8-BCF5-FFCFA95CACC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending the Ehresmann-Schein-Nambooripad theorem.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_the_Ehresmann-Schein-Nambooripad_theorem."}}}}}