Categories within Axxiom

Types within Axxiom