This book is an enhanced version of an earlier Russian edition. Besides thorough revisions, more emphasis was put on reordering the topics according to a category-theoretical view. This allows the mathematical results to be stated,...