{"entities":{"Q1877878":{"pageid":1888620,"ns":120,"title":"Item:Q1877878","lastrevid":71035812,"modified":"2026-04-13T19:03:52Z","type":"item","id":"Q1877878","labels":{"en":{"language":"en","value":"Protomodular aspect of the dual of a topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2093010"}},"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":"Q1877878$7804AA2E-A94C-4076-A858-6D852FB6A572","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e17df7155e8ac18fa3a8102aa4e2a37f6c15a77e","datavalue":{"value":{"text":"Protomodular aspect of the dual of a topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1877878$8DB3A60A-D9CC-45A5-9377-E206BB531550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"496a838303bc53560518ba13bd2ff412f4ce1a3e","datavalue":{"value":"1047.18006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$4249BE89-FBAE-4E06-A20F-9F0451891DFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17c97410bb1ac64185ead03e0cfc53b36dbd1f9","datavalue":{"value":{"entity-type":"item","numeric-id":170573,"id":"Q170573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$E252C7C8-3B0B-472C-8BC9-E20057493C72","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":"Q1877878$EF51633C-3050-40DC-8287-4FF6B84C3CF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad9e6929b84d2aa86589bcc6be2d26ada8b5576","datavalue":{"value":{"time":"+2004-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1877878$79255126-D491-4DB3-8B38-1389B5445829","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a1d5c3d09a0fd5ccb34755e94d0b418f91048a9","datavalue":{"value":"The notion of protomodular category has been extensively investigated (principally by the author of this paper) in recent years, as a category having enough of the `intrinsic' algebraic structure of the category of groups to permit the development of much of the machinery of nonabelian homological algebra. It was first observed by the reviewer that the category of Heyting algebras is protomodular; indeed, it provides the best known example of a protomodular variety which does not admit a weakly associative Mal'cev operation. Since the contravariant power-object functor on any topos \\(\\mathcal E\\) can be regarded as taking values in the category of internal Heyting algebras in \\(\\mathcal E\\), it follows easily that the dual of any topos is protomodular (as well as being Barr-exact and congruence distributive). In the present paper, the author investigates the significance of the known results about Barr-exact protomodular categories as applied to the duals of toposes, and shows that they include several familiar exactness properties of toposes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877878$6A32CC9F-F6D7-4445-8104-58340425AB8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$EF5E24BE-0EE8-4200-9A60-79CAA69EA15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$CC3A8C28-D7A3-4E6A-8552-0095EA717D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$618C06BE-A311-4FA2-866D-D070598628B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$177C93B1-7EEC-4A2C-A747-CEA95EC1F3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$DDF09079-9281-43CE-82C0-1F99BB894C0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c28eba884ececf99fa30399a3a5e96655b3229f","datavalue":{"value":"2093010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$A4612D14-9A7B-43C5-8D55-3BACF6A8B5DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"385ec5ee567d17bbd2e6c7af4270fade5c5f2e55","datavalue":{"value":"topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877878$8D286CBF-76A4-4960-A373-731120FD1CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877878$F8359A34-8EDE-4485-B9DE-61EB2F6594E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a2120dc5d2035ebf217eea7a3d4a5f2e1e4229","datavalue":{"value":"Mal'cev and protomodular categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1877878$E69284E0-08D5-4502-911E-77BDE07DBB28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$548B2BB1-4E62-4DA1-AB8B-391327994CA0","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":"Q1877878$15B00800-EE5B-4214-BF42-3903B75B8912","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3eb914b20a270ee0add90ff234f6e80638a2f742","datavalue":{"value":"https://doi.org/10.1016/j.aim.2003.09.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1877878$ED7C004B-8CA1-4C14-B7CE-B784BEDD583B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22ebdbeae0d66bfacf08882c1cab6697d831f246","datavalue":{"value":"W2032520459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$F3395829-97E9-4B1C-875B-DC48F563B638","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a365e85742d3ec2bb81986515465d29abc5f1b09","datavalue":{"value":{"entity-type":"item","numeric-id":5628320,"id":"Q5628320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$3E510C9C-C97B-49E4-8AEA-4A00A563A7FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1781a2e12543aa4e01db1f5b7cc2a52018afc8cd","datavalue":{"value":{"entity-type":"item","numeric-id":3809979,"id":"Q3809979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$8C762241-074C-4F85-9CAF-78E0F4BE8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1020749d56d90f709d9a4081cad71152e31b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3978968,"id":"Q3978968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$D053DC1E-F084-4F01-8A22-B15C9A8D74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6f36e6315d8b6f23b4eeec417d313801c18c11","datavalue":{"value":{"entity-type":"item","numeric-id":1923806,"id":"Q1923806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$4136D9D0-17FD-4EB0-9B9A-4AAA11E4D99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec968b624179a4572f6d314bdb608fa6e2473e4","datavalue":{"value":{"entity-type":"item","numeric-id":1570871,"id":"Q1570871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$1D91566A-BE03-444C-BE34-6B9CC96BB9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0f7d8da5615418289292ad80dda96ef98d050c","datavalue":{"value":{"entity-type":"item","numeric-id":2724146,"id":"Q2724146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$6E717588-4FD9-4D45-B519-510CB2743614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07957266edce27f39b5569e1d3acdbdc949cdd6","datavalue":{"value":{"entity-type":"item","numeric-id":1861475,"id":"Q1861475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$CFF21CF8-6F39-4B6D-938F-E292B6D62871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2675d5d65ba3492f469a93c4fcafe7ad0f3f047","datavalue":{"value":{"entity-type":"item","numeric-id":2762222,"id":"Q2762222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$28C44587-36C5-4C2A-9B82-6B838B85DC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b39e2c9085feb185b40c8430eeb93dac5eeda3","datavalue":{"value":{"entity-type":"item","numeric-id":4385499,"id":"Q4385499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$D2D593D4-D629-4D64-A60A-3A2686060A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33eac4160a4608b07e4084e59e32fadd357ee86a","datavalue":{"value":{"entity-type":"item","numeric-id":4707050,"id":"Q4707050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$E8474441-E394-4A86-B02D-D1157F83E695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25780d6905ca80e4e5af3dc6014cbb0d41e09628","datavalue":{"value":{"entity-type":"item","numeric-id":1320341,"id":"Q1320341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$ECAA2D49-DEF8-47EC-9007-58D6D86D2BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9156f5884f44114f1be78a4ba12a267c2c9d5f13","datavalue":{"value":{"entity-type":"item","numeric-id":755877,"id":"Q755877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$59CA1DAD-4C37-4ABD-BA3A-9D8BD1749292","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":"Q1877878$FFBF9A11-DB9D-4682-95A5-093EFDA425D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c80e7b0a52f535d8b62d0b3904ab1fbabb1bfc32","datavalue":{"value":{"entity-type":"item","numeric-id":5960411,"id":"Q5960411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$16E420FA-936C-4F2C-A1D1-1D817E8398A0","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":"Q1877878$468D2EFA-474A-4709-8A3F-D9B21E933181","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":"Q1877878$8773F648-A667-4302-9DB1-8039A30A5778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d254f14ae6306f071ed3b266bfaa7cbdd83c1df","datavalue":{"value":{"entity-type":"item","numeric-id":1923805,"id":"Q1923805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1877878$69F0046C-EFC4-43A2-BB90-77E2E48CB97B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4745eebb74bfc42f6e3a37e7eef794554040ba9f","datavalue":{"value":"10.1016/J.AIM.2003.09.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1877878$4B5ADF9D-3670-4C52-A627-0AD4E1164DCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b94d90caad3397354e6e92dd7970afe0d8205c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1570871,"id":"Q1570871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b704304c30397c28239978bb607a75d56f2cc77","datavalue":{"value":{"amount":"+0.74820476770401","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":"Q1877878$79295C2B-4FA9-4AC2-8698-E21CAD47B534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b9209a5d5ba733e235a8c8a8a12ed4c0396a01","datavalue":{"value":{"entity-type":"item","numeric-id":818384,"id":"Q818384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b704304c30397c28239978bb607a75d56f2cc77","datavalue":{"value":{"amount":"+0.74820476770401","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":"Q1877878$EEFF62C1-3166-4AA2-B12B-E00854C7C590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcacfc85045162d3dc4e2de271b18ee2a7071fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4490684,"id":"Q4490684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a714a6d16a77d4126c6f7ba758864e59e52ca45","datavalue":{"value":{"amount":"+0.7436447143554688","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":"Q1877878$FF938AA3-2D54-4056-8373-F83FA278782A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2727d74d5f839582533396354c21351bd8083938","datavalue":{"value":{"entity-type":"item","numeric-id":5003067,"id":"Q5003067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a714a6d16a77d4126c6f7ba758864e59e52ca45","datavalue":{"value":{"amount":"+0.7436447143554688","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":"Q1877878$D9877A58-56C4-444E-BB92-5F4F5456B768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d446f1b6841b0d5d20381da8b52edd803ca2e8","datavalue":{"value":{"entity-type":"item","numeric-id":4464695,"id":"Q4464695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e1ad51941fc7476a7c12095cb8392996e40b0e7","datavalue":{"value":{"amount":"+0.7275988459587097","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":"Q1877878$15AFABF7-223C-41DA-838A-2F2E54016ED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Protomodular aspect of the dual of a topos","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Protomodular_aspect_of_the_dual_of_a_topos"}}}}}