scientific article
From MaRDI portal
Publication:3919860
zbMATH Open0467.18001MaRDI QIDQ3919860
Publication date: 1978
Title of this publication is not available (Why is that?)
Kleisli categoryKleisli morphismsfunctorial semanticsabstract equationsendofunctor of a monadsyntactical solution
Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3919860)