Open kris-brown opened 4 months ago
Extend canonical iso from ACSets to ACSetTransformations and Multi(co)spans.
It would be straightforward to generalize this to diagrams in an ACSet category, but, until that's needed for something, that could probably wait.
An example of testing a pullback (span) up to isomorphism is in the tests.
Extend canonical iso from ACSets to ACSetTransformations and Multi(co)spans.
It would be straightforward to generalize this to diagrams in an ACSet category, but, until that's needed for something, that could probably wait.
An example of testing a pullback (span) up to isomorphism is in the tests.