Diagram morphism search#659

Draft

kris-brown wants to merge 4 commits intoAlgebraicJulia:mainfrom

kris-brown:diag_morphism_search

Commits on Sep 30, 2022

Commits on Oct 1, 2022

initialization of FinTransformation search
kris-brown
committed

Commits on Oct 3, 2022

diag in C-Set categories, currying, products of FinCats
kris-brown
committed