AlgebraicJulia / AlgebraicJulia/Catlab.jl
Generic HypSigma Implementation
オープン
enhancement
wiring diagrams
- 主要言語
- Julia
- スター
- 724
- フォーク
- 73
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
What would it take to have a generic HypSigma implementation? Decapodes runs into this problem. I also ran into it in defining integration with the MIRA tools in ASKEM-Demos.
1. Schemas that depend on a signature
2. Schemas whose objects are parameterized by julia values like `NTuple{Int,n}`
3. Slice categories of this
4. Conversion to/from WiringDiagrams
5. Support for special operators like commutative monoids that should be handled differently.
コントリビューションガイド
評価
この issue はまだ評価されていません。