The question of how to combine monads arises naturally in many areas with much recent interest focusing on the coproduct of two monads. In general, the coproduct of arbitrary monads does not always exist. Although a rather general construction was given by Kelly [Bull. Austral. Math. Soc. 22 (1980) 1–83], its generality is reflected in its complexity which limits the applicability of this construction. Following our own research [C. Lüth and N. Ghani, Lect. Notes Artif. Intell. 2309 (2002) 18–32],...
The question of how to combine monads arises naturally in many areas
with much recent interest focusing on the coproduct of two monads.
In general, the coproduct of arbitrary monads does not always exist.
Although a rather general construction was given by
Kelly [
(1980) 1–83], its generality is reflected in its
complexity which limits the applicability of this construction.
Following our own research [C. Lüth and N. Ghani,
(2002) 18–32], and that of
Hyland,...
Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in Greibach Normal Form have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely presentable...
Algebraic systems of equations define functions using recursion
where parameter passing is permitted. This generalizes the
notion of a rational system of equations where parameter passing is
prohibited. It has been known for some time that algebraic systems
in have unique solutions. This paper presents a categorical approach to algebraic systems of
equations which generalizes the traditional approach in two ways i)
we define algebraic equations for locally finitely presentable
categories...
Download Results (CSV)