search

AlgebraicJulia / Catlab.jl

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

Remove DataMigrations code from Catlab #846

Closed KevinDCarlson closed 1 year ago

KevinDCarlson commented 1 year ago

The macros exported by DiagrammaticPrograms.jl as well as the data types QueryDiagram and QueryDiagramHom, all methods of migrate for conjunctive, duc, and gluc migrations, colimit_representables, methods for composeing the Query structures with functors and natural transformations, are moved out to DataMigrations.jl.

Remaining are the facilities for plain delta migrations and sigma migrations.

KevinDCarlson commented 1 year ago

This PR may be totally done but shouldn't be merged until DataMigrations.jl is ready to go public.