{"entities":{"Q910487":{"pageid":912335,"ns":120,"title":"Item:Q910487","lastrevid":65283735,"modified":"2026-04-12T01:32:11Z","type":"item","id":"Q910487","labels":{"en":{"language":"en","value":"Collapsed toposes and cartesian closed varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4140004"}},"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":"Q910487$5EB42FA5-5C9A-431D-B21E-79A0963CF3EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75e34eb241bc20d6239d05927ebea81b7d322d05","datavalue":{"value":{"text":"Collapsed toposes and cartesian closed varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q910487$3768E7D1-ACD1-4FE5-A006-6B715FA0167C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf3d7c77b968ec5d47d7fc4ea8b371dd8d86d967","datavalue":{"value":"0696.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$E5B7D320-9FBA-4BEE-BE0F-BF61708DD706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"749eed5556e22d5b1acca92a582fe32065f330d9","datavalue":{"value":"10.1016/0021-8693(90)90230-L","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$AAD47FA5-A49F-406C-B595-B8266B050E03","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":"Q910487$135AC764-DE6E-49C2-AE33-85D49B5782F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q910487$D20A1C42-B056-4AC3-89CD-A0AF0FFF64DE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0530753ab1eee32de3cd71dc03cf8491abf7dc4","datavalue":{"value":"In a previous paper [Algebra Univers. 21, 198-212 (1985; Zbl 0599.18003 )] the author gave syntactic conditions on an algebraic theory T which characterized when the category T-\\underbar{Alg}, of T-algebras, is a topos. The article under review provides the answer to the naturally arising related question of determining when T-\\underbar{Alg} is cartesian closed. The author proves that every cartesian closed variety of algebras arises from a topos via a certain ``collapsing'' construction (the two-valued collapse) which associates to a topos its full subcategory of well-supported objects. As was done in the earlier paper, a syntactic characterization in terms of the operations of the theory T is also given. If T is a commutative hyperaffine theory, then T- \\underbar{Alg} will be cartesian closed, but it is not a topos. The article also discusses how to recover a topos from its two-valued collapse and shows that the two-valued collapse of a Grothendieck topos \\({\\mathcal E}\\) is a variety of algebras iff \\({\\mathcal E}\\) has a projective set of generators.","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$70A2FF1A-F9D4-488A-944D-55CFF34FA2E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$22E794F8-3773-4414-B409-7081CA28BB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$F8947EA5-27C9-4863-88D5-A2A2525A94B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d53f4f8504531dc1d4f34947ee793dc8e8b2ce8","datavalue":{"value":"08C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$D571126E-962A-48D4-9BAC-57437CCE7036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$41823F72-727F-45D6-934B-7F193F333F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"396e0fd7e3b723e770d62f37cd362b49808d08c1","datavalue":{"value":"18C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$0C055E28-492C-4351-8B7F-CC027ED69E79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"795862e81a925816fda146057fe4d381e7cbe0ca","datavalue":{"value":"4140004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q910487$CDC2EDCF-5997-4856-9391-41461D3D1012","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d3f4894a2acd69eaaba242b56b3dd5f9687a5b9","datavalue":{"value":"cartesian closed variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$6F37B6D8-9221-414F-A5E7-BBA34B591A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d774f406f33cde655df96d79b6bf605252410b1","datavalue":{"value":"two-valued collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$3F3C4755-CF5C-43F8-B8F6-90F910D49FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d94bd69679d346f80a78155e1befa4c8905963","datavalue":{"value":"well-supported objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$A704C1EE-2DDD-4940-A4D4-B80D4C2491BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f37a320fdbde9930be84e0be2ae70f06cce0f0","datavalue":{"value":"syntactic characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$A2D659CF-9E9F-4ECB-A220-506BEF0B0B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40d661b10a2ff9298f3fe5df3f718cacb7073018","datavalue":{"value":"commutative hyperaffine theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$E2B0128A-8FFA-4065-ABAA-221F5C0527A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$25A36D95-7CAA-4D07-9C54-D5D41025BF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a50e324a3312d77ceb3ae5dcd2bf0845d9219a6","datavalue":{"value":"projective set of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q910487$8003D62A-AF18-4A75-9F51-268BB324F38E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d9c949c56161faed1aade087470a53cfc22b03","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$134EA3E7-75C1-48F6-8E81-48A1AEEF76EE","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":"Q910487$B85FE45B-B018-4EDC-9520-CFD4C1FCA8A9","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":"Q910487$29897339-541B-44BD-BEEE-CEC0F8A7297F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76da7bf204c347e7ac637d7549251fd0d4ab70b","datavalue":{"value":{"entity-type":"item","numeric-id":5672787,"id":"Q5672787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$BE862EE8-B759-479B-BB80-7AFF83C072BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$F30BD116-39FC-4FEB-8901-D5F608C15484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3545356a0aafd994800ed724ad387bf8b32dbf68","datavalue":{"value":{"entity-type":"item","numeric-id":5612499,"id":"Q5612499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$C87A2A39-0EA7-4285-8925-35727A5422DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3879fdfca670d7f071d7baa350b899a1e5e0f697","datavalue":{"value":{"entity-type":"item","numeric-id":579255,"id":"Q579255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$CCC4A321-480A-45D6-BF36-6A082657E19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$6CE76A57-8567-404C-A4EA-0EFE93684F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881cb2b175011fa637ed5c87888a64c1c00c31d4","datavalue":{"value":{"entity-type":"item","numeric-id":1080512,"id":"Q1080512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$E17C8855-AC8B-48DD-91F8-55D2132AF9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$B9A14864-664C-48D3-A86A-9C4950D61072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f76a2d0073c40143c1def38d19098665a24eab4","datavalue":{"value":{"entity-type":"item","numeric-id":5666708,"id":"Q5666708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$99D956A9-1EB1-4A2C-8BA8-D73DF26B13A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$F528BF0F-07FA-40D9-9EA8-40562A080009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41904df0fa1ea8e219dc3231404b7a48069a5c57","datavalue":{"value":{"entity-type":"item","numeric-id":5599205,"id":"Q5599205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$8D3E2DE7-0D55-46BD-B572-E6EB37F3212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3a5e67788d7eae1ac322f714364544d27a2156","datavalue":{"value":{"entity-type":"item","numeric-id":5523691,"id":"Q5523691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$DD93B476-5C89-4A93-AD5A-02AF2B98F1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77585fe28df7e3b70c120894c0d95bd7b8b6ad3a","datavalue":{"value":{"entity-type":"item","numeric-id":5570960,"id":"Q5570960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q910487$557A4397-18C2-4472-940F-E272D472FF5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87e2e7d64427a73f9448e703297fce53128ffe84","datavalue":{"value":{"entity-type":"item","numeric-id":1080512,"id":"Q1080512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23450147bb5a87716e5bf6106447888d37de87a","datavalue":{"value":{"amount":"+0.7867901921272278","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":"Q910487$50189368-E20C-4F90-9576-392511E7148D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc2978115c6e9b3617f8b8c1a22e691493a7154","datavalue":{"value":{"entity-type":"item","numeric-id":5696276,"id":"Q5696276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae5a0329f6849ec222a7d45fb52c49b659cb411","datavalue":{"value":{"amount":"+0.7690584063529968","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":"Q910487$8C8516B2-09E9-4740-9116-4F08ECB13D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4bbbb41a41a3db5c9490bf621616b0de2ceffe0","datavalue":{"value":{"entity-type":"item","numeric-id":800476,"id":"Q800476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc67fc4186064a19f0ad4f17cca9daac3dda8c8","datavalue":{"value":{"amount":"+0.745230495929718","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":"Q910487$40760383-17C1-41BD-BD9F-5F92597F0C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62add673789ff499d7da9d1ef54abec4f78b11a6","datavalue":{"value":{"entity-type":"item","numeric-id":5939609,"id":"Q5939609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1f9c936bef3b68c45ba981ad213cbb013b0f5e","datavalue":{"value":{"amount":"+0.7415947318077087","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":"Q910487$28C05EC3-9170-407F-BC23-17991C71E643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8ec9bc2ad88455bd14975967ad406550c245b1","datavalue":{"value":{"entity-type":"item","numeric-id":4852315,"id":"Q4852315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1f9c936bef3b68c45ba981ad213cbb013b0f5e","datavalue":{"value":{"amount":"+0.7415947318077087","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":"Q910487$43823878-D52E-4D6F-A28C-B2904296F17C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Collapsed toposes and cartesian closed varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Collapsed_toposes_and_cartesian_closed_varieties"}}}}}