{"entities":{"Q2756989":{"pageid":2767728,"ns":120,"title":"Item:Q2756989","lastrevid":47705197,"modified":"2026-01-02T11:53:22Z","type":"item","id":"Q2756989","labels":{"en":{"language":"en","value":"Closure operators in exact completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1675587"}},"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":"Q2756989$B261D7F3-DDFA-467F-A0B6-CBBBD0B7C2BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dd883246790b5d8f004cd281975394b2893ff45","datavalue":{"value":"1005.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$19CC7626-FF86-4A6E-A715-5545168AF46E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c41960629e6801795f7680c0855722f9188b4648","datavalue":{"value":{"time":"+2001-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2756989$3159696F-5C61-46DF-B69C-5659F5658413","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e223fedd5a46d8c36d0f1ec1424ce3f478eac88f","datavalue":{"value":"https://eudml.org/doc/122369","type":"string"},"datatype":"url"},"type":"statement","id":"Q2756989$F4497AE6-BF9E-482B-81BF-C8BE0ACEB341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"86fe3d8834c3ca93b15ca54df9bcdf0ed2bff2c5","datavalue":{"value":"http://www.emis.de/journals/TAC/#vol8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2756989$DC8BEA76-E4DE-40AF-87B1-5B8A3A419670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$16ABA68A-9E2E-40C9-B78A-1E3E0EC85742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$40E79C70-383B-41D5-B620-287861BEDE03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$4A7869DD-6260-4501-AF4C-6E929D3C675B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"236f8dc644a7bd6fe263e5304b58c4d554297222","datavalue":{"value":"18E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$CB3D2228-24B7-4AB6-8FF9-CA5036846CB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ff73419b84deac8d5f3b3176415a38e678a3028","datavalue":{"value":"1675587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$E8CDB028-5065-4D2A-8412-89FE1B59D63F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$F8365C79-62F5-4397-BB94-3B22D0D900D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445b5b7cea4001cbfeff4459f0c79215e709e494","datavalue":{"value":"universal closure operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$8EB429C2-B408-46F9-85C5-9510AB137DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aa9fcbd814a5f6f465278ce2f08cd15333167b2","datavalue":{"value":"Grothendieck topologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$6A97C255-78D6-46AB-AE3F-C71BEB210BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9fde900a5a1549693a76b36e6551f385df8b5f5","datavalue":{"value":"separated objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$E245218A-7C21-4399-B8D1-32D933ED8B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e23e8eb8c5d615e76c48678fd53ac72f752a7f3","datavalue":{"value":"exact completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$AAF6659F-CE69-4102-854D-EF02706F9D17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee054c8c42d187b49f517e71febcbe6c612fa4d","datavalue":{"value":"sheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$20285E77-E010-43A8-8F04-3D93046FEA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1eccf9e25ae1d0e9c14b5fc4783034dce9d3e5b","datavalue":{"value":"Higgs-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$004B40E1-E7C0-4279-98F8-40362322900F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"231ca150b90877eeea38ec2ef070c4d501d6a61a","datavalue":{"value":"local Cartesian closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$074F0CCF-5F10-4B48-B1F9-37FD65186FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ad6e4559ccab67ba9ba005e7d3b54154a8b5f11","datavalue":{"value":"complete equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$87D9D2CB-351F-4CA6-AEE5-AA57FAF7DE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7425ab80444428470f658c44537ca8976f51c07f","datavalue":{"value":"topi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$3A138F1F-A616-4F05-ADEC-62CA824B035E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab32c1f90131ab1a3fd8f83a8169013b996be532","datavalue":{"value":{"entity-type":"item","numeric-id":1681851,"id":"Q1681851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2756989$B5E7AE02-346C-4BB7-B46E-B72FFC62357F","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":"Q2756989$C71D8A5E-6643-460A-B831-DD661A932500","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"8f4c9d3b89990fc8156f58962f68ff2a2e08891c","datavalue":{"value":"bafkreih5nzabaqe4cinmlil7rxx6xtayzshar7d2yrc4lgndredb3k3hoa","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2756989$AA6E6AE1-13D9-472E-8EA3-99154F076082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b80e3f0acba1b7526034a2ffa102d7e974395c26","datavalue":{"value":{"text":"Closure operators in exact completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2756989$996C2391-3017-40F9-ACDE-F4661811011A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"06b1e008340f04c1e2c29991be66793881c442d7","datavalue":{"value":{"entity-type":"item","numeric-id":6499416,"id":"Q6499416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2756989$ACE17974-491A-44CB-B629-66CF6B19D659","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f1967c927071b87aeb1672bb50f5c6d5080a956","datavalue":{"value":"It is well-known that for a small category \\({\\mathcal C}\\) the universal closure operators on the presheaf topos \\({\\mathcal S}et^{\\mathcal C}\\) are in correspondence with the Grothendieck topologies on \\({\\mathcal C}\\). This provides a framework for investigating separated objects and sheaves. The article under review explores these ideas in the context of exact completions. The reader will not only need familiarity with topologies, separated objects and sheaves, but also with regular and exact categories and completions.NEWLINENEWLINENEWLINEThe author proceeds to develop the notions of a topology on a category with finite limits, separated objects, canonical topologies, and sheaves. One of the main results of the paper establishes the equivalence between the following categories where \\({\\mathcal C}\\) is a regular category and \\({\\mathcal C}_{\\text{ex}}\\) 2) denotes its exact completion: 1) sheaves for the canonical topology on \\({\\mathcal C}_{\\text{ex}}\\) the full subcategory of \\({\\mathcal C}_{ex}\\), given by the complete equivalence relations, 3) the full subcategory of \\({\\mathcal C}_{\\text{ex}}\\) given by the Higgs-complete equivalence relations.NEWLINENEWLINENEWLINEThe last two sections of the paper discuss local Cartesian closure, and complete equivalence relations and toposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2756989$EAB64B34-A59F-4DCC-BE89-EDF111A598F9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39b02d015f14d620a5308a1f38b65d3e56d13be9","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2756989$39E8ED17-8D73-4AD2-A527-1617C9290858","rank":"normal"}],"P1643":[{"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":"004f09d2339ae7b98eb1c66cd5903e5135b8571f","datavalue":{"value":{"amount":"+0.8016003966331482","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":"Q2756989$26A1338E-48BB-4016-8AF9-91CCD8133CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3894cf968bc593969bf6c9d33f3f95afde4b3243","datavalue":{"value":{"entity-type":"item","numeric-id":1124976,"id":"Q1124976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3263d424a7e63a3a7ce5fffcad9b48d0175bd6e7","datavalue":{"value":{"amount":"+0.7727499008178711","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":"Q2756989$1648A2C0-CF1C-4452-A826-1BA8649CE97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"783d2589bc9da763b9ee59dc7017212163443a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2184801,"id":"Q2184801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd170fd32f7af8d31092c9cea45e1d909b564b9","datavalue":{"value":{"amount":"+0.7711830139160156","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":"Q2756989$9405B1B8-DCB8-4894-8C22-F98B0C223D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6051c3ade102904ac14df9f6942ce4045acedd","datavalue":{"value":{"entity-type":"item","numeric-id":4718482,"id":"Q4718482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecbeeb92b8154fd73417091679f4ecdc14f759d","datavalue":{"value":{"amount":"+0.7702223062515259","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":"Q2756989$584C1A02-0CA1-49AB-9260-CCA9E51C15FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fba6fb445e253e74a9a42d6b2839036e54b7991","datavalue":{"value":{"entity-type":"item","numeric-id":2432577,"id":"Q2432577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea43ca9d86d441883db4497492df409c8d08fd0","datavalue":{"value":{"amount":"+0.7699278593063354","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":"Q2756989$BD597206-764A-4CDA-BCA8-6028CE9BCE14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2756989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2756989"}}}}}