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.
1 to 10 of 10
(Copied from MO)
Recall:
Let be the bar construction assigned to the comonad determined by free-forgetful adjunction . The restriction of to the full subcategory (which is isomorphic to the category of finite nonempty ordinals) naturally determines a colimit-preserving functor . The right adjoint of this functor is called , the homotopy-coherent nerve.
Identify (not by ) with the full subcategory of spanned by those simplicially enriched categories with discrete hom-spaces.
Also, recall the definition of the right cone on a simplicial set is the join . This determines an obvious natural map .
Let be an object of , and let be the counit (here is the category determined by the ordinal number (two objects, one nonidentity arrow). Form the pushout of the span (the two arrows in the same direction are replaced by their composite, so this is ).
This determines a functor defined as where is the image of the cone point of
Question:
The book I’m reading asserts that can be identified with (where is the map where is the map choosing the object of ) where is simply defined to be the analogous construction when is replaced with the identity . (Note that here we can identify functors with simplicial sets themselves, and suggestively, that under this identification, ).
Why is this true?
Edit: (Blah, modulo the inevitable sign error here).
=(. If someone could pry himself/herself away from the argument over at universe and explain this even for a moment, I’d really appreciate it.
This should be the statement that in (being a Grothendieck topos) we have pullback stability of colimits.
More in detail:
Since is left adjoint we can essentially compute the pushout before applying . Let me call the analog of obtained this way
We have a canonical map induced from the commutativity of
For evaluating we just need the fiber over , hence the pullback of the diagram
Now, since colimits commute with pullbacks in , this pullback is the pushout of the corresponding pullbacks of , and . But that pullback of is . Because you can compute it as this consecutive pullback:
Thanks!
Oh, by the way, I posted your answer on MO (with attribution and a link, as well as making it community wiki). If you’d prefer to answer it there yourself, I will delete the copy. Thanks again!
Meanwhile: Is it obvious for any formal reason that the pullback ? I mean, I think I can just show it by a computation, but can you derive it again from the fact that colimits are universal?
Is it obvious for any formal reason that the pullback ? I mean, I think I can just show it by a computation, but can you derive it again from the fact that colimits are universal?
If we invoke the description of the join in terms of Day convolution we have the coend expression
A coend is just a certain kind of colimit, so on the right this is some colimit of sets (for each ) over a diagram whose vertices are sets of the form .
I think therefore the argument that colimits are stable under pullback applies to this case, too. Yes.
Maybe again more in detail: with the above argument we find first that
And that remaining pullback is easily seen to be
(All equality signs denote isomorphisms.)
Thanks again!
1 to 10 of 10