AlgebraicJulia / AlgebraicJulia/Semagrams.jl
Categorical Semantics of Nested ACSets
未关闭
- 主要语言
- Scala
- 星标
- 108
- 派生
- 10
- PR 合并指标
- 30 天内没有已合并 PR
描述
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.
贡献指南
这个仓库没有索引到贡献指南
评估
这个 Issue 还没有评估数据。