Rigidity is undecidable. - Mikolaj Bojanczyk; Stanislaw Szawiel; Marek W. Zawadowski (Math. Struct. Comput. Sci., 2014)

Theories of analytic monads. - Stanislaw Szawiel; Marek W. Zawadowski (Math. Struct. Comput. Sci., 2014)

Monads of Regular Theories. - Stanislaw Szawiel; Marek W. Zawadowski (Appl. Categorical Struct., 2015)