{"entities":{"Q1320339":{"pageid":1331089,"ns":120,"title":"Item:Q1320339","lastrevid":46310700,"modified":"2025-12-24T13:17:02Z","type":"item","id":"Q1320339","labels":{"en":{"language":"en","value":"Exponential objects and Cartesian closedness in the construct \\textit{Prtop}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554357"}},"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":"Q1320339$1E56707C-943B-445C-AEA4-3292B54A369F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43454ce884ecd6fa14cfd4253ee4eea1ffa5bf9e","datavalue":{"value":{"text":"Exponential objects and Cartesian closedness in the construct \\textit{Prtop}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320339$CE3E8A1C-4AD3-43F2-8728-A7CD830C3F75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb183fe838d6e2b1761044f1540fbc76850005c1","datavalue":{"value":"0796.54019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$072C1C64-7ED4-4670-BADA-6C39E90A1043","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc5ac401ed39ee939dd5bdbbdaf4da592f81c5aa","datavalue":{"value":"10.1007/BF00872940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$562E4637-4886-4A59-88A2-25A1F1F36480","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":"Q1320339$404D6F96-4EDA-410B-B03A-AB5E5DB2B7F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff708b0c45a57323b7e3851493154f43448fb5b7","datavalue":{"value":{"time":"+1994-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1320339$AA0689DF-7941-4847-A4C6-7F4438E3951E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe97d80cecde3988b420b1e092c9a1bbebfaccc3","datavalue":{"value":"An object \\(X\\) in a category \\({\\mathcal K}\\) with finite products is called exponential if the functor \\(X\\times -: {\\mathcal K}\\to {\\mathcal K}\\) has a right adjoint. A pretopological space \\(X\\) is finitely generated if any point \\(x\\in X\\) has a smallest neighborhood. A pretopological space \\(X\\) is exponential if and only if \\(X\\) is finitely generated. The full subconstruct of all finitely generated pretopological spaces is a bireflective Cartesian closed subconstruct of the construct Prtop of pretopological spaces. On the other hand, there exists no Cartesian closed coreflective full subconstruct of Prtop containing the space \\(\\{{1\\over n}\\); \\(n>0\\) is an integer\\(\\}\\cup\\{0\\}\\) with the natural topology. Thus the construct FrPrtop whose objects are pretopological spaces such that its pretopology is determined by convergent sequences is not Cartesian closed. A strong Fr\u00e9chet axiom is given such that the full subconstruct of FrPrTop containing all objects in FrPrtop and satisfying one is a Cartesian closed bireflective subconstruct of FrPrtop.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320339$E428EB20-6B4A-4ADA-BBBF-C0531920F29C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$FF2637A2-6B9B-4DBD-81CC-DF3D4EE72665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$435B0620-00C5-4D5E-82A6-2BF5DE129B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9a74b099c042ea6e846e1f740298ec70c9db4aa8","datavalue":{"value":"54A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$9E117064-5BEC-433E-953B-D13C55A87855","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d76c7e5269c48c8ffc1a468276fca542ed2b0f36","datavalue":{"value":"554357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$980B5E12-40CC-47D0-9D68-5FD55642BEED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f6b70a4a944dc8737b2c8f53c87efaf7734cf2d","datavalue":{"value":"Fr\u00e9chet space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320339$D7CBDA2B-5144-435A-BE7B-71F9EA7975CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"692ac20a5efb069c271cdb8995c433188cdbbbbb","datavalue":{"value":"exponential object","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320339$C189BB8E-9B66-4D8F-A55C-30ECAB128FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1373453ba1790d4de0fe8f4a71294de2ede1d43e","datavalue":{"value":"Cartesian closedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320339$5E5040FD-95FE-4163-9C37-A44FD3367347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320339$3C87D7CC-9443-4EE4-B94F-641FCE86E30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b9065b479033ee54642f5b9002a776327255be8","datavalue":{"value":"pretopological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320339$690EAB19-1381-4B9A-BB2A-2B8BB391004C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd73170469f4db95c06fba527ab2ca3557597973","datavalue":{"value":{"entity-type":"item","numeric-id":193018,"id":"Q193018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$D699BCCC-2DFE-49E5-B8AB-7368DD372156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90f29fdfc25460e370d9c46ca62968de8ce22300","datavalue":{"value":{"entity-type":"item","numeric-id":227915,"id":"Q227915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$7C7B3D01-59D4-43F2-9BB7-E42F8CA346D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$B672D9C2-CBA9-4A5F-A593-7E7ED2F7C760","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":"Q1320339$29FF326E-EDBA-4729-9122-1C44B7DE558B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$1C0203CE-7CE1-428A-A590-CA9E11B4FA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f4ccf8ca5d18b66447a692cba53f81904a8950","datavalue":{"value":{"entity-type":"item","numeric-id":5596044,"id":"Q5596044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$61D220BF-2232-44B6-92DC-2B67AC27180C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f02314c8a4c33eb1659be78a1607409cc7004c6","datavalue":{"value":{"entity-type":"item","numeric-id":5585132,"id":"Q5585132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$FE83E865-59DC-4E5B-A722-9740E9F55CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6385a4ee47c5427375920ffd6cfc5ddac9e38f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4281181,"id":"Q4281181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$A751A753-69FF-4F26-B343-F4F20D028A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3925d6eb2d35d7ac2c492b03b72b02f1c0fe849e","datavalue":{"value":{"entity-type":"item","numeric-id":4079792,"id":"Q4079792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$3DA1B33A-67F6-40AD-82A4-6F1A0DED291B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b93a895e3cc27a5ea8287b33021c6e1ee391c859","datavalue":{"value":{"entity-type":"item","numeric-id":793141,"id":"Q793141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$FCA4DBE3-4B39-4122-AC08-9758DA211E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadfa1b08fed9e6b9334a3506da6e784f2cd4d7","datavalue":{"value":{"entity-type":"item","numeric-id":3976461,"id":"Q3976461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$12588A69-36DE-497A-B315-476E11BE3BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3917d2f2ac183f5a88a4d83a6c1d46ffab84fbd6","datavalue":{"value":{"entity-type":"item","numeric-id":4134124,"id":"Q4134124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$069178E0-F7DE-4EDB-842A-47CAA190AD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb65bb5877e285d0a2c9a9e7237055d92cfa6d42","datavalue":{"value":{"entity-type":"item","numeric-id":4186996,"id":"Q4186996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$851D5EB0-67F7-4E29-9F2A-DE4E5F909E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e840f79421233243899b5f76d2924655b86c9b57","datavalue":{"value":{"entity-type":"item","numeric-id":2546712,"id":"Q2546712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$369B542B-E025-411A-996C-2B4FCFD46E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7b6e2ed47cafcb00696c3670d8f23889ee7d19","datavalue":{"value":{"entity-type":"item","numeric-id":4141961,"id":"Q4141961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$5FAA7B8F-51E3-4117-A95E-EB16F0480630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aec771e96d4c7020b8dd13c0833420ce0dfefa","datavalue":{"value":{"entity-type":"item","numeric-id":3670142,"id":"Q3670142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$0A07C743-EAC9-466C-B9B2-108B103044BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f336368c58067cc5cfbe50ea6d5782fd30b7ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3670143,"id":"Q3670143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$F4C4BB1C-8FB6-40F3-95AB-6211E1EA5614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ef82e4326f8f7a5d5201574cf3f63a80e98964","datavalue":{"value":{"entity-type":"item","numeric-id":4195110,"id":"Q4195110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320339$8E88B0C7-5B89-4D0C-97D2-6A25AF58AEBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9f02347d21b4da6fe1cee9835273d425fc9b507","datavalue":{"value":"https://doi.org/10.1007/bf00872940","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320339$E68146C9-6BF7-4A82-A5FF-96BACA1D94ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"018490fa770c77c389ce37ec7900af3512f1dfc8","datavalue":{"value":"W2131172744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320339$52A5ABF0-0E77-4936-A147-CABC5B23227C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540d80e2c24f065b61aecf11837d153c3023b2d5","datavalue":{"value":{"entity-type":"item","numeric-id":1372680,"id":"Q1372680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f589cfddbe438f506876d58d8bb081a47ae4455e","datavalue":{"value":{"amount":"+0.9006910920143127","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":"Q1320339$77B0C0FA-9004-4DDF-A066-5FFB233F6011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af22fa4cd4a0005f396fbb50f080e06793d3da3","datavalue":{"value":{"entity-type":"item","numeric-id":1364910,"id":"Q1364910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cd4c09778d8edf8d7dee284e11e02f272f6f91","datavalue":{"value":{"amount":"+0.8799582123756409","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":"Q1320339$BBFA4E53-CECE-4C62-8C7B-441C5CE65921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5681f2c0f877cc60f2e8000af757c45432166fbf","datavalue":{"value":{"entity-type":"item","numeric-id":4229128,"id":"Q4229128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3342c359183ba3ee0ef4fe61ab342d93ac4facdd","datavalue":{"value":{"amount":"+0.8540031909942627","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":"Q1320339$BF438AC4-6A5E-4EA0-BE89-001AF259641C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1320339","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1320339"}}}}}