{"entities":{"Q1315112":{"pageid":1325862,"ns":120,"title":"Item:Q1315112","lastrevid":46309236,"modified":"2025-12-24T13:14:49Z","type":"item","id":"Q1315112","labels":{"en":{"language":"en","value":"Generators and relations for \\(\\Delta\\) as a monoidal 2-category"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 510041"}},"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":"Q1315112$462FF78E-A274-4FB3-8341-ADA6DC14FA27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7030c6cd31d0c75b6771d68150b7d3b9c76608b","datavalue":{"value":{"text":"Generators and relations for \\(\\Delta\\) as a monoidal 2-category","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1315112$BF8BD3A2-763F-49E9-B8DF-6BC2BCD9F653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8539babd5da7cc22c2e131c1678b5d1358734c52","datavalue":{"value":"0791.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315112$FFA92203-3585-429E-91FF-054DA314F87B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4b52cbc985d8209ac20b19f54b132531f578d3","datavalue":{"value":{"entity-type":"item","numeric-id":638551,"id":"Q638551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315112$E1BF0343-6C16-4EF8-AC58-052DC65D0268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1315112$05FE2972-3BB9-4E72-9530-CF9166CDB4C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8db3fc0a2a1510d48c144800b5b724b46b6297ec","datavalue":{"value":{"time":"+1994-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1315112$802E6685-BCF8-4780-85C4-877CB01F1861","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d76f688797997f2240817f6232627c1d093b1781","datavalue":{"value":"https://eudml.org/doc/231527","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315112$1955A61E-C17D-4252-90B1-21CB5CC56AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0772f431c183ce0d249fca2f89457f5ab488d63","datavalue":{"value":"http://www.emis.de/journals/BAG/vol.34/no.2/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1315112$078ADF34-B0B4-4B05-9935-094011B51E47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e1892cb0ae7b094b8f0ada05fc9081471c1eb19","datavalue":{"value":"The category \\(\\Delta\\) of finite ordinals and order-preserving functions is basic in algebraic topology. Contravariant functors from this category were used long before \\(\\Delta\\) was defined, which was possible since the face and degeneracy maps together with the simplicial identities provide a presentation of \\(\\Delta\\) as a category. Ordinal sum provides \\(\\Delta\\) with a tensor product, and it becomes the free strict monoidal category containing a monoid. Pointwise order of order-preserving functions makes \\(\\Delta\\) into a 2-category; the presentation of \\(\\Delta\\) as a category can be extended, making use of the adjunctions between face and degeneracy maps, to a presentation of the 2-category. What the present paper provides is a complete proof of the reviewer's claim that \\(\\Delta\\) is the free strict monoidal 2-category containing a special kind of monoid. These special monoids arise in the study of completion processes; see the author's paper [``Monads for which structures are adjoint to units'', J. Pure Appl. Algebra, to appear].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315112$59755411-6A58-4A24-984A-F17CE5B5B8A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315112$4EAB02A8-DD38-46D2-B54E-ECD1075E1BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315112$650B9D49-89E9-46D0-B4FD-BA634117D0AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315112$7E8EABFD-85F0-4F37-A767-29A4BBA4EA4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9575cc533533de3c2fda0dc0e32651478d3d5ae9","datavalue":{"value":"510041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315112$57791998-C489-4940-8E7D-AD3E6BB87CD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315112$50B15683-348F-4687-AAE9-8A238A499094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01d22f5d8a653102f0bfc335f1ff6dff39b30ac","datavalue":{"value":"triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315112$314B3148-7C2E-412C-A534-D563C52ADAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"217bfec704c4a428986fc53eeaccda2c606e9452","datavalue":{"value":"doctrine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315112$3623B09D-4FDB-4117-B4A9-24451CC33179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11dcbbb45894448fb301678da6011c6a93802ae5","datavalue":{"value":"simplicial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315112$F380FDE6-1573-4149-A37D-07B56BFCB64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1315112$FD16A70B-03E9-4B89-A404-3C109ABA9419","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":"Q1315112$ACD6DBC7-2A79-42BF-9AE7-926DB52075A2","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":"Q1315112$12A92A2F-F53A-4E95-BAE1-FA34BC8D12C0","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"aec54c8a79986d8948b55f5bb3edd6da89ffbe58","datavalue":{"value":"bafkreigsl4a23zkmlrwmuduu7fe54of4jwdxxetvzuncne5v5bo7afa5ky","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1315112$AE250135-1AF1-4D3E-9684-08F671B67E77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25d6c9126910e33557c248546a05438a59588382","datavalue":{"value":{"entity-type":"item","numeric-id":3514792,"id":"Q3514792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d369466a920109d42cbf2c0b482aafc51e06b34","datavalue":{"value":{"amount":"+0.7986595034599304","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":"Q1315112$66D81B23-DA4E-4148-9BD8-CEA17402892B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"809819e896a5aa7d4e121a1c49ec5533c97fb1d0","datavalue":{"value":{"entity-type":"item","numeric-id":5454620,"id":"Q5454620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42452b557cd49ab11651e4ed885251f54d15bd48","datavalue":{"value":{"amount":"+0.7277278900146484","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":"Q1315112$C75FB100-2A70-4FC9-AF8A-D0E8945B8DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5699d7c6bb2637c26aec540c5b126d1e166c1a43","datavalue":{"value":{"entity-type":"item","numeric-id":5068203,"id":"Q5068203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c9a0b832cf313fd36288f3be63cf864e35e1a7","datavalue":{"value":{"amount":"+0.7074682116508484","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":"Q1315112$8255FE0F-0AB5-4B4E-B3A3-8BA8730AEA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6bebac43ce1f90b01c29bf8173b92055d554619","datavalue":{"value":{"entity-type":"item","numeric-id":2847352,"id":"Q2847352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631eaa3ca98a9251fbadb677d827aac51e8e014d","datavalue":{"value":{"amount":"+0.6973657011985779","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":"Q1315112$057EB4A5-CE22-4292-BDF9-FCB42D908E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9435d838e907038b9f7818b1c93f1fa61123fe","datavalue":{"value":{"entity-type":"item","numeric-id":3978966,"id":"Q3978966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d453078bf6db0c9ac8af57a513b4d44d94c7e0","datavalue":{"value":{"amount":"+0.6943502426147461","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":"Q1315112$E9BCB9C5-06B7-4492-B495-13BACCF9EB5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1315112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1315112"}}}}}