Cyclic Theories. - Olivia Caramello; Nicholas Wentzlaff (Appl. Categorical Struct., 2017)