A categorical semantics for P-time

Robin Cockett – 6 May 1998

While the categorical description of primitive recursive functions is well-established it has proven much more difficult to obtain good models for the sub-recursive hierarchies such as P-time. I shall describe how one can obtain a semantics for P-time in an extensive category endowed with an internal category of finite sets.