This is a very abstract definition since, in category theory, morphisms aren't necessarily functions and objects aren't necessarily sets.
Det är sålunda en mycket abstrakt definition eftersom, inom kategoriteori, morfierna inte nödvändigtvis är funktioner och objekten inte nödvändigtvis är mängder.