{"entities":{"Q1094522":{"pageid":1105274,"ns":120,"title":"Item:Q1094522","lastrevid":66950325,"modified":"2026-04-12T13:56:17Z","type":"item","id":"Q1094522","labels":{"en":{"language":"en","value":"On right adjoints to exponential functors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025655"}},"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":"Q1094522$9E7B3DFD-5D63-46BD-A847-8BD96B7387E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5de256b270593b7f194055ed70dee098c3485170","datavalue":{"value":{"text":"On right adjoints to exponential functors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1094522$11D30CD3-9DCB-4A67-93B5-C4D9D3533796","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1144b039149a0c483c68677a8ad050619156d04","datavalue":{"value":"0631.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$7D15212C-120A-4922-9671-46CA336B2EC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98dc9fcf1c910e9ab1fceee32897a9f4f9bd72cb","datavalue":{"value":"10.1016/0022-4049(87)90077-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$41E841A1-A276-425F-ACAB-B83FF259256F","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":"Q1094522$64CCBE58-6CBE-48CA-9755-2FBDDD96697B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1094522$180E4A26-5CDE-47EE-9F5C-8D933A385119","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea1f3e9944ed3bb2e94e61a334f5fdc6c079538c","datavalue":{"value":"An object A in a Cartesian closed category is called tiny if the exponential functor \\((-)^ A\\) has a right adjoint \\((-)_ A\\). It was first observed by \\textit{F. W. Lawvere} [Cah. Topologie G\u00e9om. Diff\u00e9r. 21, 377-392 (1980; Zbl 0472.18009)] that tiny objects occur naturally in many of the models of synthetic differential geometry, and that their existence and properties can be used to clarify many of the concepts of that theory. This paper, based on results from the author's Ph.D. thesis, is the first study of tininess in a general topos to appear in print.    \\{Unfortunately, the paper is marred by the assumption, made implicitly in Definition 0.2, that the ``inclusion of constants'' map \\(B\\to B^ A\\) is monic; in general this is true only if A is well-supported (i.e. \\(A\\to 1\\) is epic). As a consequence, the proofs of those results in the paper (1.4, 2.4 and 2.14) which do not assume well-supportedness of the tiny objects involved are invalid. Nevertheless, the results are correct as stated; a corrigendum, based on ideas supplied to the author by the reviewer, should appear shortly.\\}","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094522$2FAD1104-C006-47A0-951E-3CD750C9B3EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$5D1BB45E-5EB0-43B7-8655-D99C0BE465E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$6722888E-53EC-4517-BCC0-FAE5F1966996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$A94E7B64-F518-4336-9C76-D66CD7075FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48db147c5e34d12323b540c46f6a307710a26b22","datavalue":{"value":"18F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$057E72C9-2160-4003-AF5D-46A76A5A84A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"deeb34d02bcfdb6fa01779096ddbea533c1e3e39","datavalue":{"value":"4025655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$1A2102F5-E7C3-4DD3-AB12-A358EEB7293F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1c45196cdd85ad95682c1a388584062cb0d282","datavalue":{"value":"Cartesian closed category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094522$774A5B03-3B76-43C1-A0D7-AE90A1E13F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa0c1e364af4cc3b5013464e6d22f063bf3a0ff","datavalue":{"value":"tiny objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094522$95DE1664-6947-442D-A5B7-C2271DBD0DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c78b368085a85c5fab13d07529394ed4d52794b2","datavalue":{"value":"models of synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094522$11ADE8C2-C531-445F-9DFB-2476459A0D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bcfc5c50dd1d7f239ce0a518fec6c5c484581b0","datavalue":{"value":"tininess in a general topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1094522$2FE324C1-5B51-41A8-A5A0-BCD1FCB19761","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d81fe64e68ea54559b5c418727f64f059ec2bef5","datavalue":{"value":{"entity-type":"item","numeric-id":848659,"id":"Q848659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$51CC2A94-723A-4230-B71A-AF4776D39CEC","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":"Q1094522$E3807A7F-3E14-4A7B-94F2-FB2D8B37C86C","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":"Q1094522$8769BE06-9722-4071-8325-8986379377D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28a8d0ad1aa41377d25f1e3259b2bf661c479e05","datavalue":{"value":"https://doi.org/10.1016/0022-4049(87)90077-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1094522$6C604C25-3D77-4B10-B8A7-E1AB45507FC0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d86422da02a061549bf618242182472079a3a29","datavalue":{"value":"W2043215354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1094522$1A8D7CA5-585F-4AA7-A33B-8C49CA5C5507","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70c40404f5b77be080bc90544f1781ba27e23a2","datavalue":{"value":{"entity-type":"item","numeric-id":3927377,"id":"Q3927377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$FB9CAE9E-DCD6-4F4E-9924-251D692B1438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5b5d0eb48e6ee39e136eb46ae3014d5b852a3","datavalue":{"value":{"entity-type":"item","numeric-id":5665317,"id":"Q5665317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$F3D9A971-71EE-44AA-BDAC-B3A8713D9054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$B24824F5-CA7F-4B18-BC93-C894668A276E","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":"Q1094522$EAD60D0C-BC04-4ECE-820B-370338A7CEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c24f9204fa7ae0c306a5aa2d063251a2d56e7137","datavalue":{"value":{"entity-type":"item","numeric-id":3918651,"id":"Q3918651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$8611028F-B6E4-440C-982C-8C75C2FF4C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4cb3446945abf29f598031674baa9e602f2df8","datavalue":{"value":{"entity-type":"item","numeric-id":4187965,"id":"Q4187965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$0C527784-BC04-4191-B785-958C07D7C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b76de27ce4a395ffce75ee5225ea91362e2ff29","datavalue":{"value":{"entity-type":"item","numeric-id":3926775,"id":"Q3926775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1094522$D32A9B48-9093-453C-BD16-E3975D8BF91F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff81e980483d32921bae8c2f2fb73a72035e4ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4224765,"id":"Q4224765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3f8cebf7d7dbbab95ada887a2b8f7b5c473a82","datavalue":{"value":{"amount":"+0.7194099","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":"Q1094522$20C19A71-608E-4BFB-A6D8-9CE9140EF997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f70e9f48d1bd8ef6f6fd3c1f5b7663ff91ff90ef","datavalue":{"value":{"entity-type":"item","numeric-id":4327725,"id":"Q4327725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a25fcef3730df446bcccf15821f51b0e231333a","datavalue":{"value":{"amount":"+0.70129085","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":"Q1094522$35A4494A-0EA6-42D7-AAE6-075879F37D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e253d926187d2065064c55a2c3fbb71fcbf638","datavalue":{"value":{"entity-type":"item","numeric-id":3491788,"id":"Q3491788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424e0804c8f70748ff80233d8033ca04f953a06d","datavalue":{"value":{"amount":"+0.6940444","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":"Q1094522$870681A4-F7B8-433A-9C42-2C9DB3A3B173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac157f96374d886f7e7e7d2a57be20a315d7cb7b","datavalue":{"value":{"entity-type":"item","numeric-id":1295499,"id":"Q1295499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd90966b4b24325ee594b3fb898e038d9f613756","datavalue":{"value":{"amount":"+0.6893688","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":"Q1094522$7FB4AF34-903C-4963-9E0E-E9F3751589B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac0cfac2ba2550a56850a7ba017ad50e3e8adc7","datavalue":{"value":{"entity-type":"item","numeric-id":3825227,"id":"Q3825227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6babf525a67c98781fd4d7d0ca9a705c60955b7b","datavalue":{"value":{"amount":"+0.6885701","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":"Q1094522$3A1BAF6A-D085-4A51-9329-EED466ECF9EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3894cf968bc593969bf6c9d33f3f95afde4b3243","datavalue":{"value":{"entity-type":"item","numeric-id":1124976,"id":"Q1124976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0903db1664e17aa8a3ceadabee778eaf595462","datavalue":{"value":{"amount":"+0.6836449","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":"Q1094522$761C3751-5185-444F-BE01-2D8C1F2A29B0","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":"ec39ea57241a910ce56d2c762be0cdb529183455","datavalue":{"value":{"amount":"+0.68007076","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":"Q1094522$96EECD53-FB32-4D43-8590-63175D03ABBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a795fd7fd4f8dcb13118eb5b42ea1227436e099e","datavalue":{"value":{"entity-type":"item","numeric-id":4719352,"id":"Q4719352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097da2a3f78bc59a270f496768106e20305529e4","datavalue":{"value":{"amount":"+0.6769088","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":"Q1094522$81F115A9-9495-404D-88E7-B53B511D188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c4d67965b80361d2a6c4d6b4ed02aaf25c8fdf","datavalue":{"value":{"entity-type":"item","numeric-id":3503663,"id":"Q3503663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973e42d387f9b724cabce6ad7724711588f6779b","datavalue":{"value":{"amount":"+0.6694888","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":"Q1094522$B91C6A93-29B9-473B-B2B9-C46BDD618325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e33496771e052e5017c6ec450961c8eca6d2a80c","datavalue":{"value":{"entity-type":"item","numeric-id":3223016,"id":"Q3223016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d602dc3e01178af7142daee9393b873246612931","datavalue":{"value":{"amount":"+0.6683096","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":"Q1094522$B33A17CA-B03F-4E84-A7A1-566D4FC71DEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On right adjoints to exponential functors","badges":[]}}}}}