category

algebraic structure of objects and morphisms between objects, which can be associatively composed if the (co)domains agree