Induction, Coinduction, and Adjoints

J. Robin B. Cockett, Luigi Santocanale. Induction, Coinduction, and Adjoints. Electronic Notes in Theoretical Computer Science, 69:101-119, 2002. [doi]

Abstract

Abstract is missing.