category,homs
Rng,Set*