Applied categorical structures: a journal devoted to applications of categorical methods in algebra, analysis, order, topology and computer science (Springer Science + Business Media B.V, 1993)