Categorical structures and their applications : (World Scientific, 2004)