A Mechanically Assisted Constructive Proof in Category Theory. - James A. Altucher; Prakash Panangaden (CADE, 1990)