The most general setting in which these words have meaning is an abstract branch of mathematics called category theory.
Den mest generelle ramme, hvor disse begreber har mening, er den abstrakte gren af matematikken, der hedder kategoriteori.