Categories in Bishop