{"entities":{"Q2125994":{"pageid":2136737,"ns":120,"title":"Item:Q2125994","lastrevid":57733386,"modified":"2026-04-01T04:04:43Z","type":"item","id":"Q2125994","labels":{"en":{"language":"en","value":"Left-exact localizations of \\(\\infty\\)-topoi. I: Higher sheaves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7507733"}},"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":"Q2125994$4676D35F-8D83-4863-840E-B7CF1ECE3CEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3e342fdeb1fc3602dc73d39228d415259a78c54","datavalue":{"value":{"text":"Left-exact localizations of \\(\\infty\\)-topoi. I: Higher sheaves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2125994$B4B83B2E-C98E-4446-BB76-20280EA35634","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9c2fc7d060dd19564f73a594bf581ce624e06bb","datavalue":{"value":"1498.18009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$1347B185-FCCE-443E-B6FE-30C17E881220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab89d3f94520cac91aef3a815107152d4da16ef","datavalue":{"value":{"entity-type":"item","numeric-id":2125992,"id":"Q2125992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$683B89EE-221D-4744-8AD4-70E3FDDE5CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5fbb092867afd59cca2d134a228cfcc52d6c9e4","datavalue":{"value":{"entity-type":"item","numeric-id":470703,"id":"Q470703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$0BD8A79E-6052-4DC5-B9EB-F59CD96B7AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797849c1a1820468428720423770d974e7666242","datavalue":{"value":{"entity-type":"item","numeric-id":2125993,"id":"Q2125993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$D3A02FB4-EC10-4C39-A572-3885D1C93AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33bf7bc5a80929535b51ec1ba6ab3cc259e7893b","datavalue":{"value":{"entity-type":"item","numeric-id":687579,"id":"Q687579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$4447F9BB-E75B-4760-9417-399FFA8DE327","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$877259CD-F028-496C-A3A3-82C96F352267","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c7187f69230ae92b03843a6b1c486efe943955d","datavalue":{"value":{"time":"+2022-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2125994$9B0CBCCB-06F7-4303-B634-E531895AD477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fc2cb540c37566ad468455c790cf18a2509fb1b","datavalue":{"value":"https://arxiv.org/abs/2101.02791","type":"string"},"datatype":"url"},"type":"statement","id":"Q2125994$54475307-4C8B-44AF-A01E-FD13A58FB619","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a32382a328f4cf8f8dd43146ced7587f2cb754d","datavalue":{"value":"Every Grothendieck topos arises as a left-exact localisation of a category of presheaves of sets on a small category. Any such localisation uniquely corresponds to a Grothendieck topology on that small category. Lurie's work on higher topos theory has shown that every \\(\\infty\\)-topos is a left-exact localisation of a category of presheaves of spaces, and each such localisation is a composition of a topological localisation followed by a `cotopological' localisation. A theory of sheaves and Grothendieck topologies applies to the topological localisations but not the cotopological ones.  In this paper, the authors define sheaves for a set of morphisms in an \\(\\infty\\)-topos. They show that the left-exact localisation generated by a set of morphisms is precisely the category of sheaves for that set. They obtain their definition of sheaves by studying classes of maps inverted by co-continuous left-exact functors called \\textit{congruences}, which are a substitute for the Grothendieck topologies in ordinary topos theory. The paper also explicitly describes the congruence generated by an arbitrary class of maps.  The paper is written in a `model independent style': the authors do not choose an explicit model for \\((\\infty,1)\\)-categories, but say they instead give arguments that they feel are robust enough to hold in any model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125994$564C2875-1757-4A40-BEEB-2DF06566B2D0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1b72729efbcfd7780df21233fa03d6e82716038a","datavalue":{"value":{"entity-type":"item","numeric-id":273518,"id":"Q273518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$5C154334-50ED-4634-AA3F-0BF374346D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$C4DE0361-EE2F-47C2-9611-8F8CE7509F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f7bb6d8c5310ace40589f27f0ec3909d5699eb0","datavalue":{"value":"18N60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$73E3543E-034F-4FC0-96CC-79E2670E06F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"34241b20de2da8573c83abe09669a9860b5dc190","datavalue":{"value":"18N55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$7FF2BF0F-2EAD-459C-8D8F-9F912437330E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00296abe24f5dbb84f70c7c03f97b2eff0a5e5a7","datavalue":{"value":"7507733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$9097FE36-CFB3-4098-9F83-B1BF7DA48F89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125994$AE27E089-EEB9-4787-A35B-D94A91150835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125994$E971453D-45CE-4A63-A79B-1AABE472DE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc9962681bae84a32f1e231a03392f03fe6ba2d5","datavalue":{"value":"left-exact localization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125994$99099DE6-9EBC-4AB7-A4E4-469C677EB0CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2125994$4F0CEF53-15AC-41FA-A711-918D9153C668","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":"Q2125994$A7415377-691C-461A-85E9-634E929573D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"666e4c207f073b863f9beae9ed7fafd424d3f2e6","datavalue":{"value":"W4214608545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$9AF43525-3A4B-427E-8320-7397D1325DDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f38b239c038c6ea45cf6d83346efc7512ad720a8","datavalue":{"value":{"entity-type":"item","numeric-id":5164724,"id":"Q5164724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$3B8B25A1-04CF-4911-B97A-BC2D323117F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25366748986cfc01b775a0d0ea5334b9e17b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4620059,"id":"Q4620059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$B5D30C0C-5F4D-4FD3-A087-93C64FD37FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c934df0a120ae17230e1132b1e1788f89c2bded0","datavalue":{"value":{"entity-type":"item","numeric-id":5126439,"id":"Q5126439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$1147288C-AF9B-475A-A8CC-CAC64439F15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e299c3d2e29743a83d62cc903f12db089794a9","datavalue":{"value":{"entity-type":"item","numeric-id":4611205,"id":"Q4611205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$C1921DAA-B153-4699-873B-5CE0612B5F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee7ff7e4111eb7e240aec6d939f89d4abfcc2ef","datavalue":{"value":{"entity-type":"item","numeric-id":1904820,"id":"Q1904820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$BB4F9362-4BC6-4FFC-B4A6-2E96E1C71D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200b65c2e943f407600eee70d449d6bcd77b171d","datavalue":{"value":{"entity-type":"item","numeric-id":5932372,"id":"Q5932372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$6AD5A326-BEF0-409C-A42B-DEE3118BDA9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50335e7c1601a80330dcd59d63a5b278ff789db6","datavalue":{"value":{"entity-type":"item","numeric-id":2274457,"id":"Q2274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$DDD21E9F-A71D-4C0D-9AEA-AF3FF35AEBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d398db1823f8f65b6e0de1539541ea266676db46","datavalue":{"value":{"entity-type":"item","numeric-id":3379615,"id":"Q3379615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$F33FEF72-B986-445C-B42C-AC3D2A7B7AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaf3312235afe72a99b4e3f5db3d2955497177b8","datavalue":{"value":{"entity-type":"item","numeric-id":5208873,"id":"Q5208873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$DD099B8C-B23A-471A-884C-2001A57BF432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c2e62d4b65c73cf0f6d7db33165d70da149755","datavalue":{"value":{"entity-type":"item","numeric-id":555892,"id":"Q555892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$C5D61244-1BB3-47B0-B7F0-3200B7F992BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2125994$1C2399CB-867F-4072-9A73-2F93BDC2FD79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c3f2588c795b166d487e73fcae8aa7f183a7fc2","datavalue":{"value":"10.1016/J.AIM.2022.108268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2125994$D6A51895-1C28-4CAF-9DFD-CC9EB7B1B5EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce04ffd57efcc7f51b36267f34c25e1330ccebf4","datavalue":{"value":{"entity-type":"item","numeric-id":6057732,"id":"Q6057732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8819afaa2f578896f10d23f98f391eb97b71471","datavalue":{"value":{"amount":"+0.8435742855072021","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":"Q2125994$95BF46FC-84A1-4A95-B327-9E6316E5860A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443a99f81436b4f539ca360e1b82e6e5b3dfb27","datavalue":{"value":{"entity-type":"item","numeric-id":4611205,"id":"Q4611205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1a06502bd00cc15d548dfcaa4e4d98ccf393060","datavalue":{"value":{"amount":"+0.8307321071624756","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":"Q2125994$8B45999C-1BF1-402C-89DE-E0B97E6CFF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aae7d8e06bd2e84b8278519f143ad9a68c8e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":5220050,"id":"Q5220050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611060dd1cd9b76982511ef81e759ad5055c756c","datavalue":{"value":{"amount":"+0.779811441898346","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":"Q2125994$80BC9CD0-5412-40B6-B969-1A08B21C51A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd8392da043fca3c242c03f76e5f4befabfdb62d","datavalue":{"value":{"entity-type":"item","numeric-id":5164724,"id":"Q5164724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61f1886b50c7ab8cc491d75906b4f28536c1479d","datavalue":{"value":{"amount":"+0.7599665522575378","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":"Q2125994$B3C4752F-857E-4CDF-8E23-4347A153124A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a070ae2eafa0c71cefa742d0a0d787228af3d39f","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8e626bfd7770c515a625c803be6f9fbd96db49","datavalue":{"value":{"amount":"+0.7551645040512085","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":"Q2125994$50DEA45D-4B90-4922-8B7B-96A49A667F4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2125994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2125994"}}}}}