Le dimanche 12 novembre 2006 à 18:31 +0100, Waldek Hebisch a écrit :
> Vanuxem Grégory wrote:
> > I played a little with this and reread aggcat which contains the
> > aggregate categories used in src/algebra. I displayed in Hyperdoc
> > Multiset and clicked on the example link (I wanted to know th
Vanuxem Grégory wrote:
> I played a little with this and reread aggcat which contains the
> aggregate categories used in src/algebra. I displayed in Hyperdoc
> Multiset and clicked on the example link (I wanted to know the "users"
> of Multiset thanks to Waldek for its patch/remark), the interprete
Le dimanche 12 novembre 2006 à 15:22 +0100, Ralf Hemmecke a écrit :
> > For example, is an Axiom set, i.e. a member of the domain Set, a
> > data structure or a mathematical structure? Should we call the
> > domain Set a mathematical structure or only the category SetCategory
> > to which it belon
