Sketches
From MaRDI portal
Publication:1818636
DOI10.1016/S0022-4049(98)00114-5zbMath0943.18002MaRDI QIDQ1818636
Yoshiki Kinoshita, Makoto Takeyama, A. John Power
Publication date: 15 February 2000
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Equational categories (18C05) Enriched categories (over closed or monoidal categories) (18D20) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (6)
Discrete Lawvere theories and computational effects ⋮ Algebraic weak factorisation systems. II: Categories of weak maps. ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ Combining effects: sum and tensor ⋮ Axiomatics for Data Refinement in Call by Value Programming Languages ⋮ The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
This page was built for publication: Sketches
