In topology loop spaces can be understood combinatorially using algebraic theories. This approach can be extended to work for certain model structures on categories of presheaves over a site with functorial unit interval ...