J. Robin B. Cockett, Luigi Santocanale. Induction, Coinduction, and Adjoints. Electronic Notes in Theoretical Computer Science, 69:101-119, 2002. [doi]
@article{CockettS02, title = {Induction, Coinduction, and Adjoints}, author = {J. Robin B. Cockett and Luigi Santocanale}, year = {2002}, url = {http://www1.elsevier.com/gej-ng/31/29/23/131/23/show/Products/notes/index.htt#007}, researchr = {https://researchr.org/publication/CockettS02}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {69}, pages = {101-119}, }