Categorical Reconstruction Theory
arXiv:2602.19860
Abstract
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.
PhD thesis; based on 2201.05361v2, 2301.03545v2, 2312.13074v2, 2409.00793v2, and 2503.03445