4 ms·
Reminds me of ologs: https://arxiv.org/abs/1102.1889v2 https://arxiv.org/abs/1102.1889v2 The category on top of a given graph just adds path equivalences. Whil
by DonbunEf7 9y ago
Reminds me of ologs: https://arxiv.org/abs/1102.1889v2 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.
- mncharity 9y agoThanks. In a similar vein, there's a recent Knowledge Representation in Bicategories of Relations https://arxiv.org/pdf/1706.00526.pdf https://arxiv.org/pdf/1706.00526.pdf .