They are adjoints. http://www.reproducibility.org/RSF/book/gee/ajt/paper_html/i...

I have written something on adjoints, they are literally everywhere https://github.com/adamnemecek/adjoint

And you flip it to get nice properties like commutativity and associativity which correlation doesn't have (it almost has them, just that small flip is missing).