Cartesian effect categories are Freyd-categories

Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud. Cartesian effect categories are Freyd-categories. Journal of Symbolic Computation, 46(3):272-293, 2011. [doi]

Abstract

Abstract is missing.