Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
did I say that I created Theta space?
This is a really nice model. Rezk claims to have shown to get the homotopy hypothesis right for all (n,r)-categories and for both n and r ranging to . If that holds water, it's quite impressive. It seems the only thing missing then is the - Theta-space of all -Theta spaces. Does anyone know if there is a proposal for that?
It's also interesting how the result is a mix of globular and simplicial shapes. So in what respect does that build on/improve over Joyal's original proposal?
I wrote out more details of the definition at Theta space. Then I added a section on the (n+1,k+1)-Theta space of all (n,k)-Theta spaces.
I am not sure about the answer to Toby's query box at the moment.
just for the record: Charles Rezk himself has kindly joined the discussion at Theta space
I have edited the Idea-section at Theta space. Effectively I have rewritten and then expanded the little paragraph that used to be there. I have tried to make the basic idea more transparent.
1 to 4 of 4