Categories within O+P

Types within O+P