Introduction to Turing categories

by J. R. B. Cockett, Pieter J. W. Hofstra