{"entities":{"Q4236219":{"pageid":6265820,"ns":120,"title":"Item:Q4236219","lastrevid":46591962,"modified":"2025-12-25T03:43:56Z","type":"item","id":"Q4236219","labels":{"en":{"language":"en","value":"Normalization and the Yoneda embedding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1268695"}},"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":"Q4236219$B52CDF1B-6DB6-4FB1-B1A7-F8AF539B83F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e266725278bfd09cb3dfe49085463a801545f9","datavalue":{"value":{"text":"Normalization and the Yoneda embedding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4236219$EBD8646D-A556-458B-AA9B-69B0BC7E7241","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c76ed0d02bcd8c074b42023ee02057f35926be4","datavalue":{"value":"0918.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$24F84CF1-62FF-49B5-BC57-DDDEFF8A53EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddaac26ad78110db63a841d6b11c6d2792434226","datavalue":{"value":"10.1017/S0960129597002508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$1FEBB866-A086-4294-B34E-80F221868685","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"595a32f0202bd696ee19a3e86e98d9dadfca6302","datavalue":{"value":{"entity-type":"item","numeric-id":1118586,"id":"Q1118586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236219$295F3F06-2C82-4026-9082-43BED9223C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236219$15BF9DD4-EEC0-472A-9ACC-22E393C9AAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4236219$D5306E60-4950-4FD7-8710-38E604D4BB5F","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":"Q4236219$EEAA4645-912E-4EBB-A073-3D111E8766E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4236219$AC9BCDF5-C5B4-4C3E-9EC0-49E42E2DF112","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$61E86260-FEF3-4BF9-8141-63595BCFC353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$0132D08D-595F-4E6F-80F7-BB629BC422D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$20F07568-D05E-4935-9564-2ACBFECFA2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$244DB611-B7FD-468D-94A4-2DBFE869F186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$0212B278-5770-4B8B-85EF-7910E0B110CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c33d84440c1aa61287163feedc143ebd369ba88","datavalue":{"value":"1268695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4236219$6F52FAB3-FB18-4731-807B-A5DB792E4545","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236219$E6B2A8EB-3EC3-4ECB-835A-A41A4FF58E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e157b6148d2007930c9c36849a227054e27c378f","datavalue":{"value":"simply typed \\(\\lambda\\beta\\eta\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236219$9AC7DB5E-F170-4D3D-AFF7-8368925C4F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c303d1fe9fa6041913eeeeedecc0562f8a969da5","datavalue":{"value":"categories of presheaves","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236219$38342523-7C93-4BC0-986D-7A27BD4245FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d48dd8c65c97dad8b3660fbfff19c59ff7d59bd","datavalue":{"value":"Yoneda embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236219$09DE4935-8F2B-497F-B51B-7A2333505BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74dbd93152a11a4db8087102376163a46bbe5e80","datavalue":{"value":"\\({\\mathcal P}\\)-category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236219$0DFB7C14-6D7A-42FD-AB97-B7EF814F16E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261290706ac27060b13867df9301f9682af329e","datavalue":{"value":"extraction of programs from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4236219$4860C9DB-0993-4D5A-AFC2-6083C35CDBE1","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":"Q4236219$1E7E1FC1-5F89-49FF-A71F-8A6B3CEEAB33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb04cffa79c10b94b46f43c3aaf14e7c6a69a84","datavalue":{"value":{"entity-type":"item","numeric-id":3024853,"id":"Q3024853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567b2eac3530f69dc44bfde86a6f02fb78e67767","datavalue":{"value":{"amount":"+0.7346394658088684","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":"Q4236219$C99F0BCC-4DFD-4628-905F-0DC7D44BBA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a074047db319b6dd5ec98482e55b83b30d92e36","datavalue":{"value":{"entity-type":"item","numeric-id":4982059,"id":"Q4982059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8113d530a859d431443fbbd5e103942fd6a45ce2","datavalue":{"value":{"amount":"+0.7308913469314575","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":"Q4236219$44EA41AD-D8E9-46FB-AA9F-A9634003A98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d74420cf258943078acf827f04e796a4e1c3aeb","datavalue":{"value":{"entity-type":"item","numeric-id":1107515,"id":"Q1107515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b86b6824bd00c28b35f8ee51d640834389ce6b","datavalue":{"value":{"amount":"+0.7224375009536743","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":"Q4236219$09AF7F08-90FF-44F7-8A1D-063D0C528B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4b9d54b0da3c4115311f34cdbd4e695260e620","datavalue":{"value":{"entity-type":"item","numeric-id":4536108,"id":"Q4536108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c1bff17fc8c5bfc6510969a9981161897ac7e0","datavalue":{"value":{"amount":"+0.7214758396148682","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":"Q4236219$6C00B1F7-C2F6-41BA-967A-46DDCA09C23E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4236219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4236219"}}}}}