{"entities":{"Q5891175":{"pageid":7926970,"ns":120,"title":"Item:Q5891175","lastrevid":42265963,"modified":"2025-06-03T22:07:02Z","type":"item","id":"Q5891175","labels":{"en":{"language":"en","value":"Bases as coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211842"}},"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":"Q5891175$B490CFC4-FF8F-42BF-8F36-F1B81DE0B847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa7f8491dc883c128d489f497018d60e0f57340","datavalue":{"value":"1285.18005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$C611FE99-A072-4BF6-9D86-B11EAA6394C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9e4b432e11faac421286e694ca4338e305ca02a","datavalue":{"value":"10.2168/LMCS-9(3:23)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$7F52E150-0DE0-40AB-9C73-BF6AC2B6BA84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891175$9E9C7310-384E-4E34-8B50-E75BC245262F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891175$434ADE68-98EE-4ECA-9BA4-366AC79C1A45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5891175$D87445F2-2FB7-425E-9B63-A11E7AF3DFA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$4D096D3D-0988-485D-9128-B5A26FDA7B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$496DA2A0-D5E3-4EB7-8B7A-CF937346CAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$F99B7170-AAFC-4F91-AE57-04AA47AFFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$896306EE-98E9-4808-872E-6975B44D1178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$3565E3B5-18B5-46DC-8D8D-5C112C2F533C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$4F32B97B-657F-4FAA-845C-5A22D624721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$F0D3634F-2131-4C6B-85E7-8649897F50E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a662f589fcbcd2909777f2f9a6c934ce9b5718","datavalue":{"value":"6211842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5891175$C5833C0B-A95C-4BAC-99DD-CABCF9A855DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$D8451018-3084-4503-8826-2203D547A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d4545a2e593e1545a3991d553bbc49cdf7df90d","datavalue":{"value":"comonad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$FC16227D-6913-4CDA-A2F9-E46E7A1D88E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c5511b15959f2cf7295ca726ed02ea08c4f84f","datavalue":{"value":"basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$9C2F882F-B6D1-49E1-835A-EB6A1DFD5BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd7faadf0f7b36d78340d029b0efad7a96713d03","datavalue":{"value":"Kock-Z\u00f6berlein monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$5674C2B5-E3E4-4F9A-89B8-4D159E8F8C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10fb72f5f8ba9091dda5af8ced9e899fe82772af","datavalue":{"value":"category of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$34165078-530B-4E82-9BBC-289E76657E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec6435ff15f76c423d70df8bceb646e10408d7c","datavalue":{"value":"category of coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$727D56BA-50DD-4C9F-9C20-51346AB0BA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb3b39645f8e817d38e8910e9960c7b93b570408","datavalue":{"value":"poset-enriched category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$D74029AD-53A2-4083-8492-A437B64442F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f24c59644df179cb21b4d78eda05231c17cd1d55","datavalue":{"value":"Eilenberg-Moore algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$EDDDA7DE-AD4A-45E1-8DDD-E9179AD8C9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51ceb7f5cb083c2d153ce1dca44a12d6a522a718","datavalue":{"value":"Eilenberg-Moore coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$CBB9EB91-57AF-4B51-AC81-E252C61926AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$80E4C1DE-4923-478D-9505-90D4BEDDF649","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":"Q5891175$48830E81-7B68-47C4-8D77-05496D2EEC7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8673450da74a197b9f48f3a274fac80d21c731","datavalue":{"value":{"entity-type":"item","numeric-id":5894257,"id":"Q5894257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$B0D912FF-51AA-42EA-81F2-08F73D78676C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0540d83a8b48d0d89ae0250344fc3acb3e295ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4217855,"id":"Q4217855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02edf7e411b5bcde6e02bc3798e612d48287f6e6","datavalue":{"value":{"amount":"+0.927822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$7A75508C-7039-4B75-8CAE-51B9182B039E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29dca3d720a905c9f7142e57f5865d17f0ebf4ce","datavalue":{"value":{"entity-type":"item","numeric-id":4317011,"id":"Q4317011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd460a94eb00d01dfdafd0c92b562afc721b326d","datavalue":{"value":{"amount":"+0.8863071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$D8098089-A850-4DDF-A2D8-8E7A5EF426CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642cfe664f438dc3311e65a2e788d60ea5949006","datavalue":{"value":{"entity-type":"item","numeric-id":1434346,"id":"Q1434346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f3b13cb1e7275ae8d788a8ac6508681436414d","datavalue":{"value":{"amount":"+0.88437283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$54450F50-DB32-46EC-8504-59C8E4EF0B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae58bb266accfbd4d0cfb68eb869237b8382ab10","datavalue":{"value":{"entity-type":"item","numeric-id":876384,"id":"Q876384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6788b19871177c0350df044ddcfbef78fe2d2835","datavalue":{"value":{"amount":"+0.8830211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$A472749A-C340-45B3-8399-9EB6DC5BD8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e171abb8eda9de254f994de6fad4a42d11646621","datavalue":{"value":{"entity-type":"item","numeric-id":3698981,"id":"Q3698981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c287fae0d4a476e39bb66e692ffb1eea03ccbc","datavalue":{"value":{"amount":"+0.8807353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$33A2B474-5150-4FC4-8AAA-7811DCAD5868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b62defb093062fc8af72a18ad3faca39cbcdc4","datavalue":{"value":{"entity-type":"item","numeric-id":2823132,"id":"Q2823132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a0aa9ebf7cc9904fd7d3e73802d051033d4782","datavalue":{"value":{"amount":"+0.8806478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$9C724103-7AD1-4877-B46B-001D494D64E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b48ae9909579df0bdfa129ebe6af1a8e198138c","datavalue":{"value":{"entity-type":"item","numeric-id":5395107,"id":"Q5395107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d2fe7b0d60c3cf775b1d11077e72beabb4f5996","datavalue":{"value":{"amount":"+0.87811846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$9100B307-ADEB-40EA-A453-E63EEEFDF76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b7105c6a6547fcf0752ba13ca3019463d823a8","datavalue":{"value":{"entity-type":"item","numeric-id":5948617,"id":"Q5948617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d76195fcfacd28eeee4ff74a594c21d584ba85e","datavalue":{"value":{"amount":"+0.87788224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$4ECA2E29-2BB3-40DE-8C02-308FD88D60CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab48aa2d61608f4d0d09084a6e6b107807ff3bc","datavalue":{"value":{"entity-type":"item","numeric-id":5611812,"id":"Q5611812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02794c2073ab3b3046396c894dd4b99e6d0e0bf7","datavalue":{"value":{"amount":"+0.87781364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5891175$223C9586-5F70-4F9C-BD2F-18F077083B53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ba8fa29452e9ed519f86aca32ad5c4deb59386","datavalue":{"value":{"text":"Bases as coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5891175$FA59FC3D-963D-4214-9558-86C73E0ECFB3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18b8b6be2257d1c6df09a5581ce6fea54cfa040f","datavalue":{"value":"Let \\(T\\) be a monad on a category \\(\\mathbf K\\), then \\(T\\) induces a comonad \\(\\bar {T}\\) on the category of algebras of the monad \\(T\\). The comonad \\(\\bar {T}\\) induces a monad \\(\\bar{\\bar {T}}\\) on the category of coalgebras of \\( \\bar {T}\\) and so on. It is shown that coalgebras over \\(\\bar {T}\\) model bases. Algebras over \\(T\\) are used for composition and coalgebras for decomposition. A monad \\((T,\\eta ,\\mu )\\) on a poset-enriched category \\( \\mathbf A\\) is a Kock-Z\u00f6berlein monad if \\(T:\\mathbf A(X,Y)\\rightarrow\\mathbf A(TX,TY)\\) is monotone and \\(T\\eta_X\\leq\\eta_{TX}\\). If \\(T\\) is a Kock-Z\u00f6berlein monad then for a morphism \\(a:TX\\rightarrow X\\) in \\(\\mathbf A\\) the following are equivalent: a) \\(a:TX\\rightarrow X\\) is an Eilenberg-Moore algebra of \\(T\\); b) \\(a\\) is a left-adjoint-left-inverse of the unit \\(\\eta :X\\rightarrow TX\\). If \\(a:TX\\rightarrow X\\) is an algebra of \\(T\\) then for a morphism \\(c:X\\rightarrow TX\\) the following are equivalent: a) \\(c:a\\rightarrow\\bar {T}a\\) is an Eilenberg-Moore coalgebra of \\(\\bar {T}\\); b) \\(c\\) is a left-adjoint-right-inverse of the counit \\(a:\\bar {T}a\\rightarrow a\\). Further \\(T:\\mathrm{Alg}(T)\\rightarrow\\mathrm{Alg}(\\bar{\\bar { T}})\\) is an equivalence of categories and thus the construction of monads and comonads stops after the second step. These facts are applied to vector spaces, complete lattices, convex sets, dcpos over posets, frames over semilattices, and the sematics of programs in the Kleisli category of a monad. These notions are used for a description of the comonoid structure describing orthonormal bases in finite-dimensional Hilbert spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5891175$2D2CCF8E-CBA8-41E5-B36D-988B4DE06DD7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5891175$6226A734-D34A-4D2B-857E-60516D0FEEE8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5891175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5891175"}}}}}