.

Published in: Appl. Categorical Struct. (1993)