{"entities":{"Q1898465":{"pageid":1909207,"ns":120,"title":"Item:Q1898465","lastrevid":71730375,"modified":"2026-04-14T00:10:18Z","type":"item","id":"Q1898465","labels":{"en":{"language":"en","value":"Why tricategories?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 797307"}},"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":"Q1898465$4666037C-9C5F-4F57-A491-4744F0390D81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f287fd6322633f3a9e8ed911859733466e0818bc","datavalue":{"value":{"text":"Why tricategories?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898465$D2B58C58-4E48-44AF-92CF-9342940A4B37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcc2caa664312fedb3f9576bb44abaae4de78801","datavalue":{"value":"0829.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$BD37D0A6-17BC-4DCF-9FC2-56038FE5D684","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898465$63F09EE3-C696-4F85-91EB-936E94BEEB1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4fdd99ec8f96ff9438419e475503c0497749c39","datavalue":{"value":{"time":"+1995-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898465$86C63CD3-4394-4F14-B26B-F2D70A1F2C2E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9d5ba3d61352651cafd08755149dc22c0d1c3dc2","datavalue":{"value":"This paper may be seen as a ``trailer'' for the author's recently- published monograph with \\textit{R. Gordon} and \\textit{R. Street} [``Coherence for tricategories'', Mem. Am. Math. Soc. 558 (1995)], aimed particularly at that part of the theoretical computer science community which has learned to appreciate the importance of category theory for the foundations of computer science. The author shows how higher-dimensional categories (in particular tricategories) arise naturally in computer science, and how the coherence problems which arise from such structures become of practical relevance. He also sketches how these coherence problems are tackled in the Gordon-Power-Street monograph; for detailed proofs the reader is referred to the latter.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898465$586D3453-B83D-4F1B-BB1C-2A3AF66B37BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$CAA675E5-6FED-4D86-BEFB-56082515D1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$DE4CE012-E8EB-4BA6-98FD-075A53D6E7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$7E2D18DC-818B-4ADA-9849-ED3D61FCC123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$89158D46-D6A5-4C6E-9524-4DC04165B0BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5511c01ceb6e497e1e4e009cb3d4e95e10f3f8a9","datavalue":{"value":"797307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$B09A6238-DF5B-4490-8260-6D5BF0E404CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89c7408a37a0426e2060f6d8b3072ea3f4f69bd6","datavalue":{"value":"foundations of computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898465$1596AE59-199A-4DCC-97A9-DB7297EFDF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f735228a05b1bada6cf4a053781533b37396ba8","datavalue":{"value":"higher-dimensional categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898465$8A0388C8-DD4E-48D7-9E50-207962390F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fb14adcd3441b6baeaa1f20b23396b1e2aaae7","datavalue":{"value":"tricategories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898465$290D6B5A-40CE-42E9-AD2F-4FDA8BF03607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898465$4E8CFD68-5A6C-483B-9525-668DFA4431DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"565f1e974a3c4f2a9296f8d7da6245d37c9ee773","datavalue":{"value":{"entity-type":"item","numeric-id":1584037,"id":"Q1584037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898465$7F37CFCF-5D16-46D0-8F24-8442BA882151","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":"Q1898465$8B2261AD-4755-4744-A3CE-BFCD2FE2E0C3","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":"Q1898465$AAE933A4-0867-4E14-80E6-696B720912D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05fd522ad0561dd5e5c00a0f97a4c31e6c3df83b","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1112","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898465$9F6B0A71-008C-4A3C-8758-0441382CE23C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a78829d6bd62ca7a9d5783030de11c765a80c195","datavalue":{"value":"W2914799684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$4E5A2ADB-B2C1-4004-BAF0-FC9939280FBE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55e1d8325133475feefd81739f06b55be9da7ef0","datavalue":{"value":"10.1006/INCO.1995.1112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898465$F18236B0-EC4B-408E-BEFF-CDB619F5EEDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc7248e32ae684143d1a6f5ef7810ab63c9a984","datavalue":{"value":{"entity-type":"item","numeric-id":3296105,"id":"Q3296105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6302799f5af6a292e4bbd5ef3dadb7f0199183b1","datavalue":{"value":{"amount":"+0.8848358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898465$931EC077-3267-43DB-8EAB-5AC84EF860D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af9da3e326f918e6f12a42a9b3f6b9302343eb","datavalue":{"value":{"entity-type":"item","numeric-id":4842009,"id":"Q4842009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b524150ffca2d091fb04c892e2ece4c4113d633","datavalue":{"value":{"amount":"+0.74797976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898465$64DB8A50-D5DC-4699-847F-CE2E90F59DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca71babc93bd3b31869416e8221633f6a7e3b28a","datavalue":{"value":{"entity-type":"item","numeric-id":2704786,"id":"Q2704786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7f6bf30fd28ffe8f54871b4f450bf255624138","datavalue":{"value":{"amount":"+0.7375842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898465$CD94EEEB-3327-4CDB-BF9E-22E00DD76433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174f976534dc8470bbc424e89cc6b67f46b2e885","datavalue":{"value":{"entity-type":"item","numeric-id":3173125,"id":"Q3173125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a82ecf130bc34b0d25e3baa06aa6dce2c29734","datavalue":{"value":{"amount":"+0.7280934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898465$10212DEC-5FDB-445A-94C1-B3FFA3334D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ca89717656b385da9af6915c67e4e7d89caa07","datavalue":{"value":{"entity-type":"item","numeric-id":4735315,"id":"Q4735315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f382e6d27a48eb80ec034414a561cb8c8786123c","datavalue":{"value":{"amount":"+0.7203417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898465$4CD1865E-00A3-4574-AC97-F4A98AB626C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e635596629f2057cf04730c567019c6200dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3353236,"id":"Q3353236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46824f0379e108847ef68ae6e19a2862bfac806","datavalue":{"value":{"amount":"+0.7123513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1898465$642CE4B3-F304-4F03-A585-8234E3D33D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why tricategories?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Why_tricategories%3F"}}}}}