{"entities":{"Q2156420":{"pageid":2167163,"ns":120,"title":"Item:Q2156420","lastrevid":54365609,"modified":"2026-01-26T17:18:15Z","type":"item","id":"Q2156420","labels":{"en":{"language":"en","value":"Covariant isotropy of Grothendieck toposes and extensive categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7558577"}},"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":"Q2156420$38E2AB64-3118-41B5-8288-9E2F81AB164E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e0b9d0337bab67967cc8694252b92a6ad54c52a","datavalue":{"value":{"text":"Covariant isotropy of Grothendieck toposes and extensive categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2156420$845900B9-3A92-43D3-8AAE-74542377AD7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2332448b329fd6d428b46f487e977297b4f6024","datavalue":{"value":"1491.18014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$4009EE1B-0454-4056-9CA6-FD84A955173A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"401b2c4bb4264d62dc275d69d521dfae42f38c5a","datavalue":{"value":{"entity-type":"item","numeric-id":2134818,"id":"Q2134818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$1869B0C7-6CF8-4A59-8AD6-688A11A55B21","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$4D348EB7-59EE-4CF2-91DB-1EAD61C6A916","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2156420$943589B7-724A-49FE-8B36-1AF0F526A0C4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b0ee8e15c975050f81efba5411e373934397d16e","datavalue":{"value":"The author and his collaborators [\\textit{P. Hofstra} et al., Electron. Notes Theor. Comput. Sci. 341, 201--217 (2018; Zbl 07517273)] investigated the covariant isotropy group of the category \\(\\mathbb{T}\\mathrm{mod}\\) of models of a single-sorted algebraic theory \\(\\mathbb{T}\\), showing that it encodes the usual notion of inner automorphism of \\(\\mathbb{T}\\), provided that it has one. It is shown therein that the covariant isotropy group of \\(M\\in\\mathbb{T} \\mathrm{mod}\\) is to be described in terms of the elements of \\(M\\left\\langle \\mathsf{x}\\right\\rangle\\) (the \\(\\mathbb{T}\\)-model obtained from \\(M\\)\\ by freely adjoining an indeterminate element \\(\\mathsf{x}\\)) that are \\textit{substitutionally invertible} and \\textit{commute genetically} with the operations of \\(\\mathbb{T}\\). In the author's PhD thesis [Isotropy groups of quasi-equational theories. Ottawa: University of Ottawa (PhD thesis) (2020), \\url{https://ruor.uottawa.ca/bitstream/10393/41032/1/Parker_Jason_2020_thesis.pdf}] and its subsequent paper [\\textit{P. Hofstra} et al., ``Polymorphic automorphisms and the Picard group'', LIPIcs -- Leibniz Int. Proc. Inform. 195, Article 26, 17 p. (2021; \\url{doi:10.4230/LIPIcs.FSCD.2021.26}], the analysis was extended to the category of models of any finitary \\textit{quasi-equational} or \\textit{essentially algebraic} theory in the sense of [\\textit{E. Palmgren} and \\textit{S. J. Vickers}, Ann. Pure Appl. Logic 145, No. 3, 314--353 (2007; Zbl 1109.03022)].  This paper characterizes the covariant isotropy group of any \\textit{Grothendieck topos}. A synopsis of the paper goes as follows. \\begin{itemize} \\item[\\S 2] shows that any bounded [\\textit{J. Ad\u00e1mek} and \\textit{J. Rosick\u00fd}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007), Theorem 3.36] infinitary quasi-equational theory has an initial \\textit{term model} as in [\\textit{E. Palmgren} and \\textit{S. J. Vickers}, Ann. Pure Appl. Logic 145, No. 3, 314--353 (2007; Zbl 1109.03022),Theorem 22].  \\item[\\S 3] shows that any Grothendieck topos \\(\\mathcal{E}\\)\\ is the category of models for a particular bounded infinitary quasi-equational theory. allowing of characterizing the covariant isotropy of \\(\\mathcal{E}\\).  \\item[\\S 4] shows that the main result of \\S 3 actually extends, via a purely categorical argument, to any \\textit{extensive} category.  \\end{itemize}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2156420$726F92E8-49BB-4889-87D9-AFE45F8A1A81","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$505FBCF4-5C32-4F05-901F-1ABF1E927DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$B2A5649F-A14F-43D0-82A7-FD81D026804C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$C7C05C01-9CED-4A90-8BD4-44862B1C96E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d35289bedc80b1085d64d820313e4cb71e428c91","datavalue":{"value":"18C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$35B81873-6323-4A89-802B-0E09E432EF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$FDDAC01E-64A9-4540-9097-FEA7DFD7C3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d5257bae47f7eaf95b9ae12a637e23d7f87e533","datavalue":{"value":"7558577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$46D73CCA-9C7C-41C8-87B6-6EE7672D8178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125b37015f2b508fd5055b7e63ab819371ab92c0","datavalue":{"value":"Grothendieck topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2156420$A1823425-0F01-4555-87AE-9A6A926FB73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a653802385c1195f4990acc56b9e9ba6787647","datavalue":{"value":"isotropy group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2156420$81D88088-46ED-42A9-ADEA-DA23CD27981E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4206566d0afa53bb7a16bd7889863239df871a1b","datavalue":{"value":"sheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q2156420$1DB3D569-7BF1-423F-B3E3-70B7F4B3FD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd3935821b1c8445d02780570be24853c545f97","datavalue":{"value":"inner automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2156420$B4F7DF8F-F964-4215-8AA4-CF7AA77FF1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06a1069fddeb6c2750434cbae3b35f569fc39454","datavalue":{"value":"extensive category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2156420$8D4FFF88-5ECD-4C2C-BC3A-CAB8D3A35173","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":"Q2156420$4266F076-55D8-401E-A581-412AFAD65E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfdb0d0fca5dedb892df17ab71bf998d8194b4d6","datavalue":{"value":"https://doi.org/10.1007/s10485-022-09674-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2156420$FC670F9C-53EE-49A3-8FAF-CDA5F1C2C2DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd3e01efab752827b4d862a4d006fbb479b86f7f","datavalue":{"value":"W4211175370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$EA15A6A3-582C-476C-A17F-55BFED97B8AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$EA425D9D-90E2-41FE-A9E7-DD984483B2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e31d134a9421659dedcb7b75576c1f6a45b56","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$C0167337-5AF5-4018-B365-60CCA2447165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"900ffc0ed094506e93da62599b152393998f0ead","datavalue":{"value":{"entity-type":"item","numeric-id":433390,"id":"Q433390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$1B91B41D-6B3A-4FEB-A9CF-CCD0E9122FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$D205FAA9-6BED-4A81-B4D9-27B0F79323CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$2AB1400F-4A18-4D44-9784-3BBBAF8A3FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab986409ded122baa4528113a0f6d549f7bcce54","datavalue":{"value":{"entity-type":"item","numeric-id":2847339,"id":"Q2847339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$8EA8D5DC-5907-4493-B4BE-F824BC3B2055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06e175039d34b5cdc0c89a7fdabe461789e1ffdc","datavalue":{"value":{"entity-type":"item","numeric-id":2134819,"id":"Q2134819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$BD2C890C-E02D-40FF-85BA-97B4A9FFCFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$FF3F3CCE-3CCB-455A-934A-22324801E4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4219b9e9a34aa8918de2de1511c7b08fa278e0a0","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2156420$2EC5B637-F6D1-4822-8D80-5EBC07AFC7A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d581682c303fc869a0323b4192c49ab8b0acf65","datavalue":{"value":"10.1007/S10485-022-09674-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2156420$F1946B20-FC79-4D35-BB18-CA86C0CB95E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be21282e43a753fba5c76b7cfc65e2417d81f72b","datavalue":{"value":{"entity-type":"item","numeric-id":4563244,"id":"Q4563244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10767853f52944c6f18879528c5a37dec0c0ec82","datavalue":{"value":{"amount":"+0.794237494468689","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":"Q2156420$AB2B7AE6-5E8D-46B1-B60F-0A812B3DC368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5c299cbce3ba56523ac5ce076a7787dd2c4cce","datavalue":{"value":{"entity-type":"item","numeric-id":5006462,"id":"Q5006462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a977dac3013202834cefd85f0be08ecbbb94f092","datavalue":{"value":{"amount":"+0.774440348148346","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":"Q2156420$3236E27B-6A8A-4820-8472-3D7D47747A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74f5676f549c3fd965469ce11420fb8bc6d77b00","datavalue":{"value":{"entity-type":"item","numeric-id":4646815,"id":"Q4646815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3804c6e6d1a0c6ba20c332a9c68100317e2a01ba","datavalue":{"value":{"amount":"+0.7717025876045227","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":"Q2156420$39093F55-961D-4D22-B493-8603D801CB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce36a1b84d570652273efd5c187a6de9ca2b8207","datavalue":{"value":{"entity-type":"item","numeric-id":684088,"id":"Q684088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f684ab4eb043ab5233a44eec0e50ae8ce64436","datavalue":{"value":{"amount":"+0.7584466338157654","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":"Q2156420$ED485877-A153-4918-90F8-4B9458925B69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aca352c8d2e93fd78088a90cd908b4e5e89576e","datavalue":{"value":{"entity-type":"item","numeric-id":2847339,"id":"Q2847339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0147e02d4e3938c7b87fca94a7d7919895d9186f","datavalue":{"value":{"amount":"+0.7275873422622681","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":"Q2156420$9C8243F0-5B65-4A47-B54E-4A2E3B5DD4BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2156420","badges":[]}}}}}