category,construction
Eff,initial object
Eff,terminal object