Categories within PRO-RING

Types within PRO-RING