PositiveInteger and NonNegativeInteger are subdomains of Integer.

Categories are values of the domain SubDomain Domain. Domain is a domain whose values are all domains. For example:

axiom
Integer

(1)

axiom
Ring

(2)