{"entities":{"Q879364":{"pageid":881212,"ns":120,"title":"Item:Q879364","lastrevid":65075538,"modified":"2026-04-12T00:09:32Z","type":"item","id":"Q879364","labels":{"en":{"language":"en","value":"Core algebra revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5151779"}},"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":"Q879364$39DE7933-D0AA-40CB-AF59-86EC55A9C98D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b40a7274a4efe317594002e36007d80b21044877","datavalue":{"value":{"text":"Core algebra revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q879364$A2852536-E284-4620-A3F7-110DB716F5DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"530c821a58959b8ca287e1ba48ee306830d55028","datavalue":{"value":"1118.18004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$CB130694-013D-4F97-86C0-DB539EC1F23A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879364$9DDBF8D6-C8BB-42A2-9E69-A203EA3F8FC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cbd0eb8b100807c851c8df9ae7f8fa5376f95dfe","datavalue":{"value":{"time":"+2007-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q879364$BA056246-E232-472C-A4FD-C9A0A7B0A43B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"175df5c3efe890a9b72c4b9d5aa0e4e9395c2719","datavalue":{"value":"Motivated by \\textit{John Reynolds}' work in parametric polymorphism, the author first defines the notion of core object in any category with finite products, as an object \\(C\\) together with a natural transformation \\((-) \\times C \\to (-)\\) which is universal among such, in the sense that any other natural transformation \\((-) \\times A \\to (-)\\) is induced by a unique morphism \\(A \\to C\\). Examples in the category of \\(M\\)-sets, \\(M\\) being various types of monoids, are given in details.   From this definition, the author then extracts an equational description of what he calls core algebras, which, in his own words, can be seen as ``something of a generalization of commutative monoids''. He shows that his equations are complete, in the sense that any equation that holds for all categorical cores is a consequence of them. This follows from the fact that any core algebra is a subalgebra of the core of some category. The completeness of the chosen operators is proved in the author's recent paper [\\textit{P. Freyd}, Theory Appl. Categ. 18, 303--320 (2007; Zbl 1139.18001)].   It is also shown that every Grothendieck topos has a core, but not every elementary topos. Using an appropriate example of a functor that does not preserve core objects, the author concludes that ``the core [\\dots] requires more than the internal logic of a topos in its definition. What is required is polymorphism''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q879364$F00BE50F-295C-481B-88B1-00F2E6BB4C2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$239C214E-2128-4F17-A1ED-33348ABD75DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$AF2E006E-4E9A-4131-9777-B3DAE816B99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$33C2303A-2AD7-4DE6-85E7-80B01AC2411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$B47CD0A9-B28B-4FEE-86B4-1CC53DA7E86D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fbff1d795e1ccd02efccfc53133712ccb00c928","datavalue":{"value":"5151779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$6072E721-C3DB-4350-A589-1879F89E6448","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q879364$ABCBA916-DA0D-423A-B9FD-E9C2E8D8B0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fe810434f585fa0203aea78467c3725c30107f8","datavalue":{"value":"parametricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q879364$ACB5C1A3-DE58-44D2-8E87-F054828147B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d239aa3b988e12d0f8185e589a0c0bed818c36e","datavalue":{"value":"core algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q879364$5C9755E3-AAD2-4FF7-B6B7-EE028F7D1859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcec4bb20020ff14510916f3de45cb0a08b940b","datavalue":{"value":"Reynolds","type":"string"},"datatype":"string"},"type":"statement","id":"Q879364$4654B9A1-F587-4735-A830-4A2FDB38DF4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393cb06a1b35c9b2bbc65f1c43f6792dbf163865","datavalue":{"value":{"entity-type":"item","numeric-id":1393468,"id":"Q1393468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879364$0ECCAF4D-FCA1-4395-A408-BC72603BF73E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db3a1994945c9059c27b37df87c537414d98edd9","datavalue":{"value":{"entity-type":"item","numeric-id":1374079,"id":"Q1374079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q879364$CB8DDE97-6F86-48AE-9BD9-88F76F6CB0DF","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":"Q879364$D97933A7-77E2-449F-9DBB-87159B391829","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8928a3e39a9afb1861fb07440bece11cbc6d850f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.12.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q879364$E7B7142D-656E-4392-B371-C62577D5840A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbef4197b114002a327a238e02d4d7bdda4c8fb0","datavalue":{"value":"W2093029972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$F28EB874-367A-4DCF-ADAC-10B8772F147F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d152508d6dc8314b55e0e0016589c2e9d96f27ab","datavalue":{"value":"10.1016/J.TCS.2006.12.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q879364$A8EE4AAD-94AC-42B4-8801-7812A6E827FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b517eb73a756be4cef0b2ee897531f77d18ef807","datavalue":{"value":{"entity-type":"item","numeric-id":1346668,"id":"Q1346668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ba691500c454696ac92d576c8f2ee9a94384fc0","datavalue":{"value":{"amount":"+0.77225447","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":"Q879364$8C596051-E067-4B44-B74B-28EE19536B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d504ab3fc30429878122d99b8aba8a50cc8e1c","datavalue":{"value":{"entity-type":"item","numeric-id":685400,"id":"Q685400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dc9f72d1665ad51126dbdb078d2bec5df2ab54","datavalue":{"value":{"amount":"+0.7665859","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":"Q879364$4BDBE933-95A2-4A4D-88F3-FC74E202FD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f18797958507bb2e43a1c60582934bf69c5d06a","datavalue":{"value":{"entity-type":"item","numeric-id":4327831,"id":"Q4327831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54ceac60d718379825bf5907316a2026b30327f","datavalue":{"value":{"amount":"+0.75586593","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":"Q879364$6F7128F1-4997-42A6-A7D9-AE1ECC3BD324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04ab48c719e37a05a4fd853516c3ebd27c9042f","datavalue":{"value":{"entity-type":"item","numeric-id":753948,"id":"Q753948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7a91289e637d026844d297846a1da18f70dbac2","datavalue":{"value":{"amount":"+0.7527604","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":"Q879364$4FC5D906-B6EC-4A03-B2B4-67058A4F5759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92d4dff169811a2605d28e112e35cf701e8add7f","datavalue":{"value":{"entity-type":"item","numeric-id":5377699,"id":"Q5377699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0226b5e65fdc6de2cdf9411554e87b91beae1e0","datavalue":{"value":{"amount":"+0.7411691","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":"Q879364$8DD35BE4-6763-49A8-840E-581028A9728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e2abb4885ce5579a73015daf710cbb21059ffb8","datavalue":{"value":{"entity-type":"item","numeric-id":2947462,"id":"Q2947462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d48f86fcb82eea5bdffd42486c4f03a410a73e","datavalue":{"value":{"amount":"+0.7410421","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":"Q879364$5A59B627-75CE-4756-B28A-298E7D2DA8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"125b794f5022ef0b15e47e52acf2689e07af21f7","datavalue":{"value":{"entity-type":"item","numeric-id":3794370,"id":"Q3794370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b1b9b5d8063d784111c5ad1c0683d75fb10a273","datavalue":{"value":{"amount":"+0.73994535","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":"Q879364$92281936-097A-43D6-A949-0F8CADFCE1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3e36620af32cb2a8ddf42bcbfdd33d4f45b8857","datavalue":{"value":{"entity-type":"item","numeric-id":4281485,"id":"Q4281485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4296998ea3bf53a11c407117644e674bfb2c8f74","datavalue":{"value":{"amount":"+0.73004687","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":"Q879364$36D7CA6E-F7E9-4B0F-AB60-293314AFD950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4116d7bb7083b191bc72e76ece0f0ff01486a31","datavalue":{"value":{"entity-type":"item","numeric-id":1314344,"id":"Q1314344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56c3ef393b4eb61dc8bd7a55c13dd67f66235b4","datavalue":{"value":{"amount":"+0.7289649","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":"Q879364$5DB81D29-62D6-4760-9993-9A6B5C5602CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21acb6c8caa185bb57bba66738c8702c7cfaebc2","datavalue":{"value":{"entity-type":"item","numeric-id":5176966,"id":"Q5176966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbe7c4105b09be9b9bdb12ac549402beb9b905b","datavalue":{"value":{"amount":"+0.7270924","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":"Q879364$8CC98057-FC23-454D-BE8A-33777CD75F6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Core algebra revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Core_algebra_revisited"}}}}}