32 categories for SAT

Matthew Lewsey

(Swansea University)

A few notions of category theory, mainly just the notion of a "homomorphism", have been considered in the literature for the satisfiability problem, either explicitly or implicitly. We are embarking on a more systematic study, starting with a thorough discussion of categories to be considered here. The
emphasise of this talk is on the most basic notions, and besides (very) basic knowledge of category theory no further prerequisites are required.
Thursday 25th June 2009, 14:00
Access Grid Room (Dig.Tech E05)
Department of Computer Science