category (Q719395)
algebraic structure of objects and morphisms between objects, which can be associatively composed if the (co)domains agree
Language:
other details