3
$\begingroup$

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?

$\endgroup$
3
  • $\begingroup$ Do you mean something more complicated than the weak (n+1,r+1)-category of weak (n,r)-categories? $\endgroup$ Nov 17, 2009 at 23:11
  • $\begingroup$ I assume Urs means an explicit Theta-space model for the weak (n+1,r+1)-category of weak (n,r)-categories. $\endgroup$ Nov 17, 2009 at 23:59
  • $\begingroup$ 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? $\endgroup$ Nov 18, 2009 at 7:41

1 Answer 1

5
$\begingroup$

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[0] = \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.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.