Look at the paper of Cockett and Hofstra on Turing categorieshttp://www.google.com/url?sa=t&source=web&cd=1&ved=0CBkQFjAA&url=http%3A%2F%2Fwww.mathstat.uottawa.ca%2F~phofstra%2FT1.pdf&ei=Lm7ZTpHSD8bo0QHCwKT7DQ&usg=AFQjCNH8Xn60HtLqRcsS0eOe8Zeu21755g&sig2=Apg7XZFX-Jy9NIJFssaQ3Q.
|
2 | deleted 149 characters in body | ||
|
|
||||
|
|
1 |
|
||
|
Look at the paper of Cockett and Hofstra on Turing categories http://www.google.com/url?sa=t&source=web&cd=1&ved=0CBkQFjAA&url=http%3A%2F%2Fwww.mathstat.uottawa.ca%2F~phofstra%2FT1.pdf&ei=Lm7ZTpHSD8bo0QHCwKT7DQ&usg=AFQjCNH8Xn60HtLqRcsS0eOe8Zeu21755g&sig2=Apg7XZFX-Jy9NIJFssaQ3Q |
||||
