: book on categorical computability