This is a very abstract definition since, in category theory, morphisms aren't necessarily functions and objects aren't necessarily sets.
Det er således en meget abstrakt definition, da morfierne i kategoriteori ikke nødvendigvis er funktioner og objekterne ikke nødvendigvis er mængder.