Expand description
Doctrine of discrete double theories.
Modulesยง
- model
- Models of discrete double theories.
- model_
diagram - Diagrams in models of a discrete double theory.
- model_
morphism - Morphisms between models of a discrete double theory.
- theory
- Discrete double theories.