Module model_diagram

Source
Expand description

Diagrams in models of a double theory.

A diagram in a model is simply a morphism into that model. This includes the domain of that morphism, which is assumed to be a free model.

Diagrams are currently used primarily to represent instances of models from a fibered perspective, generalizing how a diagram in a category can be used to represent a copresheaf over that category.

Re-exports§

pub use super::discrete::model_diagram::*;

Structs§

DblModelDiagram
A diagram in a model of a double theory.

Enums§

InvalidDblModelDiagram
A failure of a diagram in a model to be valid.