Categorical Reconstruction Theory

We generalise classical reconstruction results in algebra, using the language of monads, monoidal categories, module categories, as well as various notions of duality, such as closedness, Grothendieck–Verdier duality (also known as *-autonomy), and rigidity.