Pieter Hofstra researches both logic and category theory in an attempt to develop a categorical approach to computability theory.