Re: making a cone universal in a faithful way

Dear Lutz,

While I'm willing to believe the case of initial objects, the statement is wrong already for the case of isomorphisms.

You are right. I didn't checked very carefully the local confluence of my rewriting system. To get confluence, I need to add the fact that the bimorphism f satisfies "fu = vf implies u = 1 and v = 1". So this is enough for f to be a potential isomorphism. While the general statement I gave is wrong, I'm still interested in condition to make the conclusion true (for example, in the case of the sum or of the amalgated sum). Regards, -- Dimitri [For admin and other information see: http://www.mta.ca/~cat-dist/ ]