{"entities":{"Q6878258":{"pageid":20766112,"ns":120,"title":"Item:Q6878258","lastrevid":75312775,"modified":"2026-04-18T15:47:40Z","type":"item","id":"Q6878258","labels":{"en":{"language":"en","value":"The tripleableness theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8141792"}},"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":"Q6878258$EFA4443A-B292-47DB-B1EE-E5EBB9602779","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83b7274d8beba5c7618da6e265fd2a7a65efb5d7","datavalue":{"value":{"text":"The tripleableness theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6878258$AD027528-727A-46D3-9EBC-CE41B21EAB44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1800dae2c285f32de7bef26533a1eb7694c2d36","datavalue":{"value":{"entity-type":"item","numeric-id":1149949,"id":"Q1149949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878258$39A2326D-7914-403E-8218-152C54465793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c33c480366a87f391bb707afd6fb9fb146cda3a0","datavalue":{"value":{"entity-type":"item","numeric-id":6615205,"id":"Q6615205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878258$7636D2EC-6173-4385-9B62-7AF6C5425FA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4c34eed691f1b5c7638ac91c3bab707016917be","datavalue":{"value":{"time":"+2026-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6878258$6B5B3B8C-8972-4141-ACE8-6126E63A2280","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"080d110a65beb5f8bd6a526ef9c95a1aface6cf1","datavalue":{"value":"http://www.tac.mta.ca/tac/reprints/articles/31/tr31.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6878258$7C7716A2-3E38-40B6-A1E8-3BCA69CF2729","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67734fe9c518a30251b47c50f1bb8c8e68c61309","datavalue":{"value":"About 1965, it was urgent to decide how to characterize the category of algebras over a monad. \\textit{F. E. J. Linton} [Proc. Conf. Categor. Algebra 1965, 84--94 (1966; Zbl 0201.35003)] treated the case for monads in Set, and then Beck established his theorem characterizing algebras in general. Beck's idea was exhibited in full detail by Mac Lane's pioneering book on category theory [\\textit{S. Mac Lane}, Categories for the working mathematician. New York etc.: Springer-Verlag (1971; Zbl 0232.18001), Chapter VI, \\S 7], but Beck himself only presented the idea in a conference in 1966 without publishing it. His idea is finally published in the TAC reprint series thanks to Nathanael Arkov's great effort inclusive of typing it up in \\LaTeX.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6878258$BE5E9257-4F06-4D33-B6E1-3A6B6E847F28","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6878258$400C64D9-E696-4A4A-B369-BF0715B1040C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"138bfade4254c939b16bf73099f468d5be54b557","datavalue":{"value":"18C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6878258$ADB6A5D2-284C-47CE-989E-9D23C924F66A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3b8f59beb59f0f31468b8fdf4408c95edb78e4b","datavalue":{"value":"8141792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6878258$7552B668-0525-456E-9B02-FE2DF6F56943","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q6878258$24B71F46-E637-4418-B0E6-6020D92E72C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e01d22f5d8a653102f0bfc335f1ff6dff39b30ac","datavalue":{"value":"triple","type":"string"},"datatype":"string"},"type":"statement","id":"Q6878258$A225A40F-FD89-4F67-A9F9-CE3B7E10C65C","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":"Q6878258$8D297188-835C-4120-880F-8D6B24103651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The tripleableness theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_tripleableness_theorem"}}}}}