category,construction
Rng,initial object
Rng,terminal object