You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This would be nice. Since we can already serialize acsets, the remaining features are:
Serialize an acset transformation
Serialize a diagram in a category (in this case, the category of acsets)
Serialize a diagram morphism, enabling serialization of diagrams of diagrams (@kris-brown notes that this would be useful in certain projects)
Since an acset can itself be regarded as a diagram in Set, and acset transformations as diagram morphisms with identity map between indexing categories, it seems possible that everything could be unified through two features: serializing diagrams and their morphisms. I haven't thought through how practical that would be.
Per @jpfairbanks 's suggestion: it would be nice to be able to serialize a diagram like a span of acsets.
The text was updated successfully, but these errors were encountered: