Module dbl

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.