La presente tesi propone una tecnica sistematica per la rappresentazione coalgebrica di sistemi di transizione in cui la bisimilarità è una congruenza, adoperando categorie di coalgebre su presheaves. Si investigano le condizioni di rappresentabilità e si forniscono esempi applicativi
