{"entities":{"Q699910":{"pageid":701759,"ns":120,"title":"Item:Q699910","lastrevid":77662301,"modified":"2026-05-06T09:46:43Z","type":"item","id":"Q699910","labels":{"en":{"language":"en","value":"An isomorphism in a category with a ring object"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1807989"}},"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":"Q699910$B155CCAE-0E7B-4B8F-90AB-35C6AA5AEF13","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6af57fd96241a19814c240c8e8e47ef1361c3a7","datavalue":{"value":{"text":"An isomorphism in a category with a ring object","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q699910$71C9DBA3-361D-4BE1-A299-3780D725FAAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"012951dbafd41f3af437ead09af289143286a3a9","datavalue":{"value":"0999.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699910$5A95A683-62AC-4A56-86CB-50B0FC65ADB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69937174cb511278b81023a5b2696450fbeee7f","datavalue":{"value":{"entity-type":"item","numeric-id":171286,"id":"Q171286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699910$F516BA5D-6FC3-40FC-AA24-4E137C34803C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"14287ddcf28c60986480e7482825dc983de257d4","datavalue":{"value":{"time":"+2002-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q699910$43A3DFC8-3B4C-493F-8432-9856CB12B983","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8e37d410ca9f34d9d4092df5f0c5d77e414b54c","datavalue":{"value":"This article studies one of the fundamental models of synthetic differential geometry (SDG), namely the presheaf category \\(\\mathcal S ets^{\\mathcal A}\\), where \\(\\mathcal A\\) is the category of finitely presented rings. For more on SDG and its models see \\textit{A. Kock} [``Synthetic differential geometry'', Lond. Math. Lect. Note Ser. 51 (1981; Zbl 0466.51008) and \\textit{R. Lavendhomme} [``Basic concepts of synthetic differential geometry'', Kluwer (1996; Zbl 0866.58001)].   The main result of the paper is that the object of units of the ``real line'' in this topos model is isomorphic to the automorphism group \\(\\text{Aut}(D)\\), where \\(D\\) is the standard object of nilpotents (infinitesimals) of order 2. The brevity of the introduction may be of necessity due to constraints of the journal, however, some more words about SDG, its topos theoretical models and goals would have been helpful for the general reader. As it is the article is accessible only to those well versed in these matters.","type":"string"},"datatype":"string"},"type":"statement","id":"Q699910$AD1BDEDB-8DA5-4738-ACC8-9EB87670CD10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699910$65A5E07F-7332-4CE4-B645-D21314D01953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ced2ce8548985ee89118ad322503684cfe980cd","datavalue":{"value":"1807989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699910$CA719615-0E99-4A91-A694-913F92462020","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95219f66d5153417c412e3bfe6c100a99c5f8fce","datavalue":{"value":"finitely presented rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q699910$66731B80-E669-4190-8488-56AD4CFD52AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb1666c39f46b593da3eb126aed227564722a2e","datavalue":{"value":"presheaf","type":"string"},"datatype":"string"},"type":"statement","id":"Q699910$9D9C6E8F-C721-4FD9-B227-AC5A303799A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2d2563699c68ece8365cf72a546300422a9978","datavalue":{"value":"first-order infinitesimals","type":"string"},"datatype":"string"},"type":"statement","id":"Q699910$664DB839-6060-435E-8BEB-9A7DDFA6E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b969da63472ffe4fde8d62b78c11bad15b52f59","datavalue":{"value":"synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q699910$0E2902F8-1BEB-4AA1-91D7-AA032C75E2B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f2e51ae1fdf2130112a06e514f621308374d52f","datavalue":{"value":{"entity-type":"item","numeric-id":592500,"id":"Q592500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q699910$4DFB8A88-1D0E-4C0C-91AE-012A666CAF84","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":"Q699910$7A5795B9-4076-4814-8831-F33D033F6BEC","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":"Q699910$ED4415AD-4C4B-4B50-BD74-A156A88A8F3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c41320d045e6b52bd6e1ef6f4d723ff0b8de0529","datavalue":{"value":"https://doi.org/10.1007/s100120100007","type":"string"},"datatype":"url"},"type":"statement","id":"Q699910$D79FB4F8-3A46-43E7-932D-E64F8F788EE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"612f4a2427fe819540c70d2ac44c7887107777a4","datavalue":{"value":"W4250156886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699910$C8C9EE1D-7E29-48BE-B7CC-F003AF628F98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d07abcf40886c53cd3993a0654e79e11feef0167","datavalue":{"value":"10.1007/S100120100007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q699910$6E45EB3C-C328-46D1-98EF-8090E7F8D2C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54a8c8b950c2a2a2ee8ae3097904c175cd04fe7f","datavalue":{"value":{"entity-type":"item","numeric-id":4322440,"id":"Q4322440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f30f930f4da68ad255ef4080297652d98623f0","datavalue":{"value":{"amount":"+0.7198523879051208","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":"Q699910$2B547210-5587-458B-87A9-4331467DE4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"568096760cf9073409546c6c312260c086d3fcbe","datavalue":{"value":{"entity-type":"item","numeric-id":3312396,"id":"Q3312396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f30f930f4da68ad255ef4080297652d98623f0","datavalue":{"value":{"amount":"+0.7198523879051208","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":"Q699910$F02BFF4B-A47F-4F3B-B2D3-779F33182C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a48c0d93f1d0644cbeb1760d6d43bf21832ad30","datavalue":{"value":{"entity-type":"item","numeric-id":4722245,"id":"Q4722245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785ab0d7e6d13708c1f7301d0cca0ce8f84d9346","datavalue":{"value":{"amount":"+0.7116124033927917","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":"Q699910$ECD0CF42-F06D-405B-AAFC-37C45613ACAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f33a6ed3fbd043849b479f44c5e2a3b96bfc2cf9","datavalue":{"value":{"entity-type":"item","numeric-id":3997818,"id":"Q3997818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c05efac537ed6b22832349fcde2c7ff2e4f3b23","datavalue":{"value":{"amount":"+0.702007532119751","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":"Q699910$1D4BA0C0-0790-4AA1-92DF-0FBF865DCE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6676a6cc4cc97769be8ecf829c776002b6bb718","datavalue":{"value":{"entity-type":"item","numeric-id":4289835,"id":"Q4289835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc1ca1448d1fd17eaa3d6596d73b2b28293f7ef","datavalue":{"value":{"amount":"+0.6970877647399902","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":"Q699910$CE2438DE-4EB3-4681-984A-7088A7A66665","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An isomorphism in a category with a ring object","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_isomorphism_in_a_category_with_a_ring_object"}}}}}