{"entities":{"Q713289":{"pageid":715138,"ns":120,"title":"Item:Q713289","lastrevid":77665751,"modified":"2026-05-06T09:47:14Z","type":"item","id":"Q713289","labels":{"en":{"language":"en","value":"Grothendieck quasitoposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6099328"}},"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":"Q713289$B2D30FA6-5F2E-422C-BEFA-3994165B2EF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a623064a605af700813d3f34d46c9fce02e60681","datavalue":{"value":{"text":"Grothendieck quasitoposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q713289$7A7389D5-4AFB-4D71-B1D2-3F25147E6731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"894fe69ffe1e9e164cb87463b615c62143e4a0d9","datavalue":{"value":"1282.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$9D3C5CB1-483F-4116-8AE0-51913A416D1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db41a60b03ac22c1792510784e84140716e00bef","datavalue":{"value":{"entity-type":"item","numeric-id":323665,"id":"Q323665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$5A6BBA9E-7F7C-4616-A8FA-B7953C7998F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"072eccf7c5410d4251bc74bb0051dfd105c0c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$D30CFB5C-34E6-45C0-96C8-F98BF9A75405","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$11582F69-A767-4279-A230-12C9598BBA95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6bae5241029eeebb10d1b10b1d151d50d61e9a7","datavalue":{"value":{"time":"+2012-10-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q713289$B91BEF18-C1F3-49C4-A394-58A2BCAA297A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8c97d2c1975e367dd33b62962f3c738fc7b459f","datavalue":{"value":"https://arxiv.org/abs/1106.5331","type":"string"},"datatype":"url"},"type":"statement","id":"Q713289$6F303D1C-12A1-4AEB-8AE9-A76BC8699604","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"baafdbecb65cc54ce73cf4e584b5308146f960c1","datavalue":{"value":"A \\textit{quasitopos} [\\textit{J. Penon}, Cah. Topol. G\u00e9om. Diff\u00e9r. 18, 181--218 (1977; Zbl 0401.18002)] is a generalization of the notion of elementary topos: a (locally small) category \\(\\mathcal E\\) is a quasitopos if it has finite limits and colimits, is locally Cartesian closed and each comma category \\(\\mathcal E / a\\) has a classifier for \\textit{strong} subobjects. A quasitopos is not, in general, a balanced category; some categories of differentiable spaces [\\textit{J. C. Baez} and \\textit{A. E. Hoffnung}, Trans. Am. Math. Soc. 363, No. 11, 5789--5825 (2011; Zbl 1237.58006)] are examples of this concept.  A Grothendieck topos \\(\\mathcal G\\) is usually defined as a category equivalent to \\(\\mathrm{Sh}(\\mathcal C, j)\\) for some small category \\(\\mathcal C\\) and a Grothendieck topology \\(j\\) on \\(\\mathcal C\\). Many characterizations of this notion are known: (i) \\(\\mathcal G\\) satisfies the `Giraud conditions'; (ii) \\(\\mathcal G\\) is a category (equivalent to) a localization of a presheaf category \\([{\\mathcal C}^{\\mathrm{op}},\\mathrm{Set}]\\) (i.e., \\(\\mathcal G\\) is equivalent to a full reflective subcategory \\(\\mathcal S \\;\\rightleftarrows\\mathrm{Psh}({\\mathcal C})\\) such that the left adjoint also preserves finite limits); (iii) \\(\\mathcal G\\) is a locally presentable elementary topos.  In [\\textit{F. Borceux} and \\textit{M. C. Pedicchio}, J. Algebra 139, No. 2, 505--526 (1991; Zbl 0737.18003)] the notion of \\textit{Grothendieck quasitopos} was introduced: it is a category equivalent to \\(\\mathrm{Sh}(j) \\cap\\mathrm{Sep}(k)\\) for topologies \\(j \\subseteq k\\) on a small category \\(\\mathcal C\\). There are various possible characterizations of Grothendieck quasitoposes analogous to the Grothendieck toposes case; for instance, the condition (iii) above can be generalized: the Grothendieck quasitoposes are precisely the locally presentable quasitoposes.   The main result of the present paper provides a generalization of the condition (ii): Grothendieck quasitoposes are precisely the categories equivalent to some reflective full subcategory of a presheaf category \\(\\mathcal S \\;\\hookrightarrow \\;[{\\mathcal C}^{\\mathrm{op}},\\mathrm{Set}]\\) such that the left adjoint \\(L\\) preserves monomorphisms and all the induced reflections on slices categories \\(L_X:\\mathrm{Psh}(\\mathcal C) / X \\rightarrow {\\mathcal S}/X\\) preserve finite products. The paper also introduces and presents characterizations of the notion of \\textit{subquasitopos}: that expands the previous result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$4EC92BA6-3D1E-44D4-AE64-B24D9B0493D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$F765EF95-6150-4CF0-94B5-059594C982BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$E5C95F4F-B4AF-41A9-99E4-D156A4E3F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$0E42512C-388B-4C19-B7D1-CCC0DEEE4E62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a8dce40fa173cf09b345ffeaac333cc97df4cd1","datavalue":{"value":"6099328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$AF1EB26A-B112-4B5C-9684-AF3A999FFDF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7668ea6e8def768ba1106d47e71e7be66ccb4078","datavalue":{"value":"quasitopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$EF2A969A-4EB6-4C07-91E6-F4E55C59B98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$A8C49BCA-33C4-4481-9743-9D339D5385A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7111f635fc1f126061feb0ad03a7e2d9afa13e","datavalue":{"value":"localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$6A34FF61-2493-4058-A039-6232957EB54D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47017f85edeaf660f330b6be767c958f6f035cb5","datavalue":{"value":"subquasitopos","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$028EA51A-BABA-4F50-A8ED-50DD66734A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a77b350fbcf08b95d8242dd3d67a1773d63d9ffd","datavalue":{"value":"concrete sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$CA4FB4CE-ECD9-4258-AD34-B1B90B46ED65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"180abeaab36786760842f7316904fb991ab96962","datavalue":{"value":"separated object","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$64200314-D1CC-41F7-962C-260E6150B9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41884e2592353b43ba28b0164902dfa9f0c9ed66","datavalue":{"value":"semi-left-exact reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q713289$5C2946DF-FAA4-4A39-8996-52C5F2D9778B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7606fe20d73c5baafe7fe3cb75bb917b4a408427","datavalue":{"value":{"entity-type":"item","numeric-id":631518,"id":"Q631518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$6A8A1101-3C9F-4FB7-A4F9-7A0C015789A6","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":"Q713289$90999C3E-36F4-46A3-BC00-D45BAB106E14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"008682855b44c2f8a40a6bb15c4eef53fb730fdb","datavalue":{"value":"W3037353635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$E070BB51-C355-4D10-AEE1-C601B45992AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd35ee851e44de438da3d9205a9883dc5b9c2809","datavalue":{"value":{"entity-type":"item","numeric-id":3102724,"id":"Q3102724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$DDDD23FF-5609-447F-AF08-839C61152ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cd2523d9e750eddecb867db4edd6c8125a20cf","datavalue":{"value":{"entity-type":"item","numeric-id":1176678,"id":"Q1176678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$B5C2EA50-4CF9-4E69-86B5-90C72CCFD395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee34b88725ae812bfaa8c30753483b05c0267e59","datavalue":{"value":{"entity-type":"item","numeric-id":533951,"id":"Q533951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$EE430439-5A57-4F41-A5CD-D4D82708B05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adf8dfd2b99e71170504eeaf951ae3199f99593","datavalue":{"value":{"entity-type":"item","numeric-id":1353439,"id":"Q1353439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$D83AAE99-017F-4468-84CD-CAAFBD46C226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c81c28fe769ca56c4a6c1bc21ea5dcda0012d1d","datavalue":{"value":{"entity-type":"item","numeric-id":687572,"id":"Q687572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$66852BF0-18B2-49BE-8BF8-51DB4259C077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f6d6164ed6fb9ee91a32579d329b0419907223","datavalue":{"value":{"entity-type":"item","numeric-id":3691902,"id":"Q3691902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$2E799D12-B84D-4DAB-AF00-D70923A50041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4b07246c8d65cf9bb83fb87209d42d1295a3d1","datavalue":{"value":{"entity-type":"item","numeric-id":2552195,"id":"Q2552195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$136B6220-C30B-4540-BFD5-8EABFEDFDDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60c1cf3624b322a69b917603de4d0f8f84e0989","datavalue":{"value":{"entity-type":"item","numeric-id":3856914,"id":"Q3856914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$8FB288B1-6A2A-48BC-97AF-9ABF8766330D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d3064dca2a3425298e972d3839fd4ea24cef47","datavalue":{"value":{"entity-type":"item","numeric-id":2548649,"id":"Q2548649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$37487B14-1BCE-4161-B2D5-D6CF37EF1648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974f13b3380a268057a9878a2dd81c4bda117d51","datavalue":{"value":{"entity-type":"item","numeric-id":4342432,"id":"Q4342432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$FC6D6D22-1498-487E-8457-DB54082D0967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41bd2cc0badda1bd2b407ae76037505554d94b2a","datavalue":{"value":{"entity-type":"item","numeric-id":4828514,"id":"Q4828514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$AB20618D-E32B-4FDD-93DE-371917667D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2977e461bc6f2372dae6090911219f9feef6f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":4185008,"id":"Q4185008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q713289$816D40FE-4982-472C-8725-D5D1AC2B53F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06e9c42e59b7a8daf8141063e339239791962a02","datavalue":{"value":"10.1016/J.JALGEBRA.2011.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q713289$AE8AD794-1693-4D62-9E81-86550C8F3B5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ac5bf0e55fe4db04042ac2e8a1bc40c7acf290","datavalue":{"value":{"entity-type":"item","numeric-id":4280803,"id":"Q4280803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272e57c34471dfb481f504afe728ee87ff52dd52","datavalue":{"value":{"amount":"+0.8301725387573242","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":"Q713289$BD13D8E3-BDA2-479C-9DCD-A45A5D49C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef0d7abbb0580f78412997bdccb4cd0547a0ad9e","datavalue":{"value":{"entity-type":"item","numeric-id":3216794,"id":"Q3216794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7640e8edf3d84392b315a8acdeaf97abe6a70c","datavalue":{"value":{"amount":"+0.8293707370758057","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":"Q713289$00F5C4D2-E8BE-4BEE-B568-E15EC48DB21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86f25b91fb83e45c742769222db353423d86a48","datavalue":{"value":{"entity-type":"item","numeric-id":1176678,"id":"Q1176678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd624ed9620adbb26e8b54050d910c7977d2569","datavalue":{"value":{"amount":"+0.8096743822097778","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":"Q713289$6B89E628-C386-4398-B89F-9CE94B0009E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf9bd968051a7b3289bf29342e69b8bf5a36d04c","datavalue":{"value":{"entity-type":"item","numeric-id":3973025,"id":"Q3973025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87cf731a57feff821305b7654956828b6443fdab","datavalue":{"value":{"amount":"+0.7881988286972046","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":"Q713289$EFB71AC5-0503-4841-93A9-2DBF4E1C6071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aee9b6a20f25f4de1152840918f766b1177d9453","datavalue":{"value":{"entity-type":"item","numeric-id":809173,"id":"Q809173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb81afcbc5eb9bd2a9358cff956c60c1b15b2953","datavalue":{"value":{"amount":"+0.7782248854637146","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":"Q713289$9A4E3DB9-ACF5-4426-BF3D-3827FD9C5B23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Grothendieck quasitoposes","badges":[]}}}}}