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.