Loading paper
Extending binary operations to funtor-spaces | Tomesphere