Using some form of Yoneda's Lemma, see your particular structure as representable functor in an abstract category where your desired constructions are obvious.
This functorial point of view is very nice in algebraic geometry.
jg1896
- 3.3k
- 10
- 26