This is a very abstract definition since, in category theory, morphisms aren't necessarily functions and objects aren't necessarily sets.
Ово је врло апстрактна дефиниција, јер у теорији категорија морфизми нису обавезно функције а објекти нису обавезно скупови.