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.
David, I am taking the liberty of breaking your lock of the entry, which seems to be from the moment the server took its daily nap 23 minutes ago.
Let me just add the last things I meant to add, then I am out of the edit box and you can have it.
I was just sorting out some typos when it went to sleep. Hopefully I corrected the adjunction after
This follows formally from the full sub (2,1)-category inclusion
correctly.
(For some reason it doesn’t display when I bring it here.)
Let’s see if the following displays here:
$\Singularities_{/\prec\mathbf{B}G} \underoverset {\hookleftarrow} {\overset{\tau_0}{\longrightarrow}} {\;\;\; \bot \;\;\;} G Orbits \,,$(There was a blank line in the code, which might have confused the $n$Forum parser here. Also \boxed
seems not to work here on the $n$Forum. )
In the section ’Globally equivariant cohesive homotopy theory’
carries the following system of adjoint triples of adjoint modalities:
better to say adjoint quadruples at that stage, and then we see the adjoint triples of adjoint modalities in the following section?
1 to 7 of 7