  We define the concept of a bi-operad. We develop the homotopy theory of
"Bital-Sets" and of infinite-bi-operads. We develop a geometry of generalized
schemes based on the spectra of distributive monochromatic bi-operads.
