The most general setting in which these words have meaning is an abstract branch of mathematics called category theory.
Den mest allmänna ram inom vilken dessa begrepp har en mening är en abstrakt gren av matematiken kallad kategoriteori.