{"entities":{"Q2134646":{"pageid":2145389,"ns":120,"title":"Item:Q2134646","lastrevid":57742164,"modified":"2026-04-01T05:35:32Z","type":"item","id":"Q2134646","labels":{"en":{"language":"en","value":"Constellations with range and IS-categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7517043"}},"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":"Q2134646$841D30C3-AFD4-489F-A78A-745E87925F76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a31706ee16549302182b2976e4c8a1bf148cd4b","datavalue":{"value":{"text":"Constellations with range and IS-categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2134646$EDF1C9C8-1B12-431F-A456-445392BA1217","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eaecce993059846ce2166591daf2f00060575b67","datavalue":{"value":"1495.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$EA9D1055-EAC9-4E5F-AA10-B0F7ADCCAE6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47bf248e9743c97a013f0458ed30a0664f014eb9","datavalue":{"value":{"entity-type":"item","numeric-id":244460,"id":"Q244460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$0FDFEE0C-4BE7-45F0-B885-83A20D2FB292","rank":"normal"},{"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":"Q2134646$1B96B99E-E1E8-433A-A97A-6809129698A7","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":"Q2134646$2E53404C-69BF-41C6-8D33-41A31ED48BC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afbd7d3edc8a02a1b73fe682e853836b4c0f09d3","datavalue":{"value":{"time":"+2022-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2134646$8FCCA1A4-EBB0-4F6C-910C-658CE3AE8DC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1f4e242faaaa7f68f0c174ec1d9e743aadd8c1f6","datavalue":{"value":"https://arxiv.org/abs/2103.16770","type":"string"},"datatype":"url"},"type":"statement","id":"Q2134646$0619289D-37C5-461B-BDB3-6FDE2FF7CB55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b69a7444b605482c913cf6f9e5e26e6ebc2dda66","datavalue":{"value":"A \\textit{constellation} is a class \\(\\mathcal Q\\) equipped with a partial binary operation \\(\\cdot\\) satisfying:  \\begin{itemize} \\item[1)] if \\(x\\cdot(y\\cdot z)\\) exists then \\((x\\cdot y)\\cdot z\\) exists, and then the two are equal;  \\item[2)] if \\(x\\cdot y\\) and \\(y\\cdot z\\) exist, then so does \\(x\\cdot(y\\cdot z)\\);  \\item[3)] for each \\(x\\), there is a unique right identity \\(e\\) (denoted by \\(D(x)\\)) such that \\(e\\cdot x=x\\).  \\end{itemize} Therefore, constellations are asymmetric generalizations of categories. A constellation \\(\\mathcal Q\\) in which for all \\(s\\in \\mathcal Q\\) the set \\(R(s) =\\{e\\in D(\\mathcal Q) \\vert s\\cdot e \\) exists, and for all \\(f\\in D(\\mathcal Q), s\\cdot f\\) exists implies \\(e\\cdot f\\) exists\\} has a single element, is called a \\textit{constellation with pre-range}, and is called \\textit{constellation with range} if it additionally satisfies the \\textit{right congruence condition} \\(R(R(s)\\cdot t)=R(s\\cdot t)\\) whenever \\(s\\cdot t\\) exists. If \\((\\mathcal Q,\\cdot,D,R)\\) is a constellation with pre-range, then \\((\\mathcal Q,\\circ,D,R)\\) is a (\\textit{derived}) category under partial operation \\(s\\circ t=s\\cdot t\\) if \\(R(s)=D(t)\\), and undefined otherwise if and only if \\((\\mathcal Q,\\cdot,D,R)\\) is a constellation with range.   \\textit{Left cancellative} constellations and \\textit{ordered categories with restrictions} are defined and proved that if \\((\\mathcal Q,\\cdot,D,R)\\) is a (left cancellative) constellation with range, then the derived category \\((\\mathcal Q,\\circ,D,R)\\) is an ordered (left cancellative) category with restrictions, and \\textit{vice versa}, if \\((\\mathcal Q,\\circ,D,R, \\leq)\\) is a (left cancellative) ordered category with restrictions, then setting \\(s\\cdot t\\) equal to \\(s\\cdot (R(s)\\vert t)\\) whenever \\(R(s)\\leq D(t)\\) makes \\((\\mathcal Q,\\cdot,D,R)\\) into a (left cancellative) constellation with range. The authors define also a \\textit{category with insertions} (I-category) and a \\textit{category with insertions and surjections} (IS-category) and describe some well-known concepts for IS-categories: epimorphisms, subobjects, equalizers, the balanced property and factorization systems. It turns out that the category of constallations with range is isomorphic to the category of ordered categories with restrictions and, with an appropriate choice the morphisms, is equivalent to the category of IS-categories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134646$24E660B0-C46C-4522-A1B3-70C0EBE8F337","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":"Q2134646$D295CB60-7F69-4BBD-83F0-44F2B5E4AD5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"32aa222f852df3f290ecea7c464ed5857992bf22","datavalue":{"value":"18A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$CBF8470D-5A1D-496C-AAA1-BBF3CDAFF9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$6503E7BA-E936-4F17-9F3A-7DFEB89C4793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$B068478C-69DE-4057-9CDD-0C0A7FFE9127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abe9a58a02a096a09b41398fe9e6560fb530ff30","datavalue":{"value":"20M75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$3C8B3E1D-541A-403A-B28E-442262F8AC0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27bb36f5f113ad6cb5fcc197da96d7b109805593","datavalue":{"value":"7517043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$46FE331C-ADF0-4F77-AEA5-F697E8FBB407","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c71fde908248cb0d2b8782071048bdc02b1eaa0","datavalue":{"value":"constellation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134646$3B9BB385-0F84-40C2-9BD2-0B7D92297374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134646$D9A3ED51-932E-47BD-A078-669A00C2402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb0e10c58bb44e53c443c7ac8330b05c6dfe321e","datavalue":{"value":"pre-range","type":"string"},"datatype":"string"},"type":"statement","id":"Q2134646$DE33B2C8-F88D-4E6F-9C8D-B3F68BB923E2","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":"Q2134646$F96AB1D2-E4FF-4A0F-AD39-89F3AD9CBC28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04c89e363aeb3cbfebeb9eeb2da69285fa9d7a1c","datavalue":{"value":"W4205846654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$25150B99-4131-4A39-9D8F-80AEB9777E75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"883bc51f333b0931ae9c7a91e2f803e8608ba94f","datavalue":{"value":{"entity-type":"item","numeric-id":4678650,"id":"Q4678650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$6C6BFD4E-59FA-43F2-8503-0619C58FA08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48382cb3f982facc0df73f650253df55df531e31","datavalue":{"value":{"entity-type":"item","numeric-id":3898461,"id":"Q3898461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$5DC18A45-2D44-4813-B9B1-7B9ED2BEF153","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":"Q2134646$3D956FF7-632B-4385-8CB3-CD9070E70CD0","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":"Q2134646$E7A893EC-B548-41BA-B1E4-4C4382FC7195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d490c349ab23b917f95eac646ea2d79a8692e159","datavalue":{"value":{"entity-type":"item","numeric-id":4464182,"id":"Q4464182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$C2DBEEF0-262D-444C-814D-18749D506258","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":"Q2134646$7929372C-239F-4D77-BA1B-0CE4E19EA9BB","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":"Q2134646$4C92D8F5-F938-414B-83D1-157B95A3BCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794230acdcb2049d9559d0f9c69ca7888890abf2","datavalue":{"value":{"entity-type":"item","numeric-id":2042929,"id":"Q2042929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$70A26CDA-0750-4549-BDE8-515C9A70F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d0db42d1e7ffe4bd0e047971cf943a92a08f69","datavalue":{"value":{"entity-type":"item","numeric-id":5597568,"id":"Q5597568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$39D006C2-CB36-4E5D-8485-4170FA4F9142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcae7d1b016f8d8c790e0e0c32c77e205366c2a","datavalue":{"value":{"entity-type":"item","numeric-id":4189451,"id":"Q4189451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$A0132A1F-F81E-4423-A4EF-6F55A499A276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"028baf931cd0ba55b061006a4539350e05bd1fa9","datavalue":{"value":{"entity-type":"item","numeric-id":2528924,"id":"Q2528924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$D952397E-DE2D-4BC3-9EA8-01F6DFC16809","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":"Q2134646$63E66EF3-E74A-4E8F-B08D-2EAA50FFBFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b482d54f15330f0925d86a5e58ee6c8109029470","datavalue":{"value":{"entity-type":"item","numeric-id":2362754,"id":"Q2362754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2134646$EBD4B65E-4132-4FD9-8470-F52DBBA886A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f6b6ea224203a15257432a7a03ed8e46d52480cc","datavalue":{"value":"10.1016/J.JPAA.2021.106995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2134646$2649108C-3959-46F7-B96F-49B0095B4691","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fee15a6463ae3dabecdbc64545622d1aaa4dcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2359731,"id":"Q2359731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac01a8e62c5077f36e8c9247a7c2eef14dd1ff7a","datavalue":{"value":{"amount":"+0.87895268201828","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":"Q2134646$83898A8E-6BF2-49B5-B464-A36B596F9BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b7ddb5ece0a1085b64f1ea0063e7a1c242e701c","datavalue":{"value":{"entity-type":"item","numeric-id":2920210,"id":"Q2920210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d354a797a98fc34ca70c47bcc0ad2359114ca49","datavalue":{"value":{"amount":"+0.7827296853065491","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":"Q2134646$EEB180FD-40AD-4729-BA91-8F95E6DC291F","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":"71014eb7ea2c6745221b44a906f73186acc6bdc4","datavalue":{"value":{"amount":"+0.7259520292282104","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":"Q2134646$B3413BDD-F3E1-4793-808F-969B05373F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd03179b42ab62f96d96c7dadbc7e4d6c4b77249","datavalue":{"value":{"entity-type":"item","numeric-id":633194,"id":"Q633194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01cd7e4ac4be95a0a8524f71862fedeb62540a1","datavalue":{"value":{"amount":"+0.7237920165061951","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":"Q2134646$8E821B4D-12D8-48B0-8F07-C16C96AA4DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e38d63dc56dfe7ed3ac306eacfff704d19c9a10","datavalue":{"value":{"entity-type":"item","numeric-id":2362754,"id":"Q2362754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa6b381aeae41cf157e9c3ad04ac355e1450dae7","datavalue":{"value":{"amount":"+0.7070536017417908","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":"Q2134646$E66F3D82-ADA1-418A-B53F-1DD63597A89F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2134646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2134646"}}}}}