Seminario-esame di Teoria delle Categorie: Marco Peressotti

Marco Peressotti terrà il seminario-esame per il Corso di Introduzione alla Teoria delle Categorie il giorno giovedì 8 maggio 2014, con inizio alle ore 14.30, presso la Sala Riunioni del DIMI.
Peressotti ci parlerà di Coalgebraic trace semantics.

Trace semantics has been defined for various kind of state-based systems, notably with different forms of computational behavior/branching such as non-determinism or probabilism.
In the last years a coalgebraic understanding of trace semantics has emerged shading light on the shared mathematical structure behind all these “trace semantics”, namely coinduction in Kleisli categories.

Tutti gli interessati sono invitati (e gli studenti, obbligati).