{"entities":{"Q1112159":{"pageid":1122908,"ns":120,"title":"Item:Q1112159","lastrevid":66752685,"modified":"2026-04-12T12:37:59Z","type":"item","id":"Q1112159","labels":{"en":{"language":"en","value":"A small complete category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4077514"}},"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":"Q1112159$64D97458-C1C3-4453-9B5F-C29B3A72C367","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d58c266486ea76a29dfefb3e6c3efe3eee5a414","datavalue":{"value":{"text":"A small complete category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1112159$C8DB2310-32FB-44F8-8DA1-A0DBF9E0C378","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd8d0d114a06fe27608082ba35ed5b254932f806","datavalue":{"value":"0659.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$F3BBF424-D259-4B85-A3E7-156E7BDA809A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b347e844d3cb8b763fa7387f86b28171173f000e","datavalue":{"value":"10.1016/0168-0072(88)90018-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$6D37F087-BD4C-475F-8C32-9550E082D978","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$944B83A4-7AEA-4165-9814-008B14AFB163","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$5B7E7A44-F652-4A36-9598-72DEDE03D97C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1112159$DC45F33C-E3C1-4AEF-B0ED-269A4FE21931","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4906d1df5c2dff372a1cb08e4e5fa664e572c84e","datavalue":{"value":"A well-known result of classical category theory asserts that a complete category which is small must be a preordered set. It was first observed by Eugenio Moggi (unpublished) that this result is not true constructively, in that the category \\(\\underset \\tilde{} M\\) of modest sets (in the sense of Dana Scott) forms a small full subcategory of the effective topos which is complete in a suitable sense. This paper presents a careful and detailed proof of Moggi's observation: the care is necessary (in defining the notions of small full subcategory and of completeness for such categories) because it is tempting to believe (as the author freely admits he did for a time) that \\(\\underset \\tilde{} M\\) satisfies a stronger form of completeness than it actually does. The paper ends with a brief discussion of the way in which \\(\\underset \\tilde{} M\\) may be used to construct models for strong type theories such as the polymorphic lambda calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112159$E2961089-C7E1-4BE8-AF13-4D165E0305FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$B35E5053-CB5A-4C4B-AF92-F7DF1FA61151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$E85A39E9-DBA4-4A7B-8D54-CA67A18D2DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$61684D92-B556-465E-A87E-EACA667B7EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$F0FD3AB3-B18B-4B75-BC5B-7786A140C37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$9D4A7058-7A4E-41D6-9B50-EFE9A3A70F8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d9793fa391f0cca11f2725780a51dac3913382","datavalue":{"value":"4077514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$903D17B0-3C00-41BB-A9B3-76D960446718","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39b12e2f09d259e2449288f2215a4ab48fc9bf5d","datavalue":{"value":"category of modest sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112159$DC62A99F-9A27-4956-B4F2-CEF563A0FA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40d5abfe80d283769c80d42437159fc19c834734","datavalue":{"value":"small full subcategory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112159$175B0F1B-E70D-46B6-8883-9D57BDCF02AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112159$F3B25945-CC4A-40D0-9E5E-B6B78E0982C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a16a5ae2d12dfca8ec199347a29aa9ba50fee7c9","datavalue":{"value":"models for strong type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112159$98B7622D-685C-4BB5-AF60-B6D64AF2900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f5eabe7c41b96917fe1a113ef23895b7a2cfd3c","datavalue":{"value":"polymorphic lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112159$BF906041-547D-479C-AB02-0181A9F348FD","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":"Q1112159$53D399F9-E5EE-484C-845A-8868AA52EF60","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":"Q1112159$487E55D5-1A94-4DC4-ADCB-E5D9725C73F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2653aef06c03fe6dfc32b13d4841b21192d5a316","datavalue":{"value":"https://doi.org/10.1016/0168-0072(88)90018-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1112159$37795F15-F522-4DD1-896D-59C9BFF93701","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2acafa23f188b8055c4981866cf7d93f33b37e37","datavalue":{"value":"W2086061699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112159$0DBCDFD0-E708-4328-AE93-4F003567084B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb1487200638e3f9441e8913bfd2f4d0995a3fb","datavalue":{"value":{"entity-type":"item","numeric-id":3677911,"id":"Q3677911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$873DE55F-4FF9-4ADF-B198-EEC235906FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a560a6ffb5c4d05293e32c5701628ac370d7722a","datavalue":{"value":{"entity-type":"item","numeric-id":3869509,"id":"Q3869509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$B0486625-3511-4173-B229-E89B7320ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$213B8BCF-1EB6-4C9D-9ECB-79A4A5EB6F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$0BCF08E3-BF19-497F-89A3-5B6E7AB62D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0011f65a95514861d982f4c78eabd721da7a8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3855354,"id":"Q3855354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$10093E77-9213-4301-826B-8736274E6769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84fc7188193dcc24094147cdb1f19183b0e45997","datavalue":{"value":{"entity-type":"item","numeric-id":4047540,"id":"Q4047540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$E16E4723-DE05-406C-9560-551ACC8FBCA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d036040bf3ed5c2e1ffac6f62b9b04d9e598837b","datavalue":{"value":{"entity-type":"item","numeric-id":5665316,"id":"Q5665316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$09526D9D-71D9-45A3-93AA-1B9EDC46CA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$1767654C-B036-4FEE-B9A3-4A366E6978C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$6649B27A-F945-474E-B242-6415B67CA1AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$78A2AC3E-4B63-41E5-A09C-6647D65FC00A","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":"Q1112159$5463E455-66C9-41D8-89A0-78EFD78B2A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$DDD5566F-50E6-467E-8038-E67406EAA620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac3bd59819bab3c20ab46afa2f257091fcd8fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5344164,"id":"Q5344164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$D542DEB8-E12B-48F0-8812-FF6E1A632D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$52A09963-FDC9-4A21-BC05-AA2C444270A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$355FCE42-CD9F-49D4-9FF1-53C18822C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$856BC14A-689F-4488-A3CA-42B0B11FAD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cbe19fcefeee0f7452f0785bfac52068f96015e","datavalue":{"value":{"entity-type":"item","numeric-id":4170869,"id":"Q4170869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$D6CD0718-EE35-4770-8ED2-D192BBEAB24F","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":"Q1112159$98F06A95-E91B-4357-BFE9-4B4FC1C56B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$BCDE2825-6E10-4EFE-997A-A6BF3A3F0D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$810C2400-DDE3-4364-88C3-036013B44E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a318a20654fe6d18f6eb39f1a9161b15bf9565b","datavalue":{"value":{"entity-type":"item","numeric-id":3768869,"id":"Q3768869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112159$B314A950-BDE1-43AB-BC64-2074BEFE778A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10000d0023d96e1809ad6e120fbfdc798be0013","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4e23f72075ec3c2697f6b54976046f0983521e","datavalue":{"value":{"amount":"+0.8430823087692261","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":"Q1112159$02B07473-60D0-4BE4-8E80-F3CF143360CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b45071292a462e89b786ae60665cd6b4ae4ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1896485,"id":"Q1896485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c9181a5e8b2df99c3cbcf7e137fd365f1ab6352","datavalue":{"value":{"amount":"+0.8091643452644348","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":"Q1112159$3776ABEA-0A4F-4F71-BD46-871AD99BDA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eecda4b2c863841a6b264973f5c7ecb4f7a07bc5","datavalue":{"value":{"entity-type":"item","numeric-id":2310781,"id":"Q2310781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f1b15a1c8f307e3a2d1d94ea67f541241c97ed","datavalue":{"value":{"amount":"+0.8034120202064514","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":"Q1112159$7DA33F1D-FB65-4B3E-835B-21FC2AFA6AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d613266a205ae7002f2a9e340aa1636a5df73b","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1cb5e63b507d343c2e91bbd2deb192fe78afd5","datavalue":{"value":{"amount":"+0.7889397740364075","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":"Q1112159$C08B0EFA-9750-494E-9052-FFF718BDD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601778df992e1ee86dd5fa66c6fecab935d3743a","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca05dcb225c77d990e6d7cbe1cb78368e2c3e79","datavalue":{"value":{"amount":"+0.7687298059463501","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":"Q1112159$9A000479-BB82-43E1-AC54-9F49B2016460","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A small complete category","badges":[]}}}}}