OKlibrary  0.2.1.6
Constructions.hpp File Reference

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.