  We set up some foundations of generalised scheme theory related to new
incompressible symmetric tensor categories. This is analogous to the relation
between super schemes and the category of super vector spaces.
