Expand description
Double category theory and two-dimensional categorical logic.
Modulesยง
- category
- Virtual double categories.
- graph
- Virtual double graphs.
- model
- Models of double theories.
- model_
diagram - Diagrams in models of a double theory.
- model_
morphism - Morphisms between models of double theories.
- theory
- Double theories.
- tree
- Double trees: pasting diagrams in virtual double categories.
- tree_
algorithms - Generic algorithms on trees.