Categories in BGV