{"entities":{"Q645209":{"pageid":647058,"ns":120,"title":"Item:Q645209","lastrevid":51361919,"modified":"2026-01-17T22:34:39Z","type":"item","id":"Q645209","labels":{"en":{"language":"en","value":"Closure operators and their middle-interchange law"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5969494"}},"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":"Q645209$F0292EB4-F718-4861-BDD5-B52B523F1CE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d80dcd947ac963da0e89751f4f3c6ea0cd26412d","datavalue":{"value":{"text":"Closure operators and their middle-interchange law","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645209$728B339E-F115-4EAC-B7AF-F248404467C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e5fa6672e1ed35d21ab6242fd3bc8b6f501923e","datavalue":{"value":"1231.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645209$B0037CDD-867B-465C-9C4B-E44FA594A74D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"399d16b20c2e0544638ddc885ece23e0107e4491","datavalue":{"value":{"entity-type":"item","numeric-id":173922,"id":"Q173922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$B68F4F6C-AF58-48E8-A1DD-B55DCC3C982E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"caed9871dffabe010c529575fe8b7c33d0847d94","datavalue":{"value":{"entity-type":"item","numeric-id":161372,"id":"Q161372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$841D556E-053F-4FED-BF9F-3E6BEC56E543","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97a2a7f718152fb114133f4e0547b811f82bed7b","datavalue":{"value":{"time":"+2011-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645209$CAB6FF27-8AB7-4ED3-9903-61812DBD4FA6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"448338d7d64e6000e01dd7d67e501d6d128cbb00","datavalue":{"value":"Let \\(\\mathcal{M}\\) be a left-cancellable family of monomorphisms in a category \\(\\mathcal{K}\\), containing isomorphisms and closed under composition with them. The paper first proposes a new definition of a closure operator on \\(\\mathcal{M}\\) as a (well-) pointed endofunctor \\(\\Gamma : I \\to C : \\mathcal{M} \\to \\mathcal{M}\\) on the corresponding full subcategory of \\(\\mathcal{K}^2\\), with cod \\(\\Gamma = 1_{cod}\\). Equivalently as a copointed functor \\(\\Delta : \\widetilde{C} \\to I : \\mathcal{M} \\to \\mathcal{M}\\) with dom \\(\\Delta = 1_{dom}\\). This encompasses the definitions of Dikranjan-Giuli and of Bourn-Gran, avoiding the conditions of existence of direct or inverse images on the category \\(\\mathcal{\\mathcal{K}}\\). The two compositions of closure operators \\(C\\) and \\(D\\) on \\(\\mathcal{M}\\) are now defined uniformly as \\(D \\cdot C = DC\\) and \\(\\widetilde{D \\ast C} = \\widetilde{D} \\widetilde{C}\\). \\(C\\) is idempotent (resp. weakly hereditary) if \\(\\Gamma C\\) (resp. \\(\\Delta\\widetilde{C}\\)) is an isomorphism. The author proves the lax middle-interchange law  \\[ (C \\ast D) \\cdot (E \\ast F) \\leq (C \\cdot E) \\ast (D \\cdot F) \\]  (for closure operators \\(C,D,E,F\\) on \\(\\mathcal{M}\\)), and that it holds strictly (i.e. the inequality is an equality) for all cases with \\(E \\leq C \\leq D\\) iff \\(C\\) is idempotent and weakly hereditary. A closure operator of \\(\\mathcal{M}\\) in particular provides a factorization of the morphisms in \\(\\mathcal{M}\\); the author intends to present a middle-interchange law for general types of (weak) factorization systems in a sequel of the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$803B0516-FED7-400E-BACD-B637E007C315","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ac53b3d8ea831a008f6edc0617972e2b6304397","datavalue":{"value":"18A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645209$D311288E-C06C-49E6-B6C4-044DB2EA5B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645209$1A56AED5-C2C7-48D7-96D0-4C951DEF533B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8e6bb9987a2a31b7a8922567c1a535c218f9c5f","datavalue":{"value":"5969494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645209$F246706A-219D-4956-8786-97A9BF2B94A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e380a2a6740bc99767f3f0b2622e9050c075ebb2","datavalue":{"value":"closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$BD990B3A-F1C3-4022-B871-D6645CA0D580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd57cd85e96657ea5e4c1c4ee1cc0b5599dfeeb","datavalue":{"value":"composite","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$448BE88D-9B8B-4C96-816F-5E8D81F66968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57aaf4e54dc05e3e7e3b43b204e55e33e091fbf5","datavalue":{"value":"cocomposite","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$BC124B89-8F3C-4106-ADBD-379499450BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b06a59c6bd29cc2d4b96d9562351fe9c1e6a0c","datavalue":{"value":"idempotent closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$072BF381-932C-4599-88E9-9521D4814409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a79f7e4835014037cce544e069a5426acdafe7","datavalue":{"value":"weakly hereditary closure idempotent","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$BDC0B08F-0D57-40A3-A1CF-7C0267360345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75bd425eef90fa1fe33953455c244a6144acdef8","datavalue":{"value":"middle-interchange law","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$77489CA9-3791-4F47-A87C-79E50294AE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f897f8dd0f7437cc77db7edf66ffdaddb9fa71b6","datavalue":{"value":"weak factorization systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q645209$3328D9F8-1994-4388-BC2B-34FFE018F20D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db3a1994945c9059c27b37df87c537414d98edd9","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$958A328D-1057-4B78-914F-911C08734203","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":"Q645209$4716ED3F-F9DB-462D-AB40-598F089AFE68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5884d377e4f109fea1e829e9dd96cfb4027aebb2","datavalue":{"value":"https://doi.org/10.1016/j.topol.2011.04.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q645209$58A3EF8C-0DEA-4A1C-A5B1-383DA0F5143D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7003453a7e9108d4ef9cc89fdbdc2e14a52ef7bf","datavalue":{"value":"W2016727077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645209$415C2D8C-8970-4B33-8D37-E8E56FF9C21D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdcbd418fc6e8508ddd38605517005cb17395dc","datavalue":{"value":{"entity-type":"item","numeric-id":854888,"id":"Q854888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$BF81B543-E917-4A51-806E-D51C97D17418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de04a65b7794e06d59b5a221c5e9852d7ed7f673","datavalue":{"value":{"entity-type":"item","numeric-id":4419473,"id":"Q4419473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$AA520ADE-9423-4E33-B55B-95917DBA8681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff6bb1bc1751650095a7d1d86f0dc7108685873","datavalue":{"value":{"entity-type":"item","numeric-id":854892,"id":"Q854892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$72756B4A-D59A-4CC8-83CD-58A2B74A1BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00db90a451824fd521c510780b8838c164a4cd47","datavalue":{"value":{"entity-type":"item","numeric-id":3130029,"id":"Q3130029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$62CA9EE5-DBA6-4A52-B6E8-92D0B8B1D0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764a60553eea2752472f1ba7eccbd3b4aa14b804","datavalue":{"value":{"entity-type":"item","numeric-id":4464694,"id":"Q4464694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$4CDCB2EF-BF7F-42B4-A65D-18D2D9F4F4EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b3f2a8490484ad5801e62abc7468edb8ec6948","datavalue":{"value":{"entity-type":"item","numeric-id":1096915,"id":"Q1096915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$1B2FC089-D9DB-45A9-A520-DC9B5F720591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222827e8aa1db3c280c41f5a6e451134e172c794","datavalue":{"value":{"entity-type":"item","numeric-id":4859897,"id":"Q4859897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$A2887735-D39F-4383-A5E1-8403707AE400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ff532e8f7c9661a9505e4be8bdeefaf74ff27f","datavalue":{"value":{"entity-type":"item","numeric-id":3877834,"id":"Q3877834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$A4186E72-E87E-4FAD-BDEF-F0F26B748FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7359713dc9dfeaee81a46ab306a1d2aea1c1212c","datavalue":{"value":{"entity-type":"item","numeric-id":645209,"id":"Q645209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645209$1C9A4944-6438-451D-9F6E-73911265A285","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f818caad280168ec7abfeb72a42b3055a580a8aa","datavalue":{"value":"10.1016/J.TOPOL.2011.04.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645209$BD0625A7-DD07-4056-8573-D9A7DC080229","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4f2695a3df7c1efefa5ed182db68c24fb244ae6","datavalue":{"value":{"entity-type":"item","numeric-id":1096915,"id":"Q1096915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacb38d9225ca0f3a3e71787c9e54bb64579eec0","datavalue":{"value":{"amount":"+0.7640931606292725","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":"Q645209$703C9F18-C1CB-4C6A-B1BF-A190586FEC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a18afb305d05df5be309cb737f032a9bf123fe8b","datavalue":{"value":{"entity-type":"item","numeric-id":4837719,"id":"Q4837719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89761343f72e53ed96ed2e3ff77c941336903f76","datavalue":{"value":{"amount":"+0.7622454762458801","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":"Q645209$75B01625-E68F-4286-A0C8-CCA82BC35F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518e122ecea61ef1367cca00ebab5dfa56b7f209","datavalue":{"value":{"entity-type":"item","numeric-id":5956934,"id":"Q5956934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c8298f460a821d9df1c342121feed4f571f769","datavalue":{"value":{"amount":"+0.7490649223327637","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":"Q645209$CB234E18-5DAE-4A3F-B4B6-49D519643CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"098fde0971ec450c0f9de51c6e45440f3ce80619","datavalue":{"value":{"entity-type":"item","numeric-id":5496510,"id":"Q5496510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9c8298f460a821d9df1c342121feed4f571f769","datavalue":{"value":{"amount":"+0.7490649223327637","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":"Q645209$A87E2913-8632-403D-8301-1B3FADC3D9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7fb86f6e52d80d29582429e050b4df259f838","datavalue":{"value":{"entity-type":"item","numeric-id":2515618,"id":"Q2515618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f171d5f1ce7674575e8bb6f739cd8650a6d53559","datavalue":{"value":{"amount":"+0.7441205382347107","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":"Q645209$9B35C0B1-30A4-45CB-BD53-33A509EE2330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:645209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:645209"}}}}}