In this paper we describe a deductive system for categories with finite
products and coproducts, prove decidability of equality of morphisms
Theory and Applications of Categories, Vol. 8, 2001, No. 5, pp 63-99 http://www.tac.mta.ca/tac/volumes/8/n5/n5.dvi http://www.tac.mta.ca/tac/volumes/8/n5/n5.ps http://www.tac.mta.ca/tac/volumes/8/n5/n5.pdf ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n5/n5.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/8/n5/n5.psTAC Home