Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

Category Theory