Categories within FACT

Types within FACT