AlgebraicJulia / AlgebraicJulia/Semagrams.jl
Categorical Semantics of Nested ACSets
Aperta
- Lingua principale
- Scala
- Stelle
- 108
- Fork
- 10
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Descrizione
We should figure out what Nested ACSets mean from a category theoretic perspective. This will lead to a more consistent use of them, and additionally possibly a story for data migration.
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Valutazione
Questa issue non è ancora stata valutata.