1. Lecture Notes in Computer Science;M Abbott,2004
2. Adámek, J., Gumm, H.P., Trnková, V.: Presentation of set functors: a coalgebraic perspective. J. Log. Comput. 20(5), 991–1015 (2010)
3. Avigad, J., Carneiro, M., Hudon, S.: Data types as quotients of polynomial functors. In: Harrison, J., O’Leary, J., Tolmach, A. (eds.) ITP 2019 Leibniz International Proceedings in Informatics (LIPIcs), vol. 141, pp. 6:1–6:19. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl (2019)
4. Barr, M.: Terminal coalgebras in well-founded set theory. Theor. Comput. Sci. 114(2), 299–315 (1993)
5. Lecture Notes in Computer Science;D Basin,2017