Plans on general constructions for groupoids.
More...
Go to the source code of this file.
Detailed Description
Plans on general constructions for groupoids.
 Todo:
 Write tests
 Todo:
 Products

We should also provide products of arbitrary arity.
 Todo:
 DONE Complex composition

And given a groupoid, we can form its "complex groupoid", given by all subsets and the complex product (by all combinations).

Here it would be good if the base sets could be given lazily.

How to achieve that??

Perhaps just the law of composition is given, and the base set is only implicitly given.
Definition in file Constructions.hpp.