Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
    
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
add comment

1 Answer

up vote 5 down vote accepted

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.)

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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