Jirí Adámek Algebra 'cap' Coalgebra = Presheaves. 67-82 2005 conf/calco/2005 CALCO http://dx.doi.org/10.1007/11548133_5 db/conf/calco/calco2005.html#Adamek05