Pullbacks with Attributes in ACSets

AlgebraicJulia / ASKEM-demos

6 stars 1 forks source link

Pullbacks with Attributes in ACSets #20

Open jpfairbanks opened 1 year ago

jpfairbanks commented 1 year ago

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.

kris-brown commented 1 year ago

This is being addressed by this PR https://github.com/AlgebraicJulia/Catlab.jl/pull/717