Categories in Brianconnet