{"entities":{"Q1917385":{"pageid":1928127,"ns":120,"title":"Item:Q1917385","lastrevid":82323551,"modified":"2026-05-06T20:37:51Z","type":"item","id":"Q1917385","labels":{"en":{"language":"en","value":"Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897484"}},"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":"Q1917385$62CE1EF8-2A4B-4DF0-B125-85A037B89943","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bf57135931bb657fd91ab8eebb537c15cd8d354","datavalue":{"value":{"text":"Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917385$D3C9BC03-B172-41EF-A9DC-D2502FB1FC30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58fa5e70adf5dcf764745363f962c7c412b15d82","datavalue":{"value":"0852.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917385$9D320E82-4228-4DB2-82D0-218F8EE20E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"235919390a96da4d440e0518ac598b6ceddb65e2","datavalue":{"value":"10.1016/0022-4049(94)00024-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917385$DDECE523-A636-4610-9E49-592514EF39E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a848b849217387148155e5cbfd1bc1ab65820e7","datavalue":{"value":{"entity-type":"item","numeric-id":678848,"id":"Q678848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$534A54B9-7BFA-465E-AA5B-F4CD1682241D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8e6e160c9baba639980911ccd4e660ac6f68d84","datavalue":{"value":{"entity-type":"item","numeric-id":678849,"id":"Q678849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$5798D622-1342-4CB2-A386-5F701B88A5F9","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":"Q1917385$7C86AC58-4219-44CF-8FD5-D05EEEB392D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38641fba513658356dcf4bc7db66e11938c88f52","datavalue":{"value":{"time":"+1996-09-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":"Q1917385$A68BEEF7-7542-422F-BD28-FD69BDB5AE69","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25a73f30b0b8fd55307846d72dec35ad94be486a","datavalue":{"value":"\\textit{S. MacLane} [``An algebra of additive relations'', Proc. Natl. Acad. Sci. USA 47, 1043-1051 (1961; Zbl 0123.01102)] gave the first formal approach to categories of additive relations. It has been shown that these are essentially equivalent to bi-allegories [see the book of \\textit{P. J. Freyd} and \\textit{A. Scedrov} ``Categories, Allegories'' (1990; Zbl 0698.18002)]. \\textit{G. Hutchinson} [``Representations of additive relation algebras by modules'', J. Pure Appl. Algebra 42, 63-83 (1986; Zbl 0596.06009)] introduced other axioms together with a significant representation theorem. Part of this axiomatic is also equivalent to bi-allegories. In this paper certain clarifying results on rectangles and the reflexive in allegories are shown to give the expected bijection between the coreflexive and the reflexive in bi-allegories. New categories are used as targets of image functors. The results of these image functors for bi-allegories can be deduced from those of image functors for normal allegories.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$13E04E39-14C8-43F0-AAEE-BD5961299A12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917385$19FA6B07-8FC0-4729-94A1-E18F3AC56463","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add6a06102439556df323735526bcdeed81c6026","datavalue":{"value":"897484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917385$64B08C03-6D96-4FC9-932C-39FEA8159F27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fff1c9dd3b409af2522ab9d3390286729abdf18e","datavalue":{"value":"infix","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$A1BEEED3-ADFD-4472-B746-9BD136C861F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c856e9cd044be28d88c5f7fa8d75f57259c8412","datavalue":{"value":"rectangle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$4CE0375B-B530-4409-AE3E-DB0265E81D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8bf180b0fa76fe067513fdfc15b5255ce2b832","datavalue":{"value":"square","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$55F64255-39AC-44C3-A85E-616F1DE3F9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36f4bf442f9e75c246eb710541759e0a609c015b","datavalue":{"value":"HypoLog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$1F00DAB6-8F74-44A5-9846-7B264C32054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82071c39b551ea1c1bc2dc2e01ce21d9789178de","datavalue":{"value":"PreLog","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$D8E39B9B-4495-40CF-BB42-118A18561C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbf731dd9e4df92644930ae51ae15479aebfea1","datavalue":{"value":"additive relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$66BF31B2-8FC8-48A7-A3AF-D72737719F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77b4cc522b8e01c662e34f5f5b1cf64c2cb165ed","datavalue":{"value":"bi-allegories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$71269613-A60F-4FD2-931E-216BD40B8E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$6118004F-B378-46CD-82BC-4D8602C2DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d96e3d74138447af545d0cb2d3866006bca24c","datavalue":{"value":"rectangles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$7150A0A4-53BC-45CB-9E75-B2483282B1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949944d99b487fcffb9ba96fbe0489ace9b9d127","datavalue":{"value":"coreflexive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$AAF829EC-721E-4DF8-BD31-2D2E2B17A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d231371d8c3fc8924268d54e482fa6081a736d6c","datavalue":{"value":"reflexive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$06A82F83-44E5-4B23-956A-81B8FFE46156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40a28e1cd9247736d38c67063825103d224366b8","datavalue":{"value":"allegories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917385$A906ED3D-7F1B-42A8-8930-9A35673E4F92","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c407c146e22bc899f15f444b2bc529d316d36c83","datavalue":{"value":"Q114685095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917385$B04DAD83-8431-4348-9B06-4AC370DEE387","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$1E9E3824-41B1-4879-8E59-0BF28FF3899B","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":"Q1917385$A96832C1-84BF-45BF-B4CE-AE17E5C96D4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aadacf748aba1333c9873ea867cfb129579a2ee8","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)00024-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917385$E0526EB2-37B8-4375-94AD-B9756DE32D6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d701cf76b90887eab6e519dc00d43348ccc44f91","datavalue":{"value":"W1969404180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917385$9FE149D8-E8DF-4E65-B328-066EC5522D12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$DB6E2D89-B824-4D78-B42C-68E71A1B25BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec523e0f58f83b60d871d4f3e5da0ca1f0c8ed1","datavalue":{"value":{"entity-type":"item","numeric-id":1078216,"id":"Q1078216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$9340E491-DFEF-49CF-AA6A-C03EED714A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a172e48c61bbb704608cbf2fc0bf84a51a3ff5e","datavalue":{"value":{"entity-type":"item","numeric-id":5735219,"id":"Q5735219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$6FF48CEE-3C72-42E0-A763-B2E42502973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a467544404fe6d50e225e2430d156425894e9b0","datavalue":{"value":{"entity-type":"item","numeric-id":3879418,"id":"Q3879418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$C95B69B7-D37C-4297-84A1-A4272E7EAA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e88575255e5fe041e33939cc0e5076908d18c9","datavalue":{"value":{"entity-type":"item","numeric-id":3329627,"id":"Q3329627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$DA92E868-98DA-4011-A373-0F43DED116CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23859aec3022b81b57dce6f71c45aa05eaca9392","datavalue":{"value":{"entity-type":"item","numeric-id":1914508,"id":"Q1914508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$5D7318C2-2E6E-491C-81B8-AD357311F3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f360a7714ff96230984102a4a7f6ffacdba77bb4","datavalue":{"value":{"entity-type":"item","numeric-id":1130919,"id":"Q1130919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$81B994C0-7927-4C47-87E1-53FA8ED2BB86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39fdd05a38cec04d9a923f273e3f102e9f8cc8c","datavalue":{"value":{"entity-type":"item","numeric-id":1836753,"id":"Q1836753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$A0EC3235-3D38-4B82-930A-47F0F3D2CD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9bfadacb56b1613b5b4d8ee87773d55810e9b3","datavalue":{"value":{"entity-type":"item","numeric-id":2560464,"id":"Q2560464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$C96722F4-AAC8-421D-9C7E-DBDA7103238A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80aa4da02c0510e05e1178bcf4a4816f7eed64f8","datavalue":{"value":{"entity-type":"item","numeric-id":4106720,"id":"Q4106720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917385$DCE1E0B4-2CE3-4D83-85F3-D720A59C3BE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"937525a8433317a46bcce307dd38012a4f9d6e9e","datavalue":{"value":{"entity-type":"item","numeric-id":3329627,"id":"Q3329627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f71d1c82466170d3f0cb2f60ce6492dc292b2e","datavalue":{"value":{"amount":"+0.7265609502792358","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":"Q1917385$0F547F85-11BF-43EB-BAAE-99AB0696543C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee8cb870cc26e22fd211f64622272c4a72d9369f","datavalue":{"value":{"entity-type":"item","numeric-id":2345058,"id":"Q2345058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa43d5f401f786e096d4f5cd08358f4d065813e","datavalue":{"value":{"amount":"+0.7019533514976501","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":"Q1917385$FD2AE5B6-8FB9-4F24-9776-A27F22BCC280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9b25fe3a8c1210e0166bd92c3fcac079b0441b","datavalue":{"value":{"entity-type":"item","numeric-id":4925034,"id":"Q4925034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a88f35ffe5cbc62e9f863f82b8781c18b70828f","datavalue":{"value":{"amount":"+0.6999300718307495","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":"Q1917385$E42EAD39-CF7B-486B-B8CA-E59474739610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4410b56fb177e423bdd6d5801e3d527a869dfec0","datavalue":{"value":{"entity-type":"item","numeric-id":1078216,"id":"Q1078216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdac87f1d0056bb07f91d906c26cc7e22566d79","datavalue":{"value":{"amount":"+0.6989023089408875","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":"Q1917385$F1FB3FAA-BA64-4BBD-8380-5BA8B7D2E7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e1b20c0cd090915e86c6f475d5042828637b9f5","datavalue":{"value":{"entity-type":"item","numeric-id":3460621,"id":"Q3460621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510c5c19119112d41e6d090e68b65866a0d28f21","datavalue":{"value":{"amount":"+0.6985955834388733","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":"Q1917385$B44793B0-1E7A-427C-BE03-F2EFC784C7AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Additive relation categories or algebras: MacLane, Hutchinson axioms and bi-modularity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Additive_relation_categories_or_algebras:_MacLane,_Hutchinson_axioms_and_bi-modularity"}}}}}