{"entities":{"Q6945780":{"pageid":21178257,"ns":120,"title":"Item:Q6945780","lastrevid":75963954,"modified":"2026-04-22T08:16:41Z","type":"item","id":"Q6945780","labels":{"en":{"language":"en","value":"Connectedness through decidable quotients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8077249"}},"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":"Q6945780$A80C6BE6-12AC-4D13-840B-D9EB6E237303","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac99f21e5fa71ab0becbaad922bbd9b220f91cf3","datavalue":{"value":{"text":"Connectedness through decidable quotients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6945780$20C76D4C-72B3-40A8-BDC2-D06560814684","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"242397fb35e5ccb1e35a9026283632f8f7e0d8a3","datavalue":{"value":"1569.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6945780$5B97A102-F8C2-4473-B6A1-AE151DE7BB03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f5c91c5a261ae1cec67225cebe7ef4202655a91","datavalue":{"value":{"entity-type":"item","numeric-id":6327214,"id":"Q6327214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6945780$3DF0EBE7-ADFE-48F8-B17A-EF74C137132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b4247fd0bc4d6191e4633cd719c3625e1cc6b","datavalue":{"value":{"entity-type":"item","numeric-id":472107,"id":"Q472107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6945780$450E3233-CADD-4D8B-98E6-E5BFDEC227B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a5a95b9359bffdba14e7682cd54aa1e8c969336e","datavalue":{"value":{"entity-type":"item","numeric-id":6593549,"id":"Q6593549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6945780$E891255D-57BC-4631-AAF2-3B7D9024BE7B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"409b2c66c2e51a361b4c6c55661a919293a8bf4a","datavalue":{"value":{"time":"+2025-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6945780$53793ACE-748B-478E-A040-57B08263F7B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b99c293e1d454be25ce57ac4f20a746796a8f0f","datavalue":{"value":"https://cahierstgdc.com/wp-content/uploads/2025/07/CTGDC_LXVI-3_Ruiz-Solorzano.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6945780$2ED4A52D-2274-41C4-AD0F-B9F7732F057E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80db2e57488fc3f0b9afb5d3b94c801695627e7d","datavalue":{"value":"\\textit{C. McLarty} [J. Philos. Log. 17, No. 1, 75--90 (1988; Zbl 0652.03038)] formalizes a development of the notion of set out of space through topos theory, considering the following two postulates.\\N\\N\\begin{itemize}\\N\\item[(NS)] Any object is either initial or has a global element.\\N\\N\\item[(DSO)] There exists a unique decidable subobject for any given object containing all of its points.\\N\\end{itemize}\\N\\NThis paper considers the following postulate too.\\N\\N\\begin{itemize}\\N\\item[(DQO)] There exists a unique decidable quotient for any given object along with any arrow to 2 factors uniquely.\\N\\end{itemize}\\N\\NIn the presence of DQO, let\\N\\[\\Np_{X}:X\\rightarrow\\Pi\\left( X\\right)\\N\\]\\Nbe the corresponding quotient map. The first main result claims that\\N\\NTheorem. For a topos \\(\\mathcal{E}\\)\\ abiding by NS and DQO, \\ is the object part of a finite-product-preserving functor left adjoint to the inclusion of \\(\\mathrm{Dec}\\left( \\mathcal{E}\\right) \\).\\N\\NIt is shown in \\S 2.3 that\\N\\NTheorem. For a topos \\(\\mathcal{E}\\)\\ satisfying NS, \\(\\mathrm{Dec}\\left( \\mathcal{E} \\right) \\)\\ is an exponential ideal as soon as it is reflective.\\N\\NIt is shown in \\S 3 that\\N\\NTheorem. Let \\(\\mathcal{E}\\)\\ be a topos abiding by NS. Then \\(\\mathcal{E}\\)\\ satisfies DQO and McLarty's DSO iff \\(\\mathcal{E}\\)\\ is precohesive over \\(\\mathrm{Dec}\\left( \\mathcal{E}\\right) \\).\\N\\NIn an extensive category, an object is connected if it has exactly two complemented subobjects. On the other hand, \\textit{F. W. Lawvere} [Theory Appl. Categ. 19, 41--49 (2007; Zbl 1123.18001)] calls an object connected in the context of precohesion if its image under the left-most adjoint is terminal. It is shown in \\S 1.1 that in the presence of NS and DQO both agree. Therefore the authors argue that the addition of DQO is a natural extension of McLarty's axioms for SDG that frames it in a context of Lawvere's precohesion.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6945780$03CC429B-2806-4BBA-8A25-3A92DC5AC14B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6945780$8AA345BD-5657-4674-B944-7A11DABE7FD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6945780$80D32E89-EB07-4820-8DDA-6DFBF7673A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6945780$8D9AFDC5-FFB2-47DB-88B0-5A2585F42890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6945780$4980B854-CC76-4939-B288-71003754762B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3877dee8809b84a192ff66ff1dcefb9fee9bf424","datavalue":{"value":"8077249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6945780$C227157A-9376-4077-8DDD-59D6C91D1449","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q6945780$25063788-DA98-4320-A793-780CE8A05A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d634b808394b6ce56aeffe284d3cf7ad53dc409f","datavalue":{"value":"connectedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6945780$662113CE-8BDF-45EF-A887-9A65D71ED2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acef76efb4d131aca0aff15ddc7c2771b51a7203","datavalue":{"value":"precohesion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6945780$F94BC82F-A3E9-4765-A2D2-49E198C2C2EC","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":"Q6945780$DBFDCA3D-9F51-4127-B184-16C36B790011","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Connectedness through decidable quotients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Connectedness_through_decidable_quotients"}}}}}