{"entities":{"Q1121303":{"pageid":1132052,"ns":120,"title":"Item:Q1121303","lastrevid":66802176,"modified":"2026-04-12T12:57:50Z","type":"item","id":"Q1121303","labels":{"en":{"language":"en","value":"Preservation of bi-endomorphic composition by categorical reflection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4103157"}},"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":"Q1121303$2E9E8F63-F6C4-4731-91FE-C51DBDFB50A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a88dc2363da5b5b046daa3f65911b23941da3c97","datavalue":{"value":{"text":"Preservation of bi-endomorphic composition by categorical reflection","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121303$CC1515DE-32E4-4610-851B-1575665B3F4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3118d0dde6cdc7c7362b4f0780ba4339466bb9a2","datavalue":{"value":"0674.08006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121303$9A3F6FB8-9D92-4222-9B86-BC26B55C383C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09393ad58a396409fdb15661d3c2779e2ab020fb","datavalue":{"value":"10.1007/BF01236862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121303$0D80FC19-08D8-4552-89DF-0126AFEEBB22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8160cd73c52f12b156dfe5f344d0b1a2631efa21","datavalue":{"value":{"entity-type":"item","numeric-id":188194,"id":"Q188194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$CFE9E218-F94B-4977-99B9-5D989BB40A1C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$ED571B5E-AD4C-4A2A-B6D0-8CBC309CD985","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121303$E0B30FF4-48BF-449C-8CC7-40ABFB6C7BBE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5304e18b0a484ce2b0c826374ea6fbc58ec61abf","datavalue":{"value":"Given a concrete category \\({\\mathcal C}\\) over Set (with forgetful functor U), a bi-endomorphic composition on a \\({\\mathcal C}\\)-object A is a binary operation on the underlying set U(A) such that both exponential transposes \\(U(A) \\rightrightarrows [U(A),U(A)]\\) factor through the hom- set \\({\\mathcal C}(A,A)\\). If \\(\\bar {\\mathcal C}\\) is a (full) reflective subcategory of \\({\\mathcal C}\\), one may ask whether the two compositions \\(U(A) \\rightrightarrows {\\mathcal C}(A,A)\\to{\\mathcal C}(\\bar A,\\bar A)\\) factor through the underlying map of the universal morphism \\(A\\to \\bar A\\), and if they do, whether the resulting functions \\(U(\\bar A) \\rightrightarrows {\\mathcal C}(\\bar A,\\bar A)\\to [U(\\bar A),U(\\bar A)]\\) are in fact the exponential transposes of some bi-endomorphic composition on \\(\\bar A.\\) The author uses this approach to compare reflections in categories \\({\\mathcal C}\\) and \\({\\mathcal C}'\\) of partial algebras and domain-preserving homomorphisms, where the \\({\\mathcal C}'\\)-objects are \\({\\mathcal C}\\)-objects with an additional total bi-endomorphic composition. In good cases, the reflection in \\({\\mathcal C}'\\) reduces to the reflection in \\({\\mathcal C}\\), thus eliminating the need for a separate construction. As an example, the relatively free \\(\\Sigma\\)- ring can simply be obtained by forming the corresponding relatively free \\(\\Sigma\\)-group.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121303$8B0173D9-1FDE-4A8D-97D1-F0DF82872C77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121303$1A805E86-9477-4E12-8B19-F3C8C5567713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121303$DFCED4B6-9CB1-432C-9AB6-D4196E4399C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eacc967a24b96a42cc71acfc7c6fec22dc82709","datavalue":{"value":"4103157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121303$4F8D6CD2-9FE0-4640-9814-625D60D21DDB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb7b6eaec672170aa316248b3f1bb93e3fa8143","datavalue":{"value":"reflections in categories of partial algebras and domain-preserving homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121303$46BEE8F5-44FA-46A9-BF19-4E22783C1E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431d008fd3d8c1deea68a30791c64182e5a2baa2","datavalue":{"value":"bi-endomorphic composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121303$0BE6386B-77F4-4664-81DB-290D24C8C267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de3c451a94f85b0129e665bad4dcd149ae6f52c6","datavalue":{"value":"exponential transposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121303$DDDCA119-F13C-4663-AB3A-42E22E78AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3506364b11869e59a0b9a7db91acdfcb31fd4df","datavalue":{"value":"relatively free \\(\\Sigma\\)-ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121303$575BC9E6-DB61-4E8F-A6C2-C4BD7353965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fc166b9554fcaaad15f63c28124bb12b222ae21","datavalue":{"value":"relatively free \\(\\Sigma\\)-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121303$FEFEC987-C1CF-486D-84C1-4633E3EF5534","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a8de95ec82acc344b9b397e962636896e8ffb712","datavalue":{"value":{"entity-type":"item","numeric-id":173924,"id":"Q173924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$0C5690E5-9BD7-4353-B9BD-401A317FD25E","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":"Q1121303$905F1DED-C513-4235-90BF-AF7F6D2C1DFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e12f646052b25bd0f23aae314323a907419315b","datavalue":{"value":{"entity-type":"item","numeric-id":4750692,"id":"Q4750692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$82DB3BFC-DAB8-4FCF-8321-4F9CD2B4074D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$31C8294E-7ABF-4A1C-B15E-3C612BE45CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b099b2dabc4703b0c686b83e1dcb834018d5c10c","datavalue":{"value":{"entity-type":"item","numeric-id":3216847,"id":"Q3216847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$A4F64EEC-A610-4412-BA3D-4676788D0A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"188a3faa7ecd644f8aebb747b896b8081dbb22ef","datavalue":{"value":{"entity-type":"item","numeric-id":2529972,"id":"Q2529972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$EECA3A58-E2F1-430B-90D5-7676A1E4428A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3a5e67788d7eae1ac322f714364544d27a2156","datavalue":{"value":{"entity-type":"item","numeric-id":5523691,"id":"Q5523691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$BECC41B8-EDA2-4FE7-990B-CD287BC30855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce973fb94bb1c7e17bec7452c2f943e4f111d46","datavalue":{"value":{"entity-type":"item","numeric-id":5768906,"id":"Q5768906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121303$F62CC025-7E49-44AB-8D09-446E4521FB45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b43b3bd64493a1453638defdd81b38d09ce6525e","datavalue":{"value":"https://doi.org/10.1007/bf01236862","type":"string"},"datatype":"url"},"type":"statement","id":"Q1121303$B81AD0C5-3585-4E56-AFE5-B62591877813","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"caebab68d38112abd1bc7725edb8db56d14f989c","datavalue":{"value":"W2005907250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121303$962C484A-6B61-4CE0-9994-33B69775F0D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de18cec073438c9c4f696d79f3e09e55aa8e508d","datavalue":{"value":{"entity-type":"item","numeric-id":505377,"id":"Q505377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3d414fe3b50e7e6c940a685a555d2c03772fd8","datavalue":{"value":{"amount":"+0.761239767074585","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":"Q1121303$7CFE7CF6-ECE1-4F46-908B-00AFF963029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4152aeab1c1340809b8a46d92b7231a118a63a9","datavalue":{"value":{"entity-type":"item","numeric-id":3220728,"id":"Q3220728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aaf9fd6d93923d5eabd73a1275d7e538a02db7d","datavalue":{"value":{"amount":"+0.7412129640579224","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":"Q1121303$7611A27F-F9E4-4804-AC04-59B2C4669BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d756ffe987dc2c9de9b36b8e7cccdc809039c24f","datavalue":{"value":{"entity-type":"item","numeric-id":5488089,"id":"Q5488089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3755829bb2214689e4a8726f8d601a6d8f7a33a","datavalue":{"value":{"amount":"+0.7347834706306458","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":"Q1121303$D0F9BB55-8D3F-46B6-BCCB-0EF8CB410E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6663fa0144be134a6da34a680107dd0d2866d3","datavalue":{"value":{"entity-type":"item","numeric-id":1360364,"id":"Q1360364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec28a7b38a80443c0d804e41a4f71280f820e9d9","datavalue":{"value":{"amount":"+0.7343868613243103","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":"Q1121303$26A140D1-8D0D-4952-86B5-06F01E2E7A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b1ab54e414adeb1058afce525f961115df97df","datavalue":{"value":{"entity-type":"item","numeric-id":3714247,"id":"Q3714247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60d0d7a55d22b4baecb0bdee23fbd0badd6b9d0","datavalue":{"value":{"amount":"+0.7319231033325195","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":"Q1121303$1A961DDE-B663-4040-ACD6-B8E6BA14D167","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preservation of bi-endomorphic composition by categorical reflection","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preservation_of_bi-endomorphic_composition_by_categorical_reflection"}}}}}