  We present a survey of some developments in the general area of
category-theoretic approaches to the theory of computation, with a focus on
topics and ideas particularly close to the interests of Jim Lambek.
