Congruence schemes

A new category of algebro-geometric objects is defined. This construction is a vast generalization of existing F1-theories, as it contains the the theory of monoid schemes on the one hand and classical algebraic theory, e.g. Grothendieck schemes, on the the other. It also gives a handy description of Berkovich subdomains and thus contains Berkovich's approach to abstract skeletons. Further it complements the theory of monoid schemes in view of number theoretic applications as congruence schemes encode number theoretical information as opposed to combinatorial data which are seen by monoid schemes.