The formal theory of monads II
Stephen Lack,Ross Street +1 more
TLDR
In this article, the authors give an explicit description of the free completion EM ( K ) of a 2-category K under the Eilenberg-Moore construction, and demonstrate that much of the formal theory of monads can be deduced using only the universal property of this completion.About:
This article is published in Journal of Pure and Applied Algebra.The article was published on 2002-11-08 and is currently open access. It has received 526 citations till now. The article focuses on the topics: Distributive law between monads & Distributive property.read more
Citations
More filters
Journal ArticleDOI
Notions of computation and monads
TL;DR: Calculi are introduced, based on a categorical semantics for computations, that provide a correct basis for proving equivalence of programs for a wide range of notions of computation.
Book
Basic concepts of enriched category theory
TL;DR: Lack, Ross Street and Wood as discussed by the authors present a mathematical subject classification of 18-02, 18-D10, 18D20, and 18D21 for mathematics subject classification.
OtherDOI
Basic concepts of enriched category theory
TL;DR: In this paper , the authors give a selfcontained account of basic category theory as described above, assuming as prior knowledge only the most elementary categorical concepts, and treating the ordinary and enriched cases together from Chapter 3 on.
Proceedings ArticleDOI
Towards a mathematical operational semantics
Daniele Turi,Gordon Plotkin +1 more
TL;DR: A categorical theory of 'well-behaved' operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole.
References
More filters
Book
Hopf algebras and their actions on rings
TL;DR: In this paper, the authors define integrals and semisimplicity of subalgebras, and define a set of properties of finite-dimensional Hopf algebra and smash products.
Book
Basic concepts of enriched category theory
TL;DR: Lack, Ross Street and Wood as discussed by the authors present a mathematical subject classification of 18-02, 18-D10, 18D20, and 18D21 for mathematics subject classification.
Journal ArticleDOI
The geometry of tensor calculus, I
André Joyal,Ross Street +1 more
TL;DR: In this article, the correctness of appropriate string diagrams for various kinds of monoidal categories with duals has been proved for various classes of classes of subject classes, including algebra, geometry, physics, and astronomy.