catlog::dbl::discrete

Module model_morphism

Source
Expand description

Morphisms between models of a discrete double theory.

Structs§

DblModelMorphism
A functor between models of a double theory.
DiscreteDblModelMapping
A mapping between models of a discrete double theory.
DiscreteDblModelMorphismFinder
Finds morphisms between two models of a discrete double theory.

Type Aliases§

DiscreteDblModelMorphism
A morphism between models of a discrete double theory.