Support for fully flexible GTS amalgamations

gts-morpher / gts_morpher

Tool for building GTS Morphisms and Amalgamations

MIT License

4 stars 0 forks source link

Support for fully flexible GTS amalgamations #12

Closed szschaler closed 5 years ago

szschaler commented 5 years ago

Currently, a weave clause requires one of the morphisms to be an interface_of morphism. For full support of the theory, we should allow both to be full morphisms.

Details of progress in PR #13.

szschaler commented 5 years ago

Blocked by #14 : Need to be able to specify an inclusion-completion when mocking interface-of morphisms