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.
because I needed the link I have created a stub (2,1)-site. I define it there as an (infinity,1)-site whose underlying category is a (2,1)-category. Don’t have the leisure right now to check that this is also a 2-site whose underlying 2-category is a $(2,1)$-category, as hopefully it is
It is; I think one just has to observe that the notions of “sieve” agree.
Something in that entry seems wrong to me; see the query box there.
I have fixed it.
In the original sentence one of the $\infty$-s should have been a 2. But there is also a statement with the $\infty$ in there about 2-locality. I added that, too.
Thanks, now it makes sense!
1 to 5 of 5