{"entities":{"Q6879481":{"pageid":20773444,"ns":120,"title":"Item:Q6879481","lastrevid":84216296,"modified":"2026-05-13T17:13:09Z","type":"item","id":"Q6879481","labels":{"en":{"language":"en","value":"The Kock-Mikkelsen factorisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8140616"}},"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":"Q6879481$A07B3A49-C237-4122-8214-266B6439E477","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c6fbf5442cbb0372af709b264d31186cbedb7a7","datavalue":{"value":{"text":"The Kock-Mikkelsen factorisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6879481$37787BE1-306E-40A7-A2C7-0A3C73FC6835","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de72623e2f10b3a52d56bb0b0f2237cb7db0c5b8","datavalue":{"value":"10.1017/S0960129525100340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879481$F9D5B887-7652-4EB6-BBB2-E2B4D45993BD","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":"Q6879481$18F12214-A58C-4E01-9610-EA9817DA4B77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$DB934BB2-B1F8-45B0-8CB8-62D36BB5C287","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11cbd9a6b07c2381cdc8b09e4439c018c2b94d2c","datavalue":{"value":{"time":"+2025-12-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6879481$B27F1886-5CBC-451B-BF6A-270B7DCC69B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8d2a47f152802f2165d5a9b057e6bfc8aea3401","datavalue":{"value":"This paper deals with the Kock-Mikkelsen factorization [\\textit{A. Kock} and \\textit{Chr. J. Mikkelsen}, Lect. Notes Math. None, 122--143 (1974; Zbl 0276.18001)] within the theory of triposes [\\textit{J. M. E. Hyland} et al., Math. Proc. Camb. Philos. Soc. 88, 205--232 (1980; Zbl 0451.03027); \\textit{A. M. Pitts}, Math. Struct. Comput. Sci. 12, No. 3, 265--279 (2002; Zbl 1005.18005)]. It is shown that any left exact functor to toposes admits a Kock-Mikkelsen factrozation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879481$8EEAB447-4C0B-4310-9DC6-5E1D1C6CB1CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$6029E47B-E7C5-4D70-A76F-9266BE28BB43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879481$24ACA128-5F36-4A2F-89B6-A4EDBD72B749","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ce0201976c519d0477a58adf2aa7e03c6730ebc","datavalue":{"value":"8140616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6879481$B24BE7B8-2339-45AD-9B0B-F27093EB4047","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$7BAE22C6-6E58-49FF-A1DD-5B4A1EF2E33F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e1a27388601c045a8d9f673692f60d4475ff15","datavalue":{"value":"toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879481$8142456C-7C76-4D9C-B480-6299CA602DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcef85661ca5a936092519bccc6870c9546829ab","datavalue":{"value":"tripos theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879481$85BA5255-5873-4C8F-92AF-9B5B29251992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3184b11a31d7da69732803fd79ace03f08629407","datavalue":{"value":"factorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6879481$181DFE86-8DE9-4995-B492-1C9499F8D427","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":"Q6879481$4FE25114-194A-4421-B0BD-6402757C1AEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f783fa9a1e82f31724598c45aa13de3c37cefb9","datavalue":{"value":{"entity-type":"item","numeric-id":3759010,"id":"Q3759010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$F90E90A9-EC7F-4C52-8B2B-0148832F0758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482eb08d55dc34e6a1889f78c2147d2068f9d8f3","datavalue":{"value":{"entity-type":"item","numeric-id":1234345,"id":"Q1234345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$5DE095CC-CD9F-4A4E-BD96-50FE088C7237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9429d2707bb89c502ce71f9ef5f3f820284fd138","datavalue":{"value":{"entity-type":"item","numeric-id":1588066,"id":"Q1588066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$FE11E571-DC63-4C79-9D71-2AE3A77BB182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d2a24d2da1b1ef12da726ca363611274d92e60","datavalue":{"value":{"entity-type":"item","numeric-id":2004956,"id":"Q2004956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$4CFA5A16-FCFA-4C1D-839D-505B473958AE","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":"Q6879481$ACB723BB-A67E-47D4-9670-2BFCBEC32796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf083bc541bf0c234dcd141ce046a20f00fdfad","datavalue":{"value":{"entity-type":"item","numeric-id":1139120,"id":"Q1139120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$0CC0C724-4584-44EA-87F3-CA8B4220DC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$30FA31F3-2495-45F7-A47A-2EDBBFFCF542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e628cb32f820f01acde7ab68a85c567b9c9866","datavalue":{"value":{"entity-type":"item","numeric-id":5616190,"id":"Q5616190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$8DAD5074-389A-447D-9D59-614A197E8516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc943c0daffba6c902908095f5bdee2c1a1a3b89","datavalue":{"value":{"entity-type":"item","numeric-id":4402503,"id":"Q4402503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$60EB817F-EA21-40A9-9C9F-16DF4686F130","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":"Q6879481$3A8BD877-1B77-40C4-AD83-2F5DDFD3AC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$077BC3B2-5831-4177-8CDD-18654F84DF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c4baeb806f8b5e8099897ee0948c9f54cc40974","datavalue":{"value":{"entity-type":"item","numeric-id":1105598,"id":"Q1105598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$C3CB5FA1-2543-4DF6-AF3B-A562042E1037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a176d58171f18c8c3f732fe4025ed6757afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1118588,"id":"Q1118588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$0DD13670-A5FE-4164-ADD8-6A09A6817633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09b7da4ef8d11f451d3e4ed909dc126ae1446d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1295571,"id":"Q1295571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$A0BCD5AB-953F-4670-902F-0BDB57872631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8737893d5b3402a36686827efc2c8b56ee9f764f","datavalue":{"value":{"entity-type":"item","numeric-id":2570177,"id":"Q2570177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$125A2A42-1FFA-408D-8A6E-AC8C8B502875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47357dc7566b31a484df0badb274a2eb37dbd905","datavalue":{"value":{"entity-type":"item","numeric-id":1861488,"id":"Q1861488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$8D934848-8379-47FD-A6AF-62ACED78B8DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b17eddf0a97a50d5e6bb02d41251530beda82a","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$A1202493-CE18-4758-9B57-DC41EEDA22F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b9cdca29a1a5e555958761ab3b627014a5aeb23","datavalue":{"value":{"entity-type":"item","numeric-id":6151820,"id":"Q6151820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$A7DF9B77-790C-4463-A4F7-58E9B89323DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$03BF9DBE-3042-42A6-8CA9-24047A97A3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8408c70ee08bb89f38d7bf08dc15a00244783172","datavalue":{"value":{"entity-type":"item","numeric-id":4106721,"id":"Q4106721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6879481$DB23271F-E4BC-45DC-91A7-929D7332AF01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Kock-Mikkelsen factorisation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Kock-Mikkelsen_factorisation"}}}}}