@InProceedings{adamek_et_al:LIPIcs.CALCO.2017.3, author = {Ad\'{a}mek, Jiri and Milius, Stefan}, title = {{On Corecursive Algebras for Functors Preserving Coproducts}}, booktitle = {7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)}, pages = {3:1--3:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-033-0}, ISSN = {1868-8969}, year = {2017}, volume = {72}, editor = {Bonchi, Filippo and K\"{o}nig, Barbara}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2017.3}, URN = {urn:nbn:de:0030-drops-80298}, doi = {10.4230/LIPIcs.CALCO.2017.3}, annote = {Keywords: terminal coalgebra, free algebra, corecursive algebra, hyper-extensive category} }