Module theory_morphisms

Standard library of morphisms between double theories.

These can be used to migrate models from one theory to another.

Functions

th_category_to_schema

Map from theory of categories to the theories of schemas.

th_delayable_signed_category_to_signed_category

Projection from theory of delayable signed categories.

th_schema_to_category

Map from theory of schemas to theory of categories.