diagram-operators

Systematically deriving formalizations of extrinsic type theories from corresponding formalizations of the intrinsic variant

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

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.

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.