{"entities":{"Q942212":{"pageid":944060,"ns":120,"title":"Item:Q942212","lastrevid":65510946,"modified":"2026-04-12T03:06:43Z","type":"item","id":"Q942212","labels":{"en":{"language":"en","value":"The category of 3-computads is not cartesian closed"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321428"}},"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":"Q942212$3CDC4F2B-284A-4F12-8221-8F6A290E2F38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"661b080bbe382fdc4c691aebae0fc30569d5f589","datavalue":{"value":{"text":"The category of 3-computads is not cartesian closed","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q942212$F163F2CA-8771-4334-96F5-5B73936E5F54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb2890eb7cec163bcdd9f00dbd1bcfe546c7a595","datavalue":{"value":"1155.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$7D318F9E-D113-40D5-9378-5D2758B45D05","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":"Q942212$6D63B2B2-E006-419E-88FA-2BD8AA362F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q942212$4600822C-F6D5-4A92-9C12-39AE0F5019EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e28fe64ff0a8b43d3cd551bc9c3cd08f09da564","datavalue":{"value":"https://arxiv.org/abs/0710.5202","type":"string"},"datatype":"url"},"type":"statement","id":"Q942212$F35E4DBB-CAA4-40A1-9392-2810281DB74B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"69d6a48f98e24233396fe1c259ce58bea43d9c3e","datavalue":{"value":"The computads defined by the reviewer for strict \\(n\\)-categories were vastly generalized by \\textit{M.~A. Batanin} [Contemp. Math. 230, 37--57 (1998; Zbl 0932.18004)] for a wide class of structures monadic over globular sets (= \\(\\omega\\)-graphs).  A 1-graph is just a (directed) graph; it is discrete when the source and target functions are identity functions. A 2-graph (or 2-globular set) is a graph in the category of 1-graphs whose vertex 1-graph is discrete; a 2-graph is discrete when all source and target functions are identities. Continuing, we obtain an inductive definition of \\(n\\)-graph. The category of \\(n\\)-graphs is a presheaf category and so a topos and so cartesian closed. A 1-computad is a 1-graph. Every category has an underlying 1-graph and that underlying functor has a left adjoint which assigns free categories to each 1-computad. A 2-computad is a 2-graph in which the underlying 1-graph underlies a free category on a 1-computad. Each (strict) 2-category has an underlying 2-computad and we have free 2-categories on 2-computads. A 3-computad whose underlying 2-computad underlies a free 2-category on a 2-computad.  Batanin [loc. cit.], following \\textit{A. Carboni} and \\textit{P. Johnstone} [Math. Struct. Comput. Sci. 5, No. 4, 441--459 (1995; Zbl 0849.18002)], claimed the category of 3-computads was a topos. The present paper proves this false by showing the category of 3-computads is not even cartesian closed. The impediment has to do with commutativity under composition for 2-cells between identities; a familiar difficulty when looking at computads as higher rewriting systems. Batanin has shown however that if we look at 3-computads for weak 3-categories (rather than for strict 3-categories), a topos is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q942212$54805A90-9A70-42E9-B3BD-056274CC37AB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c0c032067868ff55a80ca4512a724b32d77651f1","datavalue":{"value":{"entity-type":"item","numeric-id":590398,"id":"Q590398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$A2D62248-E1D2-447D-A8F3-E9B367BFC2F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9ca7ce31d5d58dbe274220a6e1fb57992f4db59","datavalue":{"value":"18D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$CF8217F5-415D-4A39-AF14-A841539DFB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$F37E184A-6A4A-4955-98B2-18702C1755D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02303c61036060136df3f7b7e22c52163746633f","datavalue":{"value":"68Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$82F4D864-693C-47D4-A6A9-50377B7A40A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$49F1D362-C1C7-4D87-9C97-E86577BB59F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a3255cc592cd591afad8998aa2a26960e7bd77a","datavalue":{"value":"5321428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$1FFCA75E-B030-4EA0-8A28-88A1DD8A1682","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q942212$118A3BCE-31D9-4D5D-B84C-B401F4CF3FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"594cc7172d3626cf9a2a1bfb47ea79c4422c0820","datavalue":{"value":"strict 3-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q942212$E8B7AADA-DF4B-4311-B844-7BC786C387C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac28363b1e3cc82a6230363363d736c38866033c","datavalue":{"value":"computad","type":"string"},"datatype":"string"},"type":"statement","id":"Q942212$CEAC6C77-9C01-4AB0-810A-F10CAF90C78F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a65d0161e2b1499280c869048154b5d85ad8a69e","datavalue":{"value":{"entity-type":"item","numeric-id":175558,"id":"Q175558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$DD9580CF-72F3-44EC-BF91-B471FF871578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dc31f7372c2291af6dcc50b5a56a72bcaee2213","datavalue":{"value":{"entity-type":"item","numeric-id":1319365,"id":"Q1319365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$54584FC7-FF51-4F80-A8C9-1F46EDF44496","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":"Q942212$DAAD1EEE-9AEA-4EE6-A054-DB797A5B1BDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81824431dd1a22a7f4cc384e37b00b3fe0a6ebd9","datavalue":{"value":"W2003846114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$142BC538-6666-44B5-8D4A-AFCD3540B3EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08a59f5b97fed0d6d3804fe0ef118cc8c3162fd","datavalue":{"value":{"entity-type":"item","numeric-id":4250401,"id":"Q4250401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$A32BC009-7F2B-4FBF-A7AA-B078979EF7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd0ba5e82c32fdcaf374f9a8a6e13f4266f82","datavalue":{"value":{"entity-type":"item","numeric-id":4882486,"id":"Q4882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$2E2B86A1-D67B-49CF-A0F0-EE0549D95BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8c6f0dd1916b82da45fb121df98a7ae5b53be0","datavalue":{"value":{"entity-type":"item","numeric-id":1588075,"id":"Q1588075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$9DD9AD69-FBCC-438C-97D9-E1F9306ECED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe495bb2f790c5b3a640dbf864625c57ad83d2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1229294,"id":"Q1229294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q942212$0EFC2269-8880-412E-85A5-22286B2CABD6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70e1a95277b45071beca31de04bf33472744ea97","datavalue":{"value":"10.1016/J.JPAA.2008.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q942212$6722EFAF-AD0F-4968-864E-9E014FA523E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6025c7fd38b9e2c0fc459705444d532d8101976e","datavalue":{"value":{"entity-type":"item","numeric-id":2826240,"id":"Q2826240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07639ce64b7e5b105a81ba0b22f8b7129ab68834","datavalue":{"value":{"amount":"+0.7768011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$0FCB7893-CB4E-411E-BCE5-51525C5648B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ba1fde1cf5ebadba97dee9e3e9303ba065500f2","datavalue":{"value":{"entity-type":"item","numeric-id":4250401,"id":"Q4250401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a24466f8a6d9220abb2694d33cb1b30d379c66b","datavalue":{"value":{"amount":"+0.74554855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$6D40E47E-7DB2-4991-8A32-666FB3AEF344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8aa7d8c49483d603c291a15bd8994a258fe26f6","datavalue":{"value":{"entity-type":"item","numeric-id":5308456,"id":"Q5308456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cfcbd0147949fb37a84615352d9d9e817a26840","datavalue":{"value":{"amount":"+0.7411338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$01775649-C10B-4EEA-BBB3-8711FC15B623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba882c2d8cda44ee125a9243900b70d1bbae9e42","datavalue":{"value":{"entity-type":"item","numeric-id":1610278,"id":"Q1610278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cac966662996de05a999f37249633c6289b7875","datavalue":{"value":{"amount":"+0.7328882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$712B2E79-B711-4B2D-B559-0B7FDC84ADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4b01ced40ed66da5df1a198fa9e2409a08ab0f","datavalue":{"value":{"entity-type":"item","numeric-id":2136121,"id":"Q2136121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85918d83e4358cd7546342771df5bf18956163c","datavalue":{"value":{"amount":"+0.73103946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$8D45324B-0AB8-4B3D-AE5D-C6957F3B57B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8633bc794080c14671d1dd354b14d5570d5750","datavalue":{"value":{"entity-type":"item","numeric-id":3461942,"id":"Q3461942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f102342999406ae2a7e7582c0241450def6fd3cd","datavalue":{"value":{"amount":"+0.72618365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$2A81F800-1ADF-42C3-B721-FF75D623AD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7043684f8030c728cfd6f3504322d8da3fdcca1e","datavalue":{"value":{"entity-type":"item","numeric-id":2837317,"id":"Q2837317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eff1f0cc502cdbad4f264fbc786d892c0fcfa5f","datavalue":{"value":{"amount":"+0.7199132","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$BE3941B7-9F96-4297-8F75-0C4C9D71DD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e272fc37182aa9c934a9f8ef96f68bcfc8b3ae81","datavalue":{"value":{"entity-type":"item","numeric-id":4366773,"id":"Q4366773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0702463c8d8dadb458271c504d7fca605d28a3","datavalue":{"value":{"amount":"+0.71848994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$883D97EB-4BBC-4399-AE9F-1D2394313FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fca9b9b81ae66c70ebefd8190389ad80f40ecf2d","datavalue":{"value":{"entity-type":"item","numeric-id":1825946,"id":"Q1825946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c88be41175582293d60defab17be9bd1c6112628","datavalue":{"value":{"amount":"+0.71711355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$20258A2A-F50B-4633-A89E-5824F8D91FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a911326c7f5db926390d27e3898289b49a8070a9","datavalue":{"value":{"entity-type":"item","numeric-id":276737,"id":"Q276737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb23ba8aa0899767a3defeca013a724c69a557a","datavalue":{"value":{"amount":"+0.71074533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q942212$59B4DC17-80AE-4C65-9B04-BA37F6821C3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The category of 3-computads is not cartesian closed","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_category_of_3-computads_is_not_cartesian_closed"}}}}}