Post #2044532

@ohad I'd be surprised if there's no earlier reference. There's a cool way to view Yoneda/CoYoneda in these terms btw that I think I've posted here before. CoYoneda says that every presheaf is a canonical quotient of a free algebra, and Yoneda says that every presheaf is a canonical sub-coalgebra of a cofree coalgebra.