+categories and relations