diagrammatic-formal-dualities