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§
- DblModel
Diagram - A diagram in a model of a double theory.
Enums§
- Invalid
DblModel Diagram - A failure of a diagram in a model to be valid.