{"entities":{"Q819805":{"pageid":821653,"ns":120,"title":"Item:Q819805","lastrevid":64577763,"modified":"2026-04-11T20:50:17Z","type":"item","id":"Q819805","labels":{"en":{"language":"en","value":"Filtered colimits in the effective topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5016254"}},"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":"Q819805$EEDFA437-74AF-489A-BA41-28E7CDA2EC82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4eb6ed26f1fea8737062d5af0b08d178da73aa3d","datavalue":{"value":{"text":"Filtered colimits in the effective topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q819805$58F21806-60F9-4C04-8A1F-8011C76FE796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf1318be0d9a5a1fd78629dd6e0029ecf1db404f","datavalue":{"value":"1096.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819805$C9BC2446-5D27-4FDB-A35A-404C228F729F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe9e095ac1b70ecb414d116d440bb0e8b81e605","datavalue":{"value":{"entity-type":"item","numeric-id":387124,"id":"Q387124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$3CEF5F82-E91C-432D-8746-94C900A05DB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$4C115282-3A22-4B1E-B865-9BEB8E5EEEB7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c49568d53c8ad1554f70d0d5613f2d9e8132fc7f","datavalue":{"value":{"time":"+2006-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q819805$1D5E3173-B803-40D9-AB8A-824085646EAB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cde3b7562ccfa27a212ba5dd66b217ed7fa4ea4a","datavalue":{"value":"The effective topos \\({\\mathcal E}ff\\) is defined in the article of \\textit{J. M. E. Hyland} [``The effective topos'', in: The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/ Holl. 1981, Stud. Logic Found. Math. 110, 165--216 (1982; Zbl 0522.03055)].   Roughly speaking, the objects of this topos are effective sets (i.e., pairs \\((X_0,=_X)\\), where \\(X\\) is a set and \\(=_X\\) is a function from \\(X^2\\) to \\(P(\\mathbb{N})\\), which denotes symmetric and transitive relation on \\(X\\)) and morphisms are maps between effective sets, which preserve this relation \\(=_X\\). This definition is given in details in the thesis of \\textit{G. Rosolini} [``Continuity and effectiveness in topos'', Ph. D. Thesis, University of Oxford (1986)].   The category \\({\\mathcal E}ff\\) is not a Grothendieck topos. The global sections functor \\(\\Gamma : {\\mathcal E}ff \\rightarrow {\\mathcal S}ets\\) has a right adjoint \\(\\delta : {\\mathcal S}ets \\rightarrow {\\mathcal E}ff\\). This note contains two theorems. First: Let \\(\\lambda > \\omega\\) be a regular cardinal. Then the following two assertions are equivalent: (i) The full subcategory of \\({\\mathcal E}ff\\) in the \\(\\lambda\\)-small projectives is dense. (ii) \\(\\delta\\) preserves \\(\\lambda\\)-filtered colimits. For \\(\\lambda = \\omega\\), the implication \\(\\text{(i)}\\Longrightarrow \\text{(ii)}\\) still holds. Second: The functor \\(\\delta\\) does not preserve \\(\\omega_1\\)-filtered colimits.","type":"string"},"datatype":"string"},"type":"statement","id":"Q819805$71F38F59-86CA-489E-A09F-C90F411CF49F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dfc4c0e9541822f1ae859bea6a1986771beb7c00","datavalue":{"value":{"entity-type":"item","numeric-id":598272,"id":"Q598272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$A6F7D4CC-0D3D-4929-A4D2-7F5B6FE550BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819805$3677D8B0-BAFA-4B98-BD8E-1DC79E51F38F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d51fefb292a8313d52a3299930840688563c1c3","datavalue":{"value":"5016254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819805$00D8BE40-DEB4-4A2E-8604-E50CC034D6BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q819805$22322A36-5BFE-4D36-B080-5FCF562588DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"583e7d2a12b4f7ada7b266568004303fceafa1ee","datavalue":{"value":"filtered colimits","type":"string"},"datatype":"string"},"type":"statement","id":"Q819805$E7DD21B2-D116-44C9-B6EE-B574B91AC523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8f6cbaf5fbbc3b7f654fc1bb4eefce023e22826","datavalue":{"value":"projective object","type":"string"},"datatype":"string"},"type":"statement","id":"Q819805$BC1CF822-EBF7-4C82-B5EE-C24713D4ED7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"621f9628d6376fd80fa2cb9bd97ed2020b03ff60","datavalue":{"value":"dense subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q819805$9EC823D8-6412-4EEB-A786-084287F94777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e844e2cdb1f4189af967640f6a9bdcc01acdce38","datavalue":{"value":"\\(\\lambda\\)-small object","type":"string"},"datatype":"string"},"type":"statement","id":"Q819805$14EDDBAB-734B-4393-BFD9-FB99220505F5","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":"Q819805$D2FC088B-AEDC-419A-896F-D4397E18F7D6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e75b55e170f337178f10204fa79c1789ac82f329","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2005.07.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q819805$29BA7BD0-D419-4185-B4C5-E794BBBEE7C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bffa49350531e36a9206af470949002d19aa8c2","datavalue":{"value":"W2156407820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819805$B605192F-8AA4-4E4B-9560-6CF63C720C6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$4EB0D311-CD0A-4E35-A255-2831823FC7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$DA80B763-FBBF-45D3-B1E1-A1E39EEFC8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$D06CA24B-998F-44FA-9FC3-E7418883B980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e2ff5d4943e38d73207e7174bfebcd9fc5e22","datavalue":{"value":{"entity-type":"item","numeric-id":1167158,"id":"Q1167158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$9EACDDBA-AF37-4C12-BA88-44425FB7FF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q819805$29815EDD-269C-41A9-BE65-DEC5DFAF1DF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7d172274a11dd1a966b5ed1a5eccb8782ba8508","datavalue":{"value":"10.1016/J.JPAA.2005.07.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q819805$9690D8E2-66D3-41A5-8EDA-6682BC321BDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab1fd022d0464b6c33bbf340afad0e1f8396b6f","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eee770f26398228d8a806a39c888bb739d50463","datavalue":{"value":{"amount":"+0.7692411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$15CE68F1-468D-47DC-8501-672779C816A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302b4e367f5294ba1c50469543a307699673e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3469268,"id":"Q3469268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a1dfafffa6c9f861f27f402ee836cd21a85fcc","datavalue":{"value":{"amount":"+0.7512964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$2BA75CEE-2BDA-4C9A-AFBD-1B255AFB338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b13a1d7c81427e25fcf95009292336c886825da0","datavalue":{"value":{"entity-type":"item","numeric-id":4861177,"id":"Q4861177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129d2608725a1660c96ea81b0a0321b6f71eadc0","datavalue":{"value":{"amount":"+0.7278453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$002EC972-5AD9-4CEE-B9BC-360E59C505E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f0761d6537b6708ce857e7baa933172c696c97","datavalue":{"value":{"entity-type":"item","numeric-id":5740653,"id":"Q5740653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2624e6b924316598a2f56184dcd6104a2e33269","datavalue":{"value":{"amount":"+0.7251512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$DC802DB7-C701-4772-BB30-89F31E4BFCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d613266a205ae7002f2a9e340aa1636a5df73b","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec60351627515323306ec8bfc52f782c7f060d4","datavalue":{"value":{"amount":"+0.70090973","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$18152F14-9CCC-489B-8597-78E929CF5D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55d39f36b9346c53e3388cf2a6145dc275860dca","datavalue":{"value":{"entity-type":"item","numeric-id":5159483,"id":"Q5159483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30eb00da4c1e51522a3ee00ee9c20b07031e6297","datavalue":{"value":{"amount":"+0.69787204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$8083F72C-F67B-4324-8E2E-AB39A111215F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601778df992e1ee86dd5fa66c6fecab935d3743a","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae2f261d0ee469f342d94dfdfe620e4c8dd4aeca","datavalue":{"value":{"amount":"+0.68491817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$E93BCAD0-8BE1-4FA5-9F38-1784A0A8B24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a86ff10143366fa795092e79e31a9075ac1cfa","datavalue":{"value":{"entity-type":"item","numeric-id":3318937,"id":"Q3318937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f08b8f21d6a21268c5a59a0200bca9e7690e619","datavalue":{"value":{"amount":"+0.6668831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$93B5C229-5211-4D1F-9262-2FB605B79CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1629750be95c6273ccdce26a69349f395a0621","datavalue":{"value":{"entity-type":"item","numeric-id":387125,"id":"Q387125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"401ffbd476f65dda7ffe38464e72bfde5527012a","datavalue":{"value":{"amount":"+0.66585296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$4DD38907-3896-497D-A860-D397F1ECF234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c9a92dd1f19c212db39c8a0252022ea014dbce","datavalue":{"value":{"entity-type":"item","numeric-id":1109126,"id":"Q1109126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082f3ca66eb6ace3c902b83fbf39252a33c26b83","datavalue":{"value":{"amount":"+0.6656431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q819805$576A517D-1F30-4E0B-A69A-9D3E04C06DB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Filtered colimits in the effective topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Filtered_colimits_in_the_effective_topos"}}}}}