𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algebras, Coalgebras, Monads and Comonads

✍ Scribed by Neil Ghani; Christoph Lüth; Federico de Marchi; John Power

Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
224 KB
Volume
44
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Coalgebras and monads in the semantics o
Coalgebras and monads in the semantics of Java
✍ Bart Jacobs; Erik Poll 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 225 KB

This paper describes the basic structures in the denotational and axiomatic semantics of sequential Java, both from a monadic and a coalgebraic perspective. This semantics is an abstraction of the one used for the veriÿcation of (sequential) Java programs using proof tools in the LOOP project at the

Forms of Coalgebras and Hopf Algebras
Forms of Coalgebras and Hopf Algebras
✍ Darren B. Parker 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 237 KB

We study forms of coalgebras and Hopf algebras i.e., coalgebras and Hopf . algebras which are isomorphic after a suitable extension of the base field . We classify all forms of grouplike coalgebras according to the structure of their simple subcoalgebras. For Hopf algebras, given a W \*-Galois field