Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures