AlgebraicJulia / AlgebraicJulia/ASKEM-demos
Pullbacks with Attributes in ACSets
オープン
- 主要言語
- Jupyter Notebook
- スター
- 8
- フォーク
- 1
- PR マージ指標
- 30日以内にマージされた PR はありません
説明
We need to make sure that ACSet pullbacks do the right thing for attributes. Which is to allow pullbacks using loose morphisms and then set the attribute to the tuple of attributes.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
評価
この issue はまだ評価されていません。