Hi Nicolas,
If I understand what existed and what is proposed, then
I vote for the category Groupoids() and no arguments.
A standard definition of a groupoid in category theory is
a category in which every morphism is an isomorphism.
Thus it is possible that this was intended as a constructor
fo
Dear David, dear Robert,
On Mon, Oct 26, 2009 at 02:53:41PM -0700, David Kohel wrote:
> If I understand what existed and what is proposed,
(for short, and semantically speaking, the current Groupoid is exactly
what existed before)
> then I vote for the category Groupoids() and no argume