AlgebraicJulia / AlgebraicJulia/ASKEM-demos
Pullbacks with Attributes in ACSets
Aberta
- Linguagem predominante
- Jupyter Notebook
- Estrelas
- 8
- Forks
- 1
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Descrição
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.
Guia de contribuição
Nenhum guia de contribuição indexado para este repositório
Avaliação
Esta issue ainda não foi avaliada.