Reminds me of ologs: https://arxiv.org/abs/1102.1889v2
The category on top of a given graph just adds path equivalences. While that might not seem like a big addition, it's crucial for restricting the structure's internal state.
The category on top of a given graph just adds path equivalences. While that might not seem like a big addition, it's crucial for restricting the structure's internal state.