From: Dimitri Ara <dimitri.ara@gmail.com>
To: Lutz Schroeder <Lutz.Schroeder@dfki.de>, <categories@mta.ca>
Subject: Re: making a cone universal in a faithful way
Date: Tue, 4 Aug 2009 11:15:12 +0200 [thread overview]
Message-ID: <E1MYJ8l-0001FL-0J@mailserv.mta.ca> (raw)
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/ ]
next reply other threads:[~2009-08-04 9:15 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-08-04 9:15 Dimitri Ara [this message]
-- strict thread matches above, loose matches on Subject: below --
2009-08-05 0:07 Steve Lack
2009-08-04 10:41 Lutz Schroeder, categories
2009-08-04 7:38 Lutz Schroeder
2009-08-03 16:37 Dimitri Ara
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1MYJ8l-0001FL-0J@mailserv.mta.ca \
--to=dimitri.ara@gmail.com \
--cc=Lutz.Schroeder@dfki.de \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).