Categories for Avocat