search

AlgebraicJulia / ACSets.jl

ACSets: Algebraic databases as in-memory data structures
https://algebraicjulia.github.io/ACSets.jl/
MIT License
18 stars 8 forks source link

ACSet Schema descriptions #24

Open jpfairbanks opened 1 year ago

jpfairbanks commented 1 year ago

@olynch, could we add data in the schema of an ACSet to support descriptive names for the Ob, Hom, AttrTypes and Attrs? Then we could put that in the IJulia output. To make a more understandable schema. This would allow us to keep using really short names for the homs but still allow introspection of the descriptions at runtime.

olynch commented 1 year ago

So, one problem is that we embed the schema into the type, so these would go in the type too... :sob: