Skip to content

Use Catlab migration action on morphisms#40

Draft
kris-brown wants to merge 1 commit intomainfrom
sigma_action
Draft

Use Catlab migration action on morphisms#40
kris-brown wants to merge 1 commit intomainfrom
sigma_action

Conversation

@kris-brown
Copy link
Collaborator

@kris-brown kris-brown commented Sep 11, 2024

Requires adding the branch AlgebraicJulia/Catlab.jl#937 and the branch AlgebraicJulia/AlgebraicRewriting.jl#81

Replaces the broken, makeshift morphism migration from AlgebraicRewriting with a better implementation in Catlab.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant