ToposInstitute / CatColab

A collaborative environment for formal, interoperable, conceptual modeling
https://catcolab.org
MIT License
11 stars 4 forks source link

Filter motifs with the same images #123

Closed epatters closed 2 weeks ago

epatters commented 2 weeks ago

An issue with #122 is that "duplicate" feedback loops show up because different morphisms can have the same image (using "image" in the syntactical sense explained in the docs). We should filter out the duplicates.

This will be more work than one might assume because we haven't yet implemented equality or hash methods for most of the data structures in the hierarchy in catlog.