{"entities":{"Q1058586":{"pageid":1060434,"ns":120,"title":"Item:Q1058586","lastrevid":48809938,"modified":"2026-01-05T22:08:19Z","type":"item","id":"Q1058586","labels":{"en":{"language":"en","value":"Order ideals in categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3900999"}},"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":"Q1058586$3AEFAA59-90E4-45E1-9032-AEBC64374D6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7caa103121964ae4ec55f83cf38189715d24b4eb","datavalue":{"value":{"text":"Order ideals in categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1058586$108F182D-27F2-4EA1-99DE-BE491B8ADC67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"433bcd57dba0168a610b71bf90f3a386767cd856","datavalue":{"value":"0565.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$46D517D1-9D44-49A4-A2D7-4584B9F472D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0073d3af9182daadbdbe9c7edb7764755e3ebe84","datavalue":{"value":{"entity-type":"item","numeric-id":687571,"id":"Q687571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058586$F506BB30-45C8-4C69-A5F8-2C99E2A3D2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf71b35b2a24503a8c5f23b3f5e8e561a546a830","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058586$D86E28DE-5240-44EB-A12F-463D28D3C323","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1058586$2DD7D251-8A0A-450B-B347-953F0776048F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1058586$CFDB703C-A055-43CC-9924-E50364E71E2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b826181d655d4b1a1090888584ebb0827958255b","datavalue":{"value":"A regular category \\({\\mathcal E}\\) in the sense of \\textit{M. Barr} [Lect. Notes Math. 236, 1-120 (1971; Zbl 0223.18010)] gives rise to a bicategory \\({\\mathcal R}el({\\mathcal E})\\) with the same objects and with relations as arrows. This paper considers a larger bicategory \\({\\mathcal I}dl({\\mathcal E})\\) whose objects are objects of \\({\\mathcal E}\\) enriched with orders (reflexive, transitive relations) and whose arrows \\(A\\to B\\) are order ideals in \\(A^{op}\\times B\\). It makes sense to ask when an ideal from A to B has a right adjoint, and, this is shown to hold precisely when the ideal is ''locally'' principal.  By analogy with metric spaces, an ordered object A of \\({\\mathcal E}\\) is called Cauchy complete when every locally principal order ideal into A is principal. It is shown that every ordered object is Cauchy complete if and only if every strong epimorphism in \\({\\mathcal E}\\) is a retraction (axiom of choice).  When \\({\\mathcal E}\\) is an elementary topos, the Cauchy completion of each ordered object A is constructed as the object of order-preserving arrows \\(\\Omega\\) \\(\\to PA\\) with right adjoints which have right adjoints. Here \\(\\Omega\\) is the subobject classifier with its usual order and PA is the ordered object of order-preserving arrows \\(A\\to \\Omega\\). The proof is facilitated by complementing the calculus of relations in a regular category with the membership relation \\(A\\to PA\\) and its characterizing property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$8F56D254-857C-4C5C-B547-A6950465EF44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$D55CE834-CDED-4BB4-94A6-7F124C8B6CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$F9A30B96-C929-4167-A5C6-13ED0C124798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$46F1CC68-4624-49EC-8A0A-6E9BAD2152AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc0d42a8d1d1117ee34b8a00bc96162a6cc79de2","datavalue":{"value":"3900999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$41F37DA1-3D82-4013-8E3E-D152E6CDFC89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"303ea3c769fc456ca2f66898ebc5f1c17e182272","datavalue":{"value":"cartesian closed","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$8E9976A1-36A9-4F88-B1DA-47B9507E2CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"738697a020e363b52b107edad9dea2ce1356abcc","datavalue":{"value":"indexed limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$D650E77A-F1CE-488C-9281-81455009D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69e8b7f83dfc84a983c44c7ef2c5fb23ace34b8c","datavalue":{"value":"regular category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$811EBC49-C140-4FC9-80F0-EF6D018D9E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6be3bd30fa92aef645568f23989ca95a04dae5fa","datavalue":{"value":"order ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$403A7226-C737-4F7E-9BBC-A5FEE86A2B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$8AFD0A0F-7D16-4572-A56C-82A01AFF9650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90a8e51f4d9801c128054944bad82901bd7ad261","datavalue":{"value":"elementary topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$004F9D17-31BB-43CE-B663-831D52CB2284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08cb0fe557cb59a77fb0e27b39428bbdd03cbc19","datavalue":{"value":"Cauchy completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1058586$1F4908EB-CEDF-4BA4-8FE2-91B47EBF9FC8","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":"Q1058586$38019F10-528C-490F-BA03-5FE4BE77E7E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b80e759ad966e6dc32cd4c42a00ee5950bf4290e","datavalue":{"value":"https://doi.org/10.2140/pjm.1986.124.275","type":"string"},"datatype":"url"},"type":"statement","id":"Q1058586$4BAE4008-BDF3-4082-9A51-C04C770489F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc2454138df16f5ea1b00de417f2375685360578","datavalue":{"value":"W2047869525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$5CD4FC7A-2F4C-41AF-AFC0-C7A1E68B6997","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6dde5687051da6338aba1948ee92a27e1cdd05b4","datavalue":{"value":"Q56687254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$E6912748-40DD-4C5E-8782-EC124056518C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f96e932530114ccf34c40b1cf70973d4b027ba2","datavalue":{"value":"10.2140/PJM.1986.124.275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1058586$B9C7B91F-C6F7-4A60-910C-75F14AA70742","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319a8a29da4965001c39e08a6f97138c272437df","datavalue":{"value":{"entity-type":"item","numeric-id":2078381,"id":"Q2078381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79db0a0d4a5e88b1483d1422ba7a21b38a1977f","datavalue":{"value":{"amount":"+0.776770293712616","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":"Q1058586$782AFDD8-B302-46CD-B041-FD936E256B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b7de8e60a164a6244a72b60e76ec2446d3446b","datavalue":{"value":{"entity-type":"item","numeric-id":1105688,"id":"Q1105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9d3ce1c7d1f910c76fa4554cec52da400f7a66d","datavalue":{"value":{"amount":"+0.7613567113876343","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":"Q1058586$F36CD086-B055-4B07-975B-757BBBC734CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17c90ad31586f84162f01838dfd557d1d8a88d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4953035,"id":"Q4953035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54078e820d0f82c2a4ac27132beb8454925f7a6e","datavalue":{"value":{"amount":"+0.7609035968780518","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":"Q1058586$C982ADE4-9D3E-46B8-A79C-4B0FD713E288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9b3aaf17c60324c679a543e87bdb6a8dcef7e0","datavalue":{"value":{"entity-type":"item","numeric-id":1380046,"id":"Q1380046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462b0f38278aa06bb02426aecb265e9d3f00ad8d","datavalue":{"value":{"amount":"+0.754160463809967","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":"Q1058586$E21A706A-6A33-41D3-AB75-6C283D01A686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926626c54d98b7a503ddff5984ebe98e43b6e660","datavalue":{"value":{"entity-type":"item","numeric-id":4226769,"id":"Q4226769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462b0f38278aa06bb02426aecb265e9d3f00ad8d","datavalue":{"value":{"amount":"+0.754160463809967","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":"Q1058586$94E68EC6-9074-43FD-8945-073A6BF836D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1058586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1058586"}}}}}