Categories for Groveland