Freely adjoining monoidal duals. - Kevin Coulembier; Ross Street; Michel van den Bergh (Math. Struct. Comput. Sci., 2021)