AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language
https://www.algebraicjulia.org
MIT License
607 stars 58 forks source link

More features for migration action on morphisms #845

Open kris-brown opened 1 year ago

kris-brown commented 1 year ago
  1. As mentioned in the review of https://github.com/AlgebraicJulia/Catlab.jl/pull/710 - it would be nice to have methods for migrating morphisms that presume the dom and codom have already been migrated (to avoid duplicating work when migrating a whole diagram, for example).
  2. Other kinds of data migrations (e.g. sigma) should act on morphisms, too.
ndo885 commented 3 months ago

Support for handling morphisms in data migration will be very valuable for the use of data migration in our health modeling applications using mappings between model types in StockfFlow.jl and AlgebraicABMs.jl/AlgebraicStatecharts.jl.