A generalization of heterogenous directed acyclic graphs, implementing a category