Erik Jenner comments on Good ontologies induce commutative diagrams

[Erik Jenner]

Thanks! Starting from the paper you linked, I also found this, which seems extremely related: https://​​arxiv.org/​​abs/​​2103.15758 Will look into those more