Quotients in monadic programming: Projective algebras are equivalent to coalgebras

zbMath1458.68123arXiv1701.07601MaRDI QIDQ5144657

Dusko Pavlovic, Peter-Michael Seidel

Publication date: 19 January 2021

Full work available at URL: https://arxiv.org/abs/1701.07601

zbMATH Keywords

adjunctioncomonadcomputational monadcategorical modelquotient type

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

This page was built for publication: Quotients in monadic programming: Projective algebras are equivalent to coalgebras