45 citations · 118 across the 19 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
Colimits of Monads
Jiří Adámek
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colim…
cs.LO2014★ 5 cited
Corecursive Algebras, Corecursive Monads and Bloom Monads
Jiří Adámek, Mahdie Haddadi, Stefan Milius
An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproduc…