25/02: kernel of forming telescope along suspension in Cat_rex

04/03: conservativity of coinduction functor in genuine G-spectra

11/03: taking a commutative algebra to its module categtory is a fully faithful functor