On Thu, Oct 29, 2009 at 09:57:09PM +0100, Florent hivert wrote:
> [...]
> > For this reason, I don't think CategoryWithBasis (or more
> > generally CategoryWith[Free]Generators) is a natural
> > category -- unless the generators are structures intended
> > to be preserved, as is the case with a ca
Dear David,
[...]
> For this reason, I don't think CategoryWithBasis (or more
> generally CategoryWith[Free]Generators) is a natural
> category -- unless the generators are structures intended
> to be preserved, as is the case with a category of pointed
> sets.
As Nicolas already explaine
On Thu, Oct 29, 2009 at 07:45:14AM -0700, David Kohel wrote:
> I don't have a strong opinion whether OrderedSets
> (or Monoids) should have total or partial ordering.
> However, since there is a possible ambiguity, my
> preference is to not use OrderedX as an alias for
> either PartiallyOrderedX o
Dear William, dear David,
Very few categories are left unreviewed. Please comment shortly on the
points below, or set a positive review!
Cheers,
Nicolas
> On Sat, Oct 24, 2009 at 12:04:45AM +0200, Nicolas ThiƩry wrote:
> > On Fri, Oct 23, 2009 at