INTRODUCTION TO AN ALGEBRAIC THEORY OF ARROWS, II. Ann. Sofia Univ. Fac. Math. and Inf. 1991, 82 (1), 63-117.