Applied Categorical Structures: a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science Journal