{"entities":{"Q418912":{"pageid":420679,"ns":120,"title":"Item:Q418912","lastrevid":61727580,"modified":"2026-04-11T01:14:55Z","type":"item","id":"Q418912","labels":{"en":{"language":"en","value":"Non-canonical isomorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039246"}},"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":"Q418912$59738A2E-0DF7-4E2B-97DD-CFDCA452970D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3d5cc2c6952d33b07d18cca0a17aab1e6ba0a9b","datavalue":{"value":{"text":"Non-canonical isomorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418912$8AFD3A9B-411A-4D46-8FAD-DA2BF944B098","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e5c574fbaf0930e5e06f2bbe1a633ddfda733cf","datavalue":{"value":"1256.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$57F55BE9-0B45-4633-88FA-A15F1A697649","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"072eccf7c5410d4251bc74bb0051dfd105c0c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":194948,"id":"Q194948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$A3C79287-1188-401F-BC39-8CF41676D2B7","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":"Q418912$9147DD88-B787-4785-BD8D-CB196640F370","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418912$D8449EAA-A02C-42B5-8958-17EF82A43409","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff44491bc60c5df18f47e817cb9017ba1347afb7","datavalue":{"value":"https://arxiv.org/abs/0912.2126","type":"string"},"datatype":"url"},"type":"statement","id":"Q418912$7F9E14C2-8049-4EFC-9AD1-655B8C4813D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f68e06ec506820e62b3210862b300fec91b68b59","datavalue":{"value":"18A23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$8BF1838E-A22D-4DAA-ADF9-E6093D54BFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$E19F08B0-534A-405A-9DCF-A6EDD3BA55C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$F1F87088-B517-4E7A-99AD-04766C406E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$1890D999-1481-41C3-B7FC-B9B4D3C23EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fabc1911e3f51c2521729db77280e58de711c447","datavalue":{"value":"18D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$391D053D-DD4D-4113-B3E7-598BD99E4519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"db94c21dbe04274a9c1fa5aa1b0593fe4bfa07c1","datavalue":{"value":"18E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$2B8FA286-1301-430E-AE1F-5F98F9892940","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03c8ebe4a9f6c13731284fee1c78877158cce9d4","datavalue":{"value":"6039246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$5CC07F8F-4283-4CB2-BEB7-FFF6AB007BC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6979d565b3e6f0123a9d7a9e6bd0fc6fe9d71f86","datavalue":{"value":"(braided) (strict) monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$03A578E4-A53A-4481-AEAB-2B500F9D1C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c130916f8135118aabcf2f41433126aa9fe49ece","datavalue":{"value":"(canonical) (invertible) morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$32FB2F75-D07C-4803-9EB6-F198157707FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d716b67c5166322f755e9fd254f766f23672f986","datavalue":{"value":"(finite) (co)product of objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$F16EE036-30B8-43BD-BE1C-E31F132B2B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5922009a631a97cd2e52a6ee9c92dcc7f1891d","datavalue":{"value":"(distributive, enriched, pointed, semi-additive) category","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$DC46BAB4-5F7B-4653-9612-C4D58F928C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d2b52a0b32fa1d0122baa16c4377804a4abf855","datavalue":{"value":"(initial, subterminal, terminal, zero) object","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$3D37FC9B-64F8-4216-866E-002F65E3DC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36c65124a5826d8ecba71d228ea0788b0eec4cb2","datavalue":{"value":"natural family of morphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$675507F2-D89F-44F2-9B83-3F579760FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d076d557c6fd13a5de584871cdc10ba69a6c23d","datavalue":{"value":"(normal, strong) monoidal functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$E28E55C0-70F8-4403-9DB3-7E526C87B3B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7d067c039d76d8162114efbe354faa93c02c9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":277551,"id":"Q277551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$D2F2B340-1E34-4DDA-A7A8-13ED97B4B1C7","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":"Q418912$23743053-8198-4ECA-AAC4-F27BD771E173","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"577cde72ae87ff821d901768475c272fbf43e233","datavalue":{"value":"W1966428588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$54C405D2-1AD9-4E51-A94F-4452D1D93A97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e868a5c7cbd636fbef399510a387c88bc5a5391d","datavalue":{"value":{"entity-type":"item","numeric-id":2849875,"id":"Q2849875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$7F10937D-68C2-45F2-BF3B-082908D32D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72724dd7d6c689a7b75cfb5d2b5463f141bcbafe","datavalue":{"value":{"entity-type":"item","numeric-id":1208223,"id":"Q1208223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$F7760934-4549-4A03-B8FD-89278554D5C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d96d47e70546f90af4113e353ec8a83137be18","datavalue":{"value":{"entity-type":"item","numeric-id":4282805,"id":"Q4282805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$0BCE2DA4-05DD-4DFB-9163-D2ECBE27557F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$DB61ECDC-2DBF-437E-8992-1F2A21318710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439ff1de4a25ce425aff3996f741b68a86882ed","datavalue":{"value":{"entity-type":"item","numeric-id":1320266,"id":"Q1320266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$2A8AEC5A-74D9-439C-ACEE-3DAD3EDED738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418912$3819A8FA-B1D7-4531-B276-D629167374C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2c5320a8a30490f1d7397ba89277a6092262b7b","datavalue":{"value":"10.1016/J.JPAA.2011.07.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418912$067F2BA0-2D1E-43C6-A1D0-DB4BC76EDB94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed4f5aa11b4f322101d093378e2ea983544f6816","datavalue":{"value":{"entity-type":"item","numeric-id":5360392,"id":"Q5360392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f009e069c101553f356b879944ca8e7a56bab21f","datavalue":{"value":{"amount":"+0.75544846","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":"Q418912$2A5AD0D4-99E1-4B6C-92C6-82D04C99C775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f683850f00982e689de9c7c11754111bb333776","datavalue":{"value":{"entity-type":"item","numeric-id":5949341,"id":"Q5949341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d527f355a4ce55c4f94386f8553b7b38e71633e","datavalue":{"value":{"amount":"+0.7438392","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":"Q418912$8672EFD2-B87E-401C-8B85-C789DAD2EFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19897d9d47b07b9ca85e86f773204e13cfdbf639","datavalue":{"value":{"entity-type":"item","numeric-id":5415638,"id":"Q5415638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa61f67d2489d1656c221a26749686ec6a085423","datavalue":{"value":{"amount":"+0.7366884","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":"Q418912$D5A9AC88-EDE5-43F9-87CE-32C6C1F5786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5609314abea710abb178bf29cde295bd02b5400","datavalue":{"value":{"entity-type":"item","numeric-id":321896,"id":"Q321896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590f42dba3f6cd40987a40d62b720c699e09226c","datavalue":{"value":{"amount":"+0.73551637","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":"Q418912$ADD0BDE1-3438-4CD0-8B05-5287ECE75A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2da3af034217c73d0fe676829d19759e835562b","datavalue":{"value":{"entity-type":"item","numeric-id":2044563,"id":"Q2044563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aff4aca971f500ada6183982bf5665a040d16509","datavalue":{"value":{"amount":"+0.7245753","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":"Q418912$716BF613-746F-41CB-8D83-7878BE8ADD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5773a18d4e248041fe3fa50c6ecea07b9664e409","datavalue":{"value":{"entity-type":"item","numeric-id":3463912,"id":"Q3463912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72f7f73e484a18f4fcb6c11537536d0cc8bf2c3","datavalue":{"value":{"amount":"+0.72048676","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":"Q418912$EB709DB9-B49B-48AE-AD07-D7EEB7F1AC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9741e1c6b5c1a7bd7bff18bae452d5a2d5b74941","datavalue":{"value":{"entity-type":"item","numeric-id":792442,"id":"Q792442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e61d62d5f426db23373f3e0b048a38932d0051d","datavalue":{"value":{"amount":"+0.71843076","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":"Q418912$FE5358F2-037E-47B9-87E2-2267741586E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffce19ba4e3b483cecd42d6c407a9e523223eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1399150,"id":"Q1399150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d541f5591c39846e2a07dd9978fd567c7c8c55a","datavalue":{"value":{"amount":"+0.7171696","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":"Q418912$CA89D51E-DC18-4C88-B0D2-9CD06F90741E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec536cc3e19250bcff4d4d50212e149dd8a25f76","datavalue":{"value":{"entity-type":"item","numeric-id":4871252,"id":"Q4871252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a06b4e443175443c425354ae194680118aab8a62","datavalue":{"value":{"amount":"+0.7116463","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":"Q418912$5D8FB978-B6CB-4E45-9C8C-3DEF9751A7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4946d5758b76ae9dc55eb19f1c393d9346590966","datavalue":{"value":{"entity-type":"item","numeric-id":3800241,"id":"Q3800241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27392f3930f6798e483573875550fa00a56d3bdc","datavalue":{"value":{"amount":"+0.71035755","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":"Q418912$BFB39585-B256-4D2E-B20C-C9E0B9B9FE6E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cba47fd64a6b2a355f99d9cc9413e554b89b36f4","datavalue":{"value":"A category \\(\\mathcal{C}\\) with finite (co)products is called \\textit{distributive} provided that for every \\(\\mathcal C\\)-objects \\(A\\), \\(B\\), \\(C\\), the canonical morphism \\(\\delta_{A,B,C}:(A\\times B)+(A\\times C)\\rightarrow A\\times(B+C)\\) is an isomorphism (which is equivalent to the statement that for every \\(\\mathcal C\\)-object \\(A\\), the functor \\(A\\times-:\\mathcal C\\rightarrow\\mathcal C\\) preserves binary coproducts) [\\textit{A. Carboni} et al., J. Pure Appl. Algebra 84, No. 2, 145--158 (1993; Zbl 0784.18001)]. Moreover, a category \\(\\mathcal C\\) with a zero object and finite (co)products is \\textit{semi-additive} (namely, is enriched over the category of commutative monoids) provided that for every \\(\\mathcal C\\)-objects \\(A\\), \\(B\\), the canonical morphism \\(\\alpha_{A,B}:A+B\\rightarrow A\\times B\\) is an isomorphism (equivalently, the identity functor on \\({\\mathcal C}\\) takes binary coproducts to binary products) [\\textit{S. Mac Lane}, Categories for the working mathematician. 2nd ed. New York, NY: Springer (1998; Zbl 0906.18001)].NEWLINENEWLINEThe paper under review proves that in both of the above-mentioned cases, it is enough to have not necessarily canonically constructed (but still, natural) isomorphisms (Theorems 4 and 5 on page 595, respectively). The author then shows that his two results are particular instances of a more general theorem, which involves braided monoidal categories and strong monoidal functors (Theorem 6 on page 596) [\\textit{A. Joyal} and \\textit{R. Street}, Adv. Math. 102, No. 1, 20--78 (1993; Zbl 0817.18007)]. As a consequence, one arrives at, e.g., the dual of Theorem 3.3 of \\textit{M. Caccamo} and \\textit{G. Winskel} [``Limit preservation from naturality'', Electron. Notes Theor. Comput. Sci. 122, 3--22 (2005)], which provides a sufficient condition for a functor \\(F:\\mathcal A\\rightarrow\\mathcal B\\) between the categories with finite coproducts to preserve the latter (Corollary 8 on page 597).NEWLINENEWLINEThe paper is well written, conveniently contains the necessary preliminaries, and, moreover, both the obtained results and their proofs are clearly formulated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q418912$1DC9C6CC-55D4-4CBD-940F-F7B6240D9411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-canonical isomorphisms","badges":[]}}}}}