A Mechanically Assisted Constructive Proof in Category Theory.

James A. Altucher, Prakash Panangaden

Browse the full CADE paper archive.