Categories within HODGE

Types within HODGE