I want to clarify what a dual space is. I think it is much more general than Frank thinks it is: https://en.wikipedia.org/wiki/Adjoint_functors -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://redfish.com/pipermail/friam_redfish.com/attachments/20211024/f4b3a7c6/attachment.html>