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