diagram-operators

Diagram Operators

Research on concise specification and implementation of operators on diagrams of formalizations and their meta theory.

Diagram Operators in a Logical Framework

Often meta-programming facilities that transform diagrams of formalizations adhere to a special form giving them nice meta propreties, e.g. preservation of includes (diagrammatic structure) and morphism composition.

Functorial Diagram Operators

Often meta-programming facilities that transform diagrams of formalizations adhere to a special form giving them nice meta propreties, e.g. preservation of includes (diagrammatic structure) and morphism composition.