Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. - Lucca Tiemens; Dana S. Scott; Christoph Benzmüller; Miroslav Benda (RAMiCS, 2020)