A genoid is a category of only two objects (A, G) such that G is the product of A with itself (thus G is also the product of any finite power of A with itself). It is a remarkable fact that such a simple concept can be used to define all of the fundamental algebraic theories, including lambda calculus and first order logic. Progress made in this direction is presented at a newly created website entitled "Clones <http://www.algebraic.net/cag> and Genoids" (http://www.algebraic.net/cag). Zhaohua Luo