{"entities":{"Q326587":{"pageid":328354,"ns":120,"title":"Item:Q326587","lastrevid":61019862,"modified":"2026-04-10T20:39:08Z","type":"item","id":"Q326587","labels":{"en":{"language":"en","value":"Logical systems. I: Internal calculi."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6637678"}},"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":"Q326587$259CAB5C-E621-4970-A5A7-3FE9C9C0DFB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89bbb27802283872903a313ca0ae4b3d9c80e1a9","datavalue":{"value":{"text":"Logical systems. I: Internal calculi.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q326587$3528D2FD-FA73-48D3-AF1D-ED8C296E8E65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7696c62606c5582d112eac668116c00866e8b1e","datavalue":{"value":"1370.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$884D54C2-3B49-4118-9A60-17DB7B294991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"474ba5c5a27a91f13bc6aaa2282dd6a3b4b5b773","datavalue":{"value":{"entity-type":"item","numeric-id":326586,"id":"Q326586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$814A393A-1FED-46CF-BC8A-9C4B5DA68481","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":"Q326587$FC9A7FA2-7EFE-4234-97D4-B08D530A3768","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3345943144ad3fdbe1546c68ad17e7cf0375253c","datavalue":{"value":{"time":"+2016-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q326587$49FBF23C-D628-4F8D-979A-66CDF40B52B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$FA98397B-DC36-4764-BD96-D703F1594C3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$6A3DBBB2-95A1-4270-9974-55192591193B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$931CA992-E1E2-4E3C-91E5-0758C45C6696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$DF78A95D-D474-4154-8FF1-2F1D5068FCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$FC20DE3E-3CFB-42F8-B242-C1692EC71BC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d44f35b09574a0925631b73fbe17ab12919e2d5","datavalue":{"value":"6637678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$F6B25475-4E1B-491B-BBB2-819BD8CA72D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e17e90e5f8acbe67881a5bb5d47d572cfcea2740","datavalue":{"value":"2-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q326587$AB8EB362-323D-4127-9CFF-D5EF8A4BBB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1043f4dbc762ff47e33be985b1a89a19fce1735b","datavalue":{"value":"internal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q326587$6636AF0F-3F65-4E3E-8D88-EDD9581B602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26584fe2548753f957ebbaa253d7b1f10c1ad50a","datavalue":{"value":"discreteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q326587$CBE9A98D-B0CE-4A19-95BB-47BE57A0CC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q326587$2294FABA-B332-4E2A-87AA-AECC9E8D01CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef788e36c3639d4ed6c0cdbfd5ddb4c8b7773a9f","datavalue":{"value":"Freyd theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q326587$7F91395C-0785-4DD1-B2FD-A30DD4060CBF","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":"Q326587$84160337-EA3D-404E-8274-056206F5A74E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04b35568bdf893b38a89dd42ed45b9efe7c2015f","datavalue":{"value":"https://doi.org/10.1016/j.jpaa.2016.07.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q326587$352EBE38-29FE-4637-B0BC-D77E338A1434","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"182c4ae1f211d1af168c981a68d774de7aa61b6e","datavalue":{"value":"W2501968317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$3B472DFE-12D8-4577-B800-CB70BE4B9DFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a1fec13708686f567ce8f652a4b4b1f5722daf5","datavalue":{"value":{"entity-type":"item","numeric-id":610397,"id":"Q610397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$12D53223-69F6-4990-AAD7-530BCA7CE21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$7C2A18AE-3744-415E-BD60-A1248C7D13F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$E3A87037-B7D9-466B-B0A1-1AB99BA9791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$9F736E1B-3EA4-45BE-AED6-4215F87BEBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b293ae9b2f27e3d3eb442629a606172136571336","datavalue":{"value":{"entity-type":"item","numeric-id":699929,"id":"Q699929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$BB975A40-CE88-4AEF-A14E-E4A45A2F0EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cbcbe08c54c0d63aabafd3d6ce8bcebd6913065","datavalue":{"value":{"entity-type":"item","numeric-id":3378198,"id":"Q3378198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$3492018F-6694-41B8-BD28-4574B158768F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$EAC73CAC-255B-4DC5-836D-6C01540017B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f310382c1893f74ce43344f63b6611c55eb4818","datavalue":{"value":{"entity-type":"item","numeric-id":3431971,"id":"Q3431971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$836E7494-E7A3-4B4E-B044-164BD858CD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173a157f95ce44496470651a21b767404fdc4b38","datavalue":{"value":{"entity-type":"item","numeric-id":3159161,"id":"Q3159161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$9B5B3B3A-1020-4F8E-96F6-CC0F0E872633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02440399404883cec035c4ba4333b0b2f70b96a3","datavalue":{"value":{"entity-type":"item","numeric-id":4596052,"id":"Q4596052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$99D38CDA-1E91-4C5A-958B-1CA33E85C489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$1984A52C-ED28-49E5-A3F3-A5A7953BD01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a1e99f41142e6d56c13ef3a05fd3f9bb055e348","datavalue":{"value":{"entity-type":"item","numeric-id":3682648,"id":"Q3682648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$154BCD19-BB29-44A6-91B9-8F51E3DEDA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e808d133b8eefc8f53421e00131793a6a3e6a75","datavalue":{"value":{"entity-type":"item","numeric-id":2643608,"id":"Q2643608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$4509A97A-B0F0-453D-A678-0FEF22778BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7212cbd21b262d16bcb7ffda7fc76bc50e112b40","datavalue":{"value":{"entity-type":"item","numeric-id":1208414,"id":"Q1208414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$1E1416B5-7051-4F3A-8909-CFB7C28E3AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b365b248c24f262b17a79a105c192bb5f4e9c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3749740,"id":"Q3749740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$DE834F57-B0EF-42B4-BAE9-103C87F6FAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2691b5788cb02c0ed5787d8b2ac9018677a81f","datavalue":{"value":{"entity-type":"item","numeric-id":2524028,"id":"Q2524028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$7BD53875-4A08-400B-99EF-DCB247C8444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce589fad76144d75446d26f6d58b2bf36026eba9","datavalue":{"value":{"entity-type":"item","numeric-id":1880712,"id":"Q1880712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$D00C3A03-3A01-4BD4-81C8-CD334B9E7E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b24aa434a4958ff197c3a4373c175de86dfa4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4851718,"id":"Q4851718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$6158B22B-CE1C-415D-8C6A-D2DF41AF87C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$F337E5F0-3F2E-4F67-B5C5-8B18C38B06F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777260a5123151297d232c2d79bc36758c0492f6","datavalue":{"value":{"entity-type":"item","numeric-id":3783264,"id":"Q3783264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$ED88D538-D6A3-463C-826F-9C82160F0497","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":"Q326587$AA3D8940-387E-42BE-9EB9-35008C69C8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$BA6B43CE-8F4C-40A9-8BBE-6D55CEEAA433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$F9056FF7-B126-478B-B293-8561EDF33FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$B06D3381-AEB1-45D6-8887-E70FDC00D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebaa62ef6ae788995fcc51d9c3d7d0db41920cc9","datavalue":{"value":{"entity-type":"item","numeric-id":4100671,"id":"Q4100671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$C852C132-F7F6-4A1D-B451-BDBB75A061A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960d453683ed4d0de7a8f12995e1700dba4ac192","datavalue":{"value":{"entity-type":"item","numeric-id":5335344,"id":"Q5335344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$BF2A69E1-4D57-49DE-AE34-D7BEA706F754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$E938DA32-45ED-49E7-894E-8EA2E0056DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e0444e22e4266453ab8adbf280b94bbe6588c9","datavalue":{"value":{"entity-type":"item","numeric-id":3876103,"id":"Q3876103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$B668E721-8A81-4B45-A341-E1B373D3C61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a638baee0bd9fe31ced194955fa89e42d209e04","datavalue":{"value":{"entity-type":"item","numeric-id":3121018,"id":"Q3121018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$FC62A666-CACB-49B9-AF86-B1791972A18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4142f3057f1d6b6dfd7378b371b333dce148383","datavalue":{"value":{"entity-type":"item","numeric-id":1850103,"id":"Q1850103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$387E3291-F55B-45AF-B05A-BBE02B3082F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$F52667D1-82D8-4251-974B-A42E5916F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205ae20040a4a4788c33d4b7eb85f787b22360cf","datavalue":{"value":{"entity-type":"item","numeric-id":1771124,"id":"Q1771124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$F995A425-9351-41F2-984B-4FF41FB6D15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030e4e965dbfa59b3a702296c21e3de17394f6d0","datavalue":{"value":{"entity-type":"item","numeric-id":1896485,"id":"Q1896485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$905E0420-8635-4568-B60D-25D97638B5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q326587$0C92DA12-8F21-46FC-AB5A-C2F3F9E8728B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bec378bb9871546868c394a9116a0e47ad676fdf","datavalue":{"value":"10.1016/J.JPAA.2016.07.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q326587$1D700641-0B24-4D68-8315-4154BE2AA439","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf7bca8f06b5498499359d6d69bc471b1115c93d","datavalue":{"value":"The article is the first in a series of three, the others not yet published at the time of writing this review. The purpose of these articles is to lay down a 2-categorical approach to logical systems.NEWLINENEWLINEThis paper, after introducing the necessary preliminaries, poses and answers two questions: {\\parindent=0.7cm\\begin{itemize}\\item[(1)] what properties a 2-category must possess to allow establishing the connection among \\(\\lambda\\)-calculus, logic, and categorical constructions which is usually referred to as the Curry-Howard isomorphism? \\item[(2)] what can be gained by those properties? NEWLINENEWLINE\\end{itemize}}NEWLINENEWLINEThe key notion to answer the former question is \\textit{discreteness}, Definition 1.2 in the paper. By cleverly using this notion, the author extends the definition of fibred/internal connectives and polymorphism to an arbitrary 2-category with a notion of discreteness. Also, the concept of internally closed connectives is analysed and an appropriate extension of the naive approach is proposed and justified.NEWLINENEWLINEThen, a 2-functor realising any finitely complete 2-category \\(\\mathbb{C}\\) with a notion of discreteness in the 2-category of the categories internal to discrete \\(\\mathbb{C}\\)-objects is constructed so that the functor preserves internal connectives and polymorphic objects. This realisation maps \\(\\mathbb{C}\\) to a full 2-subcategory if and only if the discrete objects are dense; it has a left adjoint if and only if \\(\\mathbb{C}\\) has codescent objects of discrete truncated cosimplicial diagrams. Although very technical, these results generalise the more usual fibrational definitions when considered in the world of enriched categories.NEWLINENEWLINEAnother contribution of the paper is that it shows that, when a 2-category is sufficiently rich, then its objects cannot have all the internal products unless degenerate. This result generalises Freyd's theorem for categories internal to any tensored category.NEWLINENEWLINEFinally, it is proved that an object in a Cartesian 2-category is linearly complete if and only if it is linearly cocomplete. A direct consequence is that a category internal to a locally Cartesian closed category, which is worth reminding, allows to interpret dependent type theory, is internally complete if and only if it is internally cocomplete.NEWLINENEWLINEDespite the abundance of unavoidable technical concepts and proofs, this long and difficult article contains results, like the generalisation of Freyd's theorem, which are worth alone the reading. And the overall picture which emerges provides a satisfying answer to the second question posed in the introduction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q326587$A81FDE74-CEA2-468B-8E34-13898B482ACD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb77f5186f9cb14515ec6d47004579f8ef5c92c","datavalue":{"value":{"entity-type":"item","numeric-id":4921420,"id":"Q4921420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a3f4633ce37270004ed2c0b66dcdd23ae449be","datavalue":{"value":{"amount":"+0.913371205329895","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":"Q326587$3E2FDDA9-1CCF-479C-91E9-6645740A0A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e97b09ac175782b74e5c460e9ac9043f72027e2d","datavalue":{"value":{"entity-type":"item","numeric-id":1193592,"id":"Q1193592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df03dcacf08f45fce1a5690b1fb9a38fc0de156f","datavalue":{"value":{"amount":"+0.7985721230506897","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":"Q326587$46E453C8-D3E9-46AF-83E4-D111F2C4578E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca99279604e38520778a075ce80afc10d08a31f8","datavalue":{"value":{"entity-type":"item","numeric-id":1320337,"id":"Q1320337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b415e9b2727aef7130c4ad9e1474980926df11d","datavalue":{"value":{"amount":"+0.7969295382499695","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":"Q326587$91A30D21-6631-4F35-AB72-B8B9E5E2B933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c87b0c14b080abcdcb2516758f6a0ba60161e","datavalue":{"value":{"entity-type":"item","numeric-id":3768900,"id":"Q3768900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"993fbf6c7b8fd990c6c75a4fa80728c8df8b3c12","datavalue":{"value":{"amount":"+0.7544822096824646","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":"Q326587$F3DBEFDC-5923-4AF1-8A1C-E334BF5AF8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75c29a9e841d715a0607f285af610409eb4f288","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27184d564276e691af28f0cc549543a56b5566b","datavalue":{"value":{"amount":"+0.7532809376716614","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":"Q326587$FFBA3869-1F4B-4C50-9FFF-8BB6FC119AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical systems. I: Internal calculi.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_systems._I:_Internal_calculi."}}}}}