Categories in Huma