category,construction
Quiv,binary product
Quiv,equalizer
Quiv,pullback