5 citations · 5 across the 1 of their papers we have counts for
1 paper
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…