{"entities":{"Q678828":{"pageid":680677,"ns":120,"title":"Item:Q678828","lastrevid":46728180,"modified":"2025-12-25T11:48:23Z","type":"item","id":"Q678828","labels":{"en":{"language":"en","value":"Finite models of sketches"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004389"}},"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":"Q678828$07F0F764-3475-4425-8C62-C236DB44B1DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"252cf1912a11c1cc626b3fd8cc77958d69c39cd6","datavalue":{"value":{"text":"Finite models of sketches","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q678828$15755514-CD2E-4E62-91B7-6068C92C08B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5472bea0c39bd513aff69319e626173892f08038","datavalue":{"value":"0867.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$E1BD435E-027A-4C98-B535-D113CEA5996B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"defd5f4559bd318ababb0234f1aa6dd1be937461","datavalue":{"value":"10.1016/S0022-4049(96)00159-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$C7809362-66E8-46EA-AEA0-BC8ADD8EB05D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$5ED95244-9455-4896-A722-B78D3DDA4B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b93a7088f0f3f3d6d8299d78aae3a1d1876d975","datavalue":{"value":{"entity-type":"item","numeric-id":178140,"id":"Q178140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$6C0D45FC-1F4B-4835-ADDD-E7B84ADF0D7B","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":"Q678828$EF1F8937-5D70-4328-9650-382297C461C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b55b40827dd032c1078babc37101bd70ae56ee5","datavalue":{"value":{"time":"+1997-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q678828$51BD68BC-6667-43B2-8F22-E5A8F5D33180","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e8a0fc9624167ed7052870a187afe948402e67f8","datavalue":{"value":"A quadruple \\(\\mathcal S=(\\mathcal A,L,C,\\sigma)\\) is called a sketch if \\(\\mathcal A\\) is a small category, \\(L\\) is a set of limit diagrams in \\(\\mathcal A\\), \\(C\\) is a set of colimit diagrams in \\(\\mathcal A\\), and \\(\\sigma\\) is a mapping assigning to every diagram in \\(L\\) (or in \\(C\\)) a cone (or a cocone). A model of \\(\\mathcal S\\) in the category \\({\\mathcal S}et_{fin}\\) of all finite sets and mappings between them is a functor \\(F:\\mathcal A\\to{\\mathcal S}et_{fin}\\) such that \\(\\sigma(D)\\) is a limit (or a colimit) of \\(FD\\) for all diagrams \\(D\\) in \\(L\\) (or in \\(C\\), respectively). Let \\({\\mathcal M}od(\\mathcal S,{\\mathcal S}et_{fin})\\) be the category of all models and natural transformations between them. A sketch \\(\\mathcal S\\) is called coherent if every diagram in \\(L\\) and in \\(C\\) is finite and every colimit diagram is either discrete or an epi-specification. If all diagrams in \\(L\\) are finite then we say that \\(\\mathcal S\\) is geometric. Two sketches \\(\\mathcal S\\) and \\(\\mathcal S'\\) are equivalent if \\({\\mathcal M}od(\\mathcal S,{\\mathcal S}et_{ fin})\\) and \\({\\mathcal M}od(\\mathcal S',{\\mathcal S}et_{fin})\\) are isomorphic. For every sketch with countable limit and colimit specifications there exists an equivalent coherent sketch. If there exists no measurable cardinal then for every geometric sketch there exists an equivalent coherent sketch.","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$F3FCBD8C-CAAB-4870-8F6B-BA245D9B13E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea9528584418a6ec9fe52282119ea36bf7d92b18","datavalue":{"value":"18C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$A6714151-FBDF-4C99-A459-5F4ECD521DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$103647EF-EDA6-47EE-9F28-651FFB4F5761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$6C13E7AE-46ED-4E17-8419-7C47F22AFE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bed973268be96744b8db60caa0543ff50965a902","datavalue":{"value":"18A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$3012230D-F53E-4C07-8469-A762F501CE03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"684c34d2d0854bd2199adcf94978a6ee6f72655c","datavalue":{"value":"1004389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$ED6DB280-6D7B-4FC4-AF78-D5261044239B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e6331dfbf4973a8f4b1848bbf5e00e2308f757d","datavalue":{"value":"sketch","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$0137EEDF-05E1-45E4-8637-604DD72D223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25d423a47f8cd79115938402bc44232e73fb88a","datavalue":{"value":"limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$1E999FB2-F0C9-4223-8275-0F92CFD2E588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c24621afd3ab344bdbc8bab3c7765f51725ec4e","datavalue":{"value":"colimit","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$67607CDF-1DCA-429B-BE37-AF2ADEC1B2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$6B34FBA4-FA7B-423D-814B-070ED3E89056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c288c642b0c4101c3cf7c676a7ade36e5b404861","datavalue":{"value":"specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$47F2A24D-8E85-42B8-9512-DFCE20E392B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d05e3b4848f1c5fc4abe6d3027ac7da7539cb8","datavalue":{"value":"measurable cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$107D4E9A-CE02-4323-B0DF-72D06779783A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q678828$D2CDC98C-B27E-47D1-83F4-CFF4201BBF7C","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":"Q678828$2F38C6B6-A5B2-48B2-B65B-0E8377381E86","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":"Q678828$2C1474FC-6816-4F63-9D71-9C3A62A8A0D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aade468f8f08576325043b59a5174cfca5ddfc30","datavalue":{"value":{"entity-type":"item","numeric-id":4372902,"id":"Q4372902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$9DBBB11E-798F-4F10-AC7A-76C7238DC18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$0815BCD4-86CB-4ADD-B0D2-6477245DBA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854b30e3ee18cb2b1f636722d7908b0c3d407978","datavalue":{"value":{"entity-type":"item","numeric-id":4862760,"id":"Q4862760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$D3805349-CEFE-4748-A0AC-2C8CFA9FCC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d934f98e2b15d4da9bfddd0f2e036c2e29460b42","datavalue":{"value":{"entity-type":"item","numeric-id":1256043,"id":"Q1256043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$D29B4116-FCD4-4FE9-903A-570E0FEBC67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17ee0fcef59fce8c47740626601570182cd685cc","datavalue":{"value":{"entity-type":"item","numeric-id":2841498,"id":"Q2841498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q678828$8D99CBB4-B564-4CD0-B4B3-D749F68F6A85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d31a2933629bf87dd63d782638ed96bb7f629203","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(96)00159-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q678828$50F2DE45-BC14-44B3-9295-FAABF8B09D23","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"094f9436948a3a1bd8c194eb4460f7e44b773d6b","datavalue":{"value":"W2069758545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q678828$78679392-50F1-4171-9BFF-FAB6DA64BFBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1526bca91f2b31cc50b5731508485c39bf0c3c04","datavalue":{"value":{"entity-type":"item","numeric-id":3724516,"id":"Q3724516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f187416b321c8197d1dda799787ec211726c6caa","datavalue":{"value":{"amount":"+0.9150980114936828","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":"Q678828$1876DF05-D607-421D-B8E3-547D9D781BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf23f791632e7792227eb37e636824f5fbf4a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4372902,"id":"Q4372902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9967980c72f078be6653ee2905ce928f12df68cf","datavalue":{"value":{"amount":"+0.8808574676513672","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":"Q678828$4F0781B7-6163-40C9-8149-3E52D911AEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b157fb2b561a2f16d882a726eaae43b998e496fe","datavalue":{"value":{"entity-type":"item","numeric-id":4024808,"id":"Q4024808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adabbb03c9182d574b1300350cc514ceb958456a","datavalue":{"value":{"amount":"+0.8509671092033386","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":"Q678828$FDF3DBBD-0AF8-443B-9FEF-A19DFF6D9657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6062f7ab416a51211a9bdda6a5812b17d09fdc25","datavalue":{"value":{"entity-type":"item","numeric-id":4222895,"id":"Q4222895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c1c7c2984a61371a3a61447b57908ff1d32280","datavalue":{"value":{"amount":"+0.8502139449119568","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":"Q678828$95D6C556-F4FC-4315-A2BC-5A3F67B992F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b96ea47587e4ea48dd350c872a27d5db73d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":1923801,"id":"Q1923801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801876c7c2f2e730e21827dcc0722ceb7f1a033e","datavalue":{"value":{"amount":"+0.8470749855041504","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":"Q678828$4991E263-6FE6-4D46-944F-0C6AB9B9A1E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:678828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:678828"}}}}}