Bases as Coalgebras

DOI10.2168/LMCS-9(3:23)2013zbMath1285.18005MaRDI QIDQ5891175

Bart Jacobs

Publication date: 26 September 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Eilenberg-Moore algebrabasismonadKleisli categorycomonadcategory of algebrasKock-Zöberlein monadcategory of coalgebrasEilenberg-Moore coalgebraposet-enriched category

Mathematics Subject Classification ID

Quantum computation (81P68) Semantics in the theory of computing (68Q55) Frames, locales (06D22) Categorical semantics of formal languages (18C50) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)

This page was built for publication: Bases as Coalgebras