OKlibrary  0.2.1.6
general.hpp File Reference

Plans in general regarding operations of groupoids. More...

Go to the source code of this file.


Detailed Description

Plans in general regarding operations of groupoids.

Todo:
Connections
Todo:
Notions and notations
  • "opr_grdset" for the operation of a groupoid on a set.
  • Or perhaps "grd" would be the default? Seems too special to devote a default for this case, so better not.
  • Different from actions, here we need to have the structure which operates as part of the name, since it could also be for example a ring.
  • Perhaps this should be a triple [V,X,opr], and so the current "opr_grdset_p(opr,V,X)" should instead be "opr_grdset_p([V,X,opr])".
  • While a V-operations (which in case of a group V would also be called a "V-set") would be a pair [X,opr].

Definition in file general.hpp.