category,construction
Comp,binary sum
Comp,pullback