slwu89 / catnip Goto Github PK

We want to write a guide for normal humans about acsets, summarizing the knowledge this normal human has acquired.

• start with just using ACSets.jl package and introduce it as "database schema in memory plus other things"
• definitely need to teach the pronunciation
• definitely need to explain what the hell cascading_rem_parts! does, show using it with general relations (spans) as well as products when removing things in the legs as well as the apex. Also show using it in cospans (coproducts), when removing things in the colegs (too bad this isn't a real term in category theory).
• talk about the Tables.jl integration
• move onto Catlab.jl slowly and gingerly, things to show here would be (co)limit stuff, and especially what are ACSetTransformations and LooseACSetTransformations, and how to use them
• this is the part where we're allowed to use the word C-Set
• do not explain rewriting or data migrations based on categories of diagrams, that can wait for another day

Write explanatory prose and diagrams for https://github.com/AlgebraicJulia/ASKEM-demos/blob/master/sandbox/model-migration/migrate-stratification-groups.ipynb

It would be nice to have an article about conjunctive queries on acsets. It would be nice to go beyond the blog post https://blog.algebraicjulia.org/post/2020/12/cset-conjunctive-queries/

We want to show:

• queries where we specify the values of some outputs
• queries with attributes
• queries involving relations and general multi-way tables (see 2.2.3 https://journals.plos.org/plosone/article?id=10.1371/journal.pone.0024274#s2)