Categorical Language and Hierarchical Models for Cell Systems · Study