This talks about adjoints of operators, which is where the category theory terminology comes from, but a pretty different concept overall