# (n+1,r+1)-Theta space of (n,r)-Theta spaces?

I started writing nLab:Theta space. Not done yet, but while I am working on it:

is there a good proposal for what the "$(n+1,r+1)$-$\Theta$-space of all $(n,r)$-$\Theta$-spaces" would be?

• Do you mean something more complicated than the weak (n+1,r+1)-category of weak (n,r)-categories? – Denis-Charles Cisinski Nov 17 '09 at 23:11
• I assume Urs means an explicit Theta-space model for the weak (n+1,r+1)-category of weak (n,r)-categories. – Charles Rezk Nov 17 '09 at 23:59
• Yes, I mean the explicit Theta-space model. Thanks for the reply below! I could now keep asking questions along the lines: "How much category theory is known for Theta-spaces"? Is there an explicit definition of limits and colimits, for instance? Of adjoint functors? – Urs Schreiber Nov 18 '09 at 7:41

Let me assume $n=\infty$, to make things easier to write, so "$(\infty,r)$-$\Theta$-space" equals "$r$-$\Theta$-space".

The totality of $r$-$\Theta$-spaces forms a (large) category enriched over $r$-$\Theta$-spaces, which I'll call $C$. Given this, you can form a presheaf of spaces $X$ on the category $\Theta_{r+1}$, where

$$X = \text{class of objects of C_r},$$

and

$$X($m$(\theta_1,\dots,\theta_m)) = \coprod_{a_0,\dots,a_m} C(a_0,a_1)(\theta_1)\times \cdots \times C(a_{m-1},a_m)(\theta_m).$$

Here "$$m$(\theta_1,\dots,\theta_m)$" represents a typical object in $\Theta_{r+1}$ (so each $\theta_i\in \Theta_r$). The coproduct is over tuples of objects of $C$. The structure maps in the presheaf use the fact that $C$ is a category object. (It's like the way you get a Segal category from a category enriched over spaces.)

The gadget $X$ is almost an $(r+1)$-$\Theta$-space. It satisfies all the "Segal" conditions, and also all the completeness conditions except for the one in bottom dimension. You get an honest $(r+1)$-$\Theta$-space $X'$ from $X$ by applying a suitable localization.

The gadget $X'$ should be the thing you want. (None of the proofs involved here have been written up, or at least not by me, though we're working on it.)