Date: Fri 25 Jul
Time: 12.00
Place: room 214

Speaker: Robert McGrail (Wesleyan University)
Title: Categorical Logic Programming with Monads
Reference: Eugenio Moggi
Abstract. This presentation establishes a categorical foundation for the peaceful coexistence of logic programming-style predicates and certain monadic type constructors. We generalize Freyd's construction for adding a generic predicate to a finite product category in such a way that certain monads on the base category extend to monads on the extended category. This requires replacing the notion of a "generic subobject" with that of a "generic family of subobjects". Moreover, we demonstrate that this construction is universal in the category of small cartesian categories with cartesian functors.