Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

• Username
• Password
• Remember me

• Sign in using OpenID
• Remember me

• Forgot your password?
• Apply for membership

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

1. • CommentRowNumber1.
   • CommentAuthorHarry Gindi
   • CommentTimeJan 24th 2011
   • (edited Jan 24th 2011)
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexThe second part of HTT [Proposition 2.2.1.1](http://arxiv.org/pdf/math/0608040v4#Page=68) gives a certain functoriality property of the straightening functor with respect to left Kan extensions. Here's what Lurie said in an e-mail earlier today: --------------- If $C$ is a simplicial category and $F: C^{op} \to sSet$ is a simplicial functor, let $C_F$ denote the simplicial category obtained from $C$ by adjoining a new object $z$, with $Map(x,z) = F(x)$, $Map(z,z) = Delta^0$, and $Map(z,x)$ empty for $x$ in $C$. $C_F$ has the following universal property: to give a (simplicial) functor $C_F \to D$, you need to give a functor $g: C \to D$, and object $z'$ in $D$ (which will be the image of $z$), and a natural transformation of functors $F(x) \to Map_D( g(x), z')$. From this universal property, you conclude that given a functor $p: C \to C'$, you have a pushout square $$C'_{p_! F}\cong colim(C'\leftarrow C \rightarrow C_F).$$ --------------------- So this resolves part of the problem, but in general, the category $M$ (in the definition of the straightening functor) is not exactly $C_F$. Suppose we call the map $j:C\to M$, and we let $h^p:=M(-,p)$ where $p$ is the distinguished vertex. Then we have a factorization $C\to C_{j^* h^p} \to M$. Lurie's email says that the big pushout $M'=colim(M\overset{j}{\leftarrow} C\overset{\pi}{\to} C')$ factors as a pair of pushout squares, the pushout from the e-mail: $C'_{\pi_! j^* h^p} = colim(C_{j^* h^p}\leftarrow C \to C')$ juxtaposed with the pushout square $M'=colim(M\leftarrow C_{j^* h^p} \to C'_{\pi_! j^* h^p})$. That is, there seems to be a small bit more to prove. Presumably it suffices to show that the new object $C'_{\pi_! j^* h^p}$ satisfies the universal property, but I'm not sure how to do that. By Yoneda reduction, it suffices to show that $C'_{\pi_! j^* h^p}\cong C'_{n^*g_! h^p}$ where $n:C'\to M'$ is the canonical map, and $g:M\to M'$ is the other canonical map. (There may be a bunch of places where I forgot to put opposite categories. I have faith that you'll figure it out!

   The second part of HTT Proposition 2.2.1.1 gives a certain functoriality property of the straightening functor with respect to left Kan extensions.

   Here’s what Lurie said in an e-mail earlier today:

   ---

   If $C$ is a simplicial category and $F: C^{op} \to sSet$ is a simplicial functor, let $C_F$ denote the simplicial category obtained from $C$ by adjoining a new object $z$, with $Map(x,z) = F(x)$, $Map(z,z) = Delta^0$, and $Map(z,x)$ empty for $x$ in $C$.

   $C_F$ has the following universal property: to give a (simplicial) functor $C_F \to D$, you need to give a functor $g: C \to D$, and object $z'$ in $D$ (which will be the image of $z$), and a natural transformation of functors $F(x) \to Map_D( g(x), z')$.

   From this universal property, you conclude that given a functor $p: C \to C'$, you have a pushout square

   $$C'_{p_! F}\cong colim(C'\leftarrow C \rightarrow C_F).$$

   ---

   So this resolves part of the problem, but in general, the category $M$ (in the definition of the straightening functor) is not exactly $C_F$. Suppose we call the map $j:C\to M$, and we let $h^p:=M(-,p)$ where $p$ is the distinguished vertex. Then we have a factorization $C\to C_{j^* h^p} \to M$. Lurie’s email says that the big pushout $M'=colim(M\overset{j}{\leftarrow} C\overset{\pi}{\to} C')$ factors as a pair of pushout squares, the pushout from the e-mail: $C'_{\pi_! j^* h^p} = colim(C_{j^* h^p}\leftarrow C \to C')$ juxtaposed with the pushout square $M'=colim(M\leftarrow C_{j^* h^p} \to C'_{\pi_! j^* h^p})$.

   That is, there seems to be a small bit more to prove. Presumably it suffices to show that the new object $C'_{\pi_! j^* h^p}$ satisfies the universal property, but I’m not sure how to do that.

   By Yoneda reduction, it suffices to show that $C'_{\pi_! j^* h^p}\cong C'_{n^*g_! h^p}$ where $n:C'\to M'$ is the canonical map, and $g:M\to M'$ is the other canonical map.

   (There may be a bunch of places where I forgot to put opposite categories. I have faith that you’ll figure it out!

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeJan 24th 2011
   • (edited Jan 24th 2011)
   • PermaLink
   Author: Urs
   Format: MarkdownItexHi Harry, I think it is great that you invest this energy into sorting these things out. I'd be willing to help, even though have absolutely no time for it, but as a means for procrastinating what I really need to do. But it is a bit hard for us to jump right into some nitty-gritty details of your technical discussion with Jacob Lurie. For instance I am not sure from the above what the remaining question is that you would like to have answered. For instance that juxtaposition/pasting of two pushout squares. I trust you know that this implies on general grounds that the outer rectangle is itself again a pushout? Or is this the question? Sorry, this must be frustrating for you, who has been concentrating on this, but: what exactly is your question now? :-)

   Hi Harry,

   I think it is great that you invest this energy into sorting these things out.

   I’d be willing to help, even though have absolutely no time for it, but as a means for procrastinating what I really need to do.

   But it is a bit hard for us to jump right into some nitty-gritty details of your technical discussion with Jacob Lurie. For instance I am not sure from the above what the remaining question is that you would like to have answered.

   For instance that juxtaposition/pasting of two pushout squares. I trust you know that this implies on general grounds that the outer rectangle is itself again a pushout? Or is this the question?

   Sorry, this must be frustrating for you, who has been concentrating on this, but: what exactly is your question now? :-)

3. • CommentRowNumber3.
   • CommentAuthorHarry Gindi
   • CommentTimeJan 24th 2011
   • (edited Jan 24th 2011)
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexThe question is, why is $Hom(n(-),g(p))=n^*g_!Hom(-,p)$ (where $g:M\to M'$ and $n:C'\to M'$ are the natural pushout maps) _exactly_ the left Kan extension of $Hom(j(-),p)=j^*Hom(-,p)$ along $\pi:C\to C'$ where $j:C\to M$ is the induced map? Notce that $j^*Hom(-,p)$ could reasonably be called $St_\phi X$ for some $S$, $X\to S$, and $\phi$. The problem presented in my first post is a simplification of that case, but if need be, I can write out everything, including the definition, and then re-ask the question.

   The question is, why is $Hom(n(-),g(p))=n^*g_!Hom(-,p)$ (where $g:M\to M'$ and $n:C'\to M'$ are the natural pushout maps) exactly the left Kan extension of $Hom(j(-),p)=j^*Hom(-,p)$ along $\pi:C\to C'$ where $j:C\to M$ is the induced map?

   Notce that $j^*Hom(-,p)$ could reasonably be called $St_\phi X$ for some $S$, $X\to S$, and $\phi$. The problem presented in my first post is a simplification of that case, but if need be, I can write out everything, including the definition, and then re-ask the question.

4. • CommentRowNumber4.
   • CommentAuthorHarry Gindi
   • CommentTimeJan 26th 2011
   • (edited Jan 26th 2011)
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexAn affirmative answer to this [question](http://mathoverflow.net/questions/53312/are-strictly-injective-fully-faithful-v-functors-stable-under-pushout-for-v-a-top) would resolve the problem above. I'll paste it here: Let $V$ be a topos (a presheaf topos if necessary), and let $A$, $A'$, and $B$ be $V$-categories. Suppose $F:A\to A'$ is a strictly injective (on objects) and fully faithful $V$-functor in the sense that it induces isomorphisms on Hom-objects. Let $G:A\to B$ be any $V$-functor, and let $F':B\to A'\coprod_A B$ be the strict pushout of $F$ along $G$. Is $F'$ necessarily strictly injective (on objects) and fully faithful (in the sense above)?

   An affirmative answer to this question would resolve the problem above.

   I’ll paste it here:

   Let $V$ be a topos (a presheaf topos if necessary), and let $A$, $A'$, and $B$ be $V$-categories. Suppose $F:A\to A'$ is a strictly injective (on objects) and fully faithful $V$-functor in the sense that it induces isomorphisms on Hom-objects.

   Let $G:A\to B$ be any $V$-functor, and let $F':B\to A'\coprod_A B$ be the strict pushout of $F$ along $G$.

   Is $F'$ necessarily strictly injective (on objects) and fully faithful (in the sense above)?

5. • CommentRowNumber5.
   • CommentAuthorHarry Gindi
   • CommentTimeJan 26th 2011
   • (edited Jan 26th 2011)
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexThe above conclusion holds in the face of the lemma above because the map $\mathfrak{C}[S]\to \mathfrak{C}[S^\triangleright]$ is strictly injective and fully faithful, so its pushouts ($n$ and $j$) are strictly injective and fully faithful, which implies that $n^*g_!\to n^*g_! j_! j^* = n^* n_! \pi_! j^*\to \pi_! j^*$ is an isomorphism of functors since $Id\to n^* n_!$ is an isomorphism, as is $j_! j^* \to Id$. This does not depend on the stuff from Lurie's e-mail. Mike and David, how do you compute the hom-spaces in the pushout V-category?

   The above conclusion holds in the face of the lemma above because the map $\mathfrak{C}[S]\to \mathfrak{C}[S^\triangleright]$ is strictly injective and fully faithful, so its pushouts ($n$ and $j$) are strictly injective and fully faithful, which implies that $n^*g_!\to n^*g_! j_! j^* = n^* n_! \pi_! j^*\to \pi_! j^*$ is an isomorphism of functors since $Id\to n^* n_!$ is an isomorphism, as is $j_! j^* \to Id$.

   This does not depend on the stuff from Lurie’s e-mail.

   Mike and David, how do you compute the hom-spaces in the pushout V-category?

6. • CommentRowNumber6.
   • CommentAuthorMike Shulman
   • CommentTimeJan 26th 2011
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexI don't have time to write it out carefully, but just think about what the pushout would look like in Set-enrichment (all the morphisms in the categories being pushed out give you new ones, and then you have to throw in relatively free composites as necessary) and write that as a coend.

   I don’t have time to write it out carefully, but just think about what the pushout would look like in Set-enrichment (all the morphisms in the categories being pushed out give you new ones, and then you have to throw in relatively free composites as necessary) and write that as a coend.

7. • CommentRowNumber7.
   • CommentAuthorHarry Gindi
   • CommentTimeJan 26th 2011
   • (edited Jan 26th 2011)
   • PermaLink
   Author: Harry Gindi
   Format: MarkdownItexMike, if you know of a reference that explains the pushout of V-categories (also ordinary categories), I would really appreciate it. Pushouts of categories are kinda mysterious to me. All I know is that it's like the amalgamation product of groups, but like a hundred times worse.

   Mike, if you know of a reference that explains the pushout of V-categories (also ordinary categories), I would really appreciate it. Pushouts of categories are kinda mysterious to me.

   All I know is that it’s like the amalgamation product of groups, but like a hundred times worse.

8. • CommentRowNumber8.
   • CommentAuthorMike Shulman
   • CommentTimeJan 26th 2011
   • PermaLink
   Author: Mike Shulman
   Format: MarkdownItexThere might be something in Wolff's paper "V-Cat and V-Graph". But I really encourage you to just sit down and force yourself to figure out what it has to be.

   There might be something in Wolff’s paper “V-Cat and V-Graph”. But I really encourage you to just sit down and force yourself to figure out what it has to be.

9. • CommentRowNumber9.
   • CommentAuthorUrs
   • CommentTimeJan 26th 2011
   • PermaLink
   Author: Urs
   Format: MarkdownItex> if you know of a reference that explains the pushout of V-categories (also ordinary categories), I would really appreciate it. This one here considers almost the situation you are looking at, but not quite, Macdonald, Scull, <a href="http://faculty.fortlewis.edu/Scull_L/pushouts.pdf">Amalgamations of categories</a>.

   if you know of a reference that explains the pushout of V-categories (also ordinary categories), I would really appreciate it.

   This one here considers almost the situation you are looking at, but not quite,

   Macdonald, Scull, Amalgamations of categories.

10. • CommentRowNumber10.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 26th 2011
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexUrs, very nice! Not only that, but the paper in question confirmed exactly my suspicions on the necessary property (2-for 3) when I was toying around with it.

    Urs, very nice! Not only that, but the paper in question confirmed exactly my suspicions on the necessary property (2-for 3) when I was toying around with it.

11. • CommentRowNumber11.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 27th 2011
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItex@Harry, Notice that their counterexample is not of the form that you are considering (neither of their functors they are pushing out are fully faithful), so that you aren't necessarily back to square one. You may be able to come up with a counterexample to your question, but if not, here are some ideas to check: The results holds if and only the three following cases hold ( in this order): * G is full and the identity on objects, * G is faithful and the identity on objects. * G is fully faithful. I've made a random guess that your $V$ has epi-mono factorisation, to get the first two steps (instead of just $G$ is the identity on objects). Full here means $A(a_1,a_2) \to B(Ga_1,Ga_2)$ is an epi in $V$. Maybe check some of these for $V=Set$...

    @Harry,

    Notice that their counterexample is not of the form that you are considering (neither of their functors they are pushing out are fully faithful), so that you aren’t necessarily back to square one. You may be able to come up with a counterexample to your question, but if not, here are some ideas to check:

    The results holds if and only the three following cases hold ( in this order):

    • G is full and the identity on objects,
    • G is faithful and the identity on objects.
    • G is fully faithful.

    I’ve made a random guess that your $V$ has epi-mono factorisation, to get the first two steps (instead of just $G$ is the identity on objects). Full here means $A(a_1,a_2) \to B(Ga_1,Ga_2)$ is an epi in $V$. Maybe check some of these for $V=Set$…

12. • CommentRowNumber12.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 27th 2011
    • PermaLink
    Author: DavidRoberts
    Format: MarkdownItexSee also page 20 of [this talk by Pronk](http://www.mat.uc.pt/~categ/ct2007/slides/pronk.pdf).

    See also page 20 of this talk by Pronk.

13. • CommentRowNumber13.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 27th 2011
    • (edited Jan 27th 2011)
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexI'm done with this problem, since the general thing that would resolve this is a pain in the butt, and I found a way to do it that will work. Also, I just realized that Lurie's comment resolves everything in one go, since I just realized now that the simplicial category $\mathfrak{C}[X^\triangleright]$ is precisely $\mathfrak{C}[X]_F$ where $F$ is some simplicial functor (dependent on the magic of $\mathfrak{C}$, which is extremely annoying to describe explicitly but arises from a bar construction on the free category comonad restricted to $\Delta$ then extended by the universal property of presheaves) $\mathfrak{C}[X]^{op}\to Set_\Delta$, which resolves everything by an appeal to composition of adjoints in a certain way. If you care about the formal proof, I have it written down. Thanks for all the help, guys! I really appreciate it. I'll leave the question regarding the general case on mathoverflow open if anyone wants to give a proof at some point in the future (sometimes Todd likes to do this, and he reprimanded me for deleting other questions like this).

    I’m done with this problem, since the general thing that would resolve this is a pain in the butt, and I found a way to do it that will work.

    Also, I just realized that Lurie’s comment resolves everything in one go, since I just realized now that the simplicial category $\mathfrak{C}[X^\triangleright]$ is precisely $\mathfrak{C}[X]_F$ where $F$ is some simplicial functor (dependent on the magic of $\mathfrak{C}$, which is extremely annoying to describe explicitly but arises from a bar construction on the free category comonad restricted to $\Delta$ then extended by the universal property of presheaves) $\mathfrak{C}[X]^{op}\to Set_\Delta$, which resolves everything by an appeal to composition of adjoints in a certain way.

    If you care about the formal proof, I have it written down.

    Thanks for all the help, guys! I really appreciate it.

    I’ll leave the question regarding the general case on mathoverflow open if anyone wants to give a proof at some point in the future (sometimes Todd likes to do this, and he reprimanded me for deleting other questions like this).

14. • CommentRowNumber14.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 27th 2011
    • (edited Jan 27th 2011)
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexHere's the proof: First, let's prove Lurie's claim formally: -------------------- Let $F:C^{op}\to sSet$ be any simplicial functor, and let $C_F$ be the simplicial category with objects consisting of the objects of $C$ and an extra object $\ast$ such that $C_F(c,d)=C(c,d),$ $C_F(c,*)=F(c),$ and $C_F(*,d)=\emptyset$ for all $c, d\in C$, and such that $C_F(*,*)=\Delta^0$. Let $\iota:C\to C_F$ be the evident full and faithful embedding. Then suppose we're given a functor $\pi:C\to C'$. Then a cone for the diagram $C'\leftarrow C\to C_F$ consists of the following data: A simplicial category $D$ and a pair of simplicial functors $r: C'\to D$ and $d:C_F\to D$ making the evident diagram commute. Now, the functor $d:C_F\to D$ consists of a functor $j:C\to D$, an object $x\in D$, and a natural transformation $\eta:F\to j^*h^x$. However, it is clear from the definitions that $j=d\iota=r\pi$, and therefore, we have a natural transformation $\eta:F\to \pi^*r^*h^x$, but this corresponds under the adjunction to a natural transformation $\eta':\pi_! F\to r^*h^x$. So a cone on this diagram is identical to the data of a functor $j:C\to D$, an object $x\in D$, an extension $r:C'\to D$ such that $r\pi=j$, and a morphism of functors $\pi^{op}_!F\to r^*h^x$. Then certainly if there exists a simplicial category $E$ with a distinguished object $e$ and a functor $s:C'\to E$ such that $\pi_!F = s^*h^e$, it would be universal, but if we let $E=C'_{\pi_!F}$, we're done. Hooray! ---------------- Next, we show that for any simplicial set $S$, $\mathfrak{C}[S^\triangleright]=\mathfrak{C}[S]_{FS}$ for the simplicial functor $FS= \mathfrak{C}[S^\triangleright](-,\ast)$. Let $\mathcal{U}$ be the class of simplicial sets for which the claim holds. Clearly $\mathcal{U}$ is stable under isomorphisms, disjoint unions, and given a span is of the form $X'\leftarrow X \to Y$ with $X,X', Y\in \mathcal{U}$ with the map $X\to Y$ monic, then the pushout is in $\mathcal{U}$ (clear). It is left as an exercise to show that it is stable under (countable) sequential colimits of monomorphisms (this is easy). Then it suffices to show that it holds for simplices, but this is immediately clear by the construction of $\mathfrak{C}$. (The part where I wrote (clear) is a part that I don't actually know how to finish without computing the pushout. Is there an easier way to prove this? The whole part is geometrically obvious because the cone point is absolutely terminal in the simplicial set (the only edge such that $d_0$ is the cone point is degenerate). ---------------- But then we're done, since in particular, given any $\phi: \mathfrak{C}[S]\to C^{op}$ and any $p: X\to S$, we have that: $$M_{(p,\phi)}=colim(\mathfrak{C}[X^\triangleright] \leftarrow \mathfrak{C}[X]\overset{\mathfrak{C}[p]}{\to} \mathfrak{C}[S] \overset{\phi}\to C^{op})=C^{op}_{St_\phi(X)}$$ Given any functor $\pi:C\to C'$, then it follows from the first lemma that the pushout $C'^{op} \leftarrow C^{op}\to C^{op}_{St_\phi(X)}$ is precisely $C'^{op}_{\pi_!St_\phi(X)}$

    Here’s the proof:

    First, let’s prove Lurie’s claim formally:

    ---

    Let $F:C^{op}\to sSet$ be any simplicial functor, and let $C_F$ be the simplicial category with objects consisting of the objects of $C$ and an extra object $\ast$ such that $C_F(c,d)=C(c,d),$ $C_F(c,*)=F(c),$ and $C_F(*,d)=\emptyset$ for all $c, d\in C$, and such that $C_F(*,*)=\Delta^0$. Let $\iota:C\to C_F$ be the evident full and faithful embedding.

    Then suppose we’re given a functor $\pi:C\to C'$. Then a cone for the diagram $C'\leftarrow C\to C_F$ consists of the following data: A simplicial category $D$ and a pair of simplicial functors $r: C'\to D$ and $d:C_F\to D$ making the evident diagram commute.

    Now, the functor $d:C_F\to D$ consists of a functor $j:C\to D$, an object $x\in D$, and a natural transformation $\eta:F\to j^*h^x$. However, it is clear from the definitions that $j=d\iota=r\pi$, and therefore, we have a natural transformation $\eta:F\to \pi^*r^*h^x$, but this corresponds under the adjunction to a natural transformation $\eta':\pi_! F\to r^*h^x$.

    So a cone on this diagram is identical to the data of a functor $j:C\to D$, an object $x\in D$, an extension $r:C'\to D$ such that $r\pi=j$, and a morphism of functors $\pi^{op}_!F\to r^*h^x$.

    Then certainly if there exists a simplicial category $E$ with a distinguished object $e$ and a functor $s:C'\to E$ such that $\pi_!F = s^*h^e$, it would be universal, but if we let $E=C'_{\pi_!F}$, we’re done. Hooray!

    ---

    Next, we show that for any simplicial set $S$, $\mathfrak{C}[S^\triangleright]=\mathfrak{C}[S]_{FS}$ for the simplicial functor $FS= \mathfrak{C}[S^\triangleright](-,\ast)$.

    Let $\mathcal{U}$ be the class of simplicial sets for which the claim holds. Clearly $\mathcal{U}$ is stable under isomorphisms, disjoint unions, and given a span is of the form $X'\leftarrow X \to Y$ with $X,X', Y\in \mathcal{U}$ with the map $X\to Y$ monic, then the pushout is in $\mathcal{U}$ (clear). It is left as an exercise to show that it is stable under (countable) sequential colimits of monomorphisms (this is easy).

    Then it suffices to show that it holds for simplices, but this is immediately clear by the construction of $\mathfrak{C}$.

    (The part where I wrote (clear) is a part that I don’t actually know how to finish without computing the pushout. Is there an easier way to prove this? The whole part is geometrically obvious because the cone point is absolutely terminal in the simplicial set (the only edge such that $d_0$ is the cone point is degenerate).

    ---

    But then we’re done, since in particular, given any $\phi: \mathfrak{C}[S]\to C^{op}$ and any $p: X\to S$, we have that:

    $$M_{(p,\phi)}=colim(\mathfrak{C}[X^\triangleright] \leftarrow \mathfrak{C}[X]\overset{\mathfrak{C}[p]}{\to} \mathfrak{C}[S] \overset{\phi}\to C^{op})=C^{op}_{St_\phi(X)}$$

    Given any functor $\pi:C\to C'$, then it follows from the first lemma that the pushout $C'^{op} \leftarrow C^{op}\to C^{op}_{St_\phi(X)}$ is precisely $C'^{op}_{\pi_!St_\phi(X)}$

15. • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2011
    • (edited Jan 27th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> (The part where I wrote (clear) is a part that I don't actually know how to finish without computing the pushout. Is there an easier way to prove this? It seems to me to be sufficient to observe that the pushout $\mathcal{M}$ is $C_{St_\phi(X)}$ by definition of $St_\phi(X)$. Because the pushout is clearly a category of the form $C_F$ and $St_\phi(X)$ is defined to be that $F$. I have included your discussion of the proof into the the $n$Lab page [[(infinity,1)-Grothendieck construction]] in the section <a href="http://ncatlab.org/nlab/show/(infinity%2C1)-Grothendieck+construction#GrpdModelCatVersion">For fibrations in oo-groupoids -- model category presentation</a>.

    (The part where I wrote (clear) is a part that I don’t actually know how to finish without computing the pushout. Is there an easier way to prove this?

    It seems to me to be sufficient to observe that the pushout $\mathcal{M}$ is $C_{St_\phi(X)}$ by definition of $St_\phi(X)$. Because the pushout is clearly a category of the form $C_F$ and $St_\phi(X)$ is defined to be that $F$.

    I have included your discussion of the proof into the the $n$Lab page (infinity,1)-Grothendieck construction in the section For fibrations in oo-groupoids – model category presentation.

16. • CommentRowNumber16.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 27th 2011
    • (edited Jan 28th 2011)
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexDear Urs, the trouble is the following: We must verify that $\mathfrak{C}[S^\triangleright]$ is $\mathfrak{C}[S]_{\iota_S^*h^p_S}$ where $h^p_S:=\mathfrak{C}[S^\triangleright](-,p)$ for $p$ the cone point and where $\iota_S=\mathfrak{C}[j_S]$ for $j_S:S\to S^\triangleright$ being the canonical inclusion. To show this, it is enough to show the following: $\mathfrak{C}[S^\triangleright](c,d)=\mathfrak{C}[S](c,d)$ for all $c,d\in S_0$, that $\mathfrak{C}[S^\triangleright](p,p)=\Delta^0$, and that $\mathfrak{C}[S^\triangleright](p,c)=\emptyset$ for all $c\in S_0$. I was trying to prove the statement by proving it for generators then proving stability under the usual things to show that $\mathcal{U}=Ob(sSet)$. The second two parts are sort of obviously true (there are no nondegenerate edges issuing from the cone point), but the first part, that the embedding $\iota_S$ is full and faithful is not obvious to me for general simplicial sets.

    Dear Urs, the trouble is the following:

    We must verify that $\mathfrak{C}[S^\triangleright]$ is $\mathfrak{C}[S]_{\iota_S^*h^p_S}$ where $h^p_S:=\mathfrak{C}[S^\triangleright](-,p)$ for $p$ the cone point and where $\iota_S=\mathfrak{C}[j_S]$ for $j_S:S\to S^\triangleright$ being the canonical inclusion. To show this, it is enough to show the following: $\mathfrak{C}[S^\triangleright](c,d)=\mathfrak{C}[S](c,d)$ for all $c,d\in S_0$, that $\mathfrak{C}[S^\triangleright](p,p)=\Delta^0$, and that $\mathfrak{C}[S^\triangleright](p,c)=\emptyset$ for all $c\in S_0$.

    I was trying to prove the statement by proving it for generators then proving stability under the usual things to show that $\mathcal{U}=Ob(sSet)$.

    The second two parts are sort of obviously true (there are no nondegenerate edges issuing from the cone point), but the first part, that the embedding $\iota_S$ is full and faithful is not obvious to me for general simplicial sets.

17. • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2011
    • (edited Jan 28th 2011)
    • PermaLink
    Author: Urs
    Format: MarkdownItex> The second two parts are sort of obviously true But then the first should be, too: $\mathfrak{C}$ is obtained from gluing cells, $\mathfrak{C}(S) = \mathfrak{C} (\int^{[n] \in \Delta} \Delta[n] \cdot S_n) = \int^{[n] \in \Delta} \mathfrak{C}(\Delta[n]) \cdot S_n$. So in $\mathfrak{C}(S^{\triangleright})$ there are extra morphisms to the new vertex point glued in, but no non-degenearate new morphism and no nontrivial composites with the new morphisms go from objects in $\mathfrak{C}(S)$ to objects in $\mathfrak{C}(S)$. For they had to pass through the new object, but out of that is no nontrivial morphism.

    The second two parts are sort of obviously true

    But then the first should be, too: $\mathfrak{C}$ is obtained from gluing cells, $\mathfrak{C}(S) = \mathfrak{C} (\int^{[n] \in \Delta} \Delta[n] \cdot S_n) = \int^{[n] \in \Delta} \mathfrak{C}(\Delta[n]) \cdot S_n$. So in $\mathfrak{C}(S^{\triangleright})$ there are extra morphisms to the new vertex point glued in, but no non-degenearate new morphism and no nontrivial composites with the new morphisms go from objects in $\mathfrak{C}(S)$ to objects in $\mathfrak{C}(S)$. For they had to pass through the new object, but out of that is no nontrivial morphism.

18. • CommentRowNumber18.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 28th 2011
    • (edited Jan 28th 2011)
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexSure, it's intuitively true, but I want to construct the following isomorphisms formally: $\mathfrak{C}[S](c,d)\to \mathfrak{C}[S^\triangleright](c,d)$ for all $c,d\in S_0$. I can see why it's true, but I'm totally baffled regarding how to actually show it. For some reason, it's very hard to manipulate the hom-objects in $\mathfrak{C}[S]$ in terms of the simplices of $S$. Sure, we have the coend formula, but that doesn't tll us anything concrete about the hom-objects, which are a priori extremely complicated because colimits in $Cat_\Delta$ are poorly behaved (they involve lots of crazy free composites).

    Sure, it’s intuitively true, but I want to construct the following isomorphisms formally:

    $\mathfrak{C}[S](c,d)\to \mathfrak{C}[S^\triangleright](c,d)$ for all $c,d\in S_0$. I can see why it’s true, but I’m totally baffled regarding how to actually show it. For some reason, it’s very hard to manipulate the hom-objects in $\mathfrak{C}[S]$ in terms of the simplices of $S$. Sure, we have the coend formula, but that doesn’t tll us anything concrete about the hom-objects, which are a priori extremely complicated because colimits in $Cat_\Delta$ are poorly behaved (they involve lots of crazy free composites).

19. • CommentRowNumber19.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 28th 2011
    • (edited Jan 28th 2011)
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexI e-mailed Lurie, and he gave a very pretty proof: Let $S\to \Delta^0$ be the terminal map, then this gives a map $S^\triangleright\to Delta^1$, but this becomes a map $\mathfrak{C}[S^\triangleright]\to \mathfrak{C}[\Delta^1]$ However, $ \mathfrak{C}[\Delta^1](1,0)$ is empty, so this proves one of the claims. The other claims follow by looking at the fibres over $0$ and $1$. More generally, this proof can be adapted to show that $\mathfrak{C}[S]\to \mathfrak{C}[S\star S']$ is a full and faithful embedding.

    I e-mailed Lurie, and he gave a very pretty proof:

    Let $S\to \Delta^0$ be the terminal map, then this gives a map $S^\triangleright\to Delta^1$, but this becomes a map $\mathfrak{C}[S^\triangleright]\to \mathfrak{C}[\Delta^1]$ However, $\mathfrak{C}[\Delta^1](1,0)$ is empty, so this proves one of the claims.

    The other claims follow by looking at the fibres over $0$ and $1$.

    More generally, this proof can be adapted to show that $\mathfrak{C}[S]\to \mathfrak{C}[S\star S']$ is a full and faithful embedding.

20. • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeJan 28th 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> they involve lots of crazy free composites But never one involving the new vertex, if that is not the codomain. So crazy as they may be, they are the same on both sides. But if you have a proof now that satisfies you, all the better!

    they involve lots of crazy free composites

    But never one involving the new vertex, if that is not the codomain. So crazy as they may be, they are the same on both sides.

    But if you have a proof now that satisfies you, all the better!

21. • CommentRowNumber21.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 28th 2011
    • (edited Jan 28th 2011)
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItex@Urs: > But never one involving the new vertex, if that is not the codomain. So crazy as they may be, they are the same on both sides. Sure, but there's a difference between a formal proof and knowing why the formal proof works. What you said is the reason why the proof works, but it's not a proof. A full proof exhibits the isomorphisms without handwaving! ------------------- However, have you ever done the explicit construction of the unstraightening functor? I just verified it, and I'll put it on the lab page later: Let $F:C\to sSet$ be a simplicial functor. Then consider the diagram: $S\overset{\phi}{\to} N(C^{op})\to N(C^{op}_F) \leftarrow (N(C^{op}_F)\downarrow x)$ where $x:\Delta^0\to N(C^{op}_F)$ is the vertex classifying the distinguished point on $C^{op}_F$. Then the limit of this diagram is the simplicial set over $S$ called $Un_\phi(F)$. Interestingly enough, I think this implies that the unstraightening of a simplicial functor is always contravariantly fibrant. The straightening and unstraightening functors are really elegant now that I look. There are some very subtle points about them that make things seem harder than they are. In particular, straightening and unstraightening are the composite of three separate adjunctions.

    @Urs:

    But never one involving the new vertex, if that is not the codomain. So crazy as they may be, they are the same on both sides.

    Sure, but there’s a difference between a formal proof and knowing why the formal proof works. What you said is the reason why the proof works, but it’s not a proof. A full proof exhibits the isomorphisms without handwaving!

    ---

    However, have you ever done the explicit construction of the unstraightening functor?

    I just verified it, and I’ll put it on the lab page later:

    Let $F:C\to sSet$ be a simplicial functor. Then consider the diagram:

    $S\overset{\phi}{\to} N(C^{op})\to N(C^{op}_F) \leftarrow (N(C^{op}_F)\downarrow x)$ where $x:\Delta^0\to N(C^{op}_F)$ is the vertex classifying the distinguished point on $C^{op}_F$. Then the limit of this diagram is the simplicial set over $S$ called $Un_\phi(F)$.

    Interestingly enough, I think this implies that the unstraightening of a simplicial functor is always contravariantly fibrant.

    The straightening and unstraightening functors are really elegant now that I look. There are some very subtle points about them that make things seem harder than they are.

    In particular, straightening and unstraightening are the composite of three separate adjunctions.

22. • CommentRowNumber22.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 29th 2011
    • PermaLink
    Author: Harry Gindi
    Format: MarkdownItexI should also note that the explicit form of the unstraightening functor is quite literally a million times easier to compute with.

    I should also note that the explicit form of the unstraightening functor is quite literally a million times easier to compute with.

23. • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2011
    • PermaLink
    Author: Urs
    Format: MarkdownItex> I just verified it, and I'll put it on the lab page later: You should really do that, if you have not already.

    I just verified it, and I’ll put it on the lab page later:

    You should really do that, if you have not already.

24. • CommentRowNumber24.
    • CommentAuthorzskoda
    • CommentTimeJan 31st 2011
    • PermaLink
    Author: zskoda
    Format: MarkdownItexWow, Harry is becoming quite a specialist.

    Wow, Harry is becoming quite a specialist.

25. • CommentRowNumber25.
    • CommentAuthorEmily Riehl
    • CommentTimeFeb 11th 2011
    • PermaLink
    Author: Emily Riehl
    Format: MarkdownItexI realize this thread is essentially finished but thought that participants might like to know about [recent work](http://arxiv.org/abs/0910.0814) of Dugger and Spivak which makes the simplicial categories $\mathfrak{C}[X]$ much easier to compute. Explicitly, they characterize $n$-simplices in $\mathfrak{C}[X](x,y)$ as *necklaces* in $X$ from $x$ to $y$, that is joins of the standard simplices which we call "beads" (where we identify the final vertex of a simplex with the initial vertex of the next) where the initial vertex of the entire necklace is $x$ and the final one is $y$, together with some vertex data which determines the faces of the $n$-simplex. I've found this description quite amenable to calculation. No colimits in simplicial categories required! In particular it's immediate that $n$-simplices in $\mathfrak{C}[X^\triangleright](x,y)$ are exactly $n$-simplices in $\mathfrak{C}[X](x,y)$ since the distinguished vertex $*$ only makes an appearance as the final vertex in a non-degenerate simplex of $X^\triangleright$. Similarly, $n$-simplices in $\mathfrak{C}[X^\triangleright](x,*)$ are exactly necklaces all but the last bead of which land in $X$ and whose final bead can be thought of as a simplex of one dimension lower in $X$. The original paper is quite readable and has some other good stuff besides, but if you just want a quick introduction to the necklace characterization of hom-spaces in the simplicial categories associated to simplicial sets, I summarize their work in a just a couple pages in the second section of [this paper](http://arxiv.org/abs/0912.4809).

    I realize this thread is essentially finished but thought that participants might like to know about recent work of Dugger and Spivak which makes the simplicial categories $\mathfrak{C}[X]$ much easier to compute. Explicitly, they characterize $n$-simplices in $\mathfrak{C}[X](x,y)$ as necklaces in $X$ from $x$ to $y$, that is joins of the standard simplices which we call “beads” (where we identify the final vertex of a simplex with the initial vertex of the next) where the initial vertex of the entire necklace is $x$ and the final one is $y$, together with some vertex data which determines the faces of the $n$-simplex. I’ve found this description quite amenable to calculation. No colimits in simplicial categories required!

    In particular it’s immediate that $n$-simplices in $\mathfrak{C}[X^\triangleright](x,y)$ are exactly $n$-simplices in $\mathfrak{C}[X](x,y)$ since the distinguished vertex $*$ only makes an appearance as the final vertex in a non-degenerate simplex of $X^\triangleright$. Similarly, $n$-simplices in $\mathfrak{C}[X^\triangleright](x,*)$ are exactly necklaces all but the last bead of which land in $X$ and whose final bead can be thought of as a simplex of one dimension lower in $X$.

    The original paper is quite readable and has some other good stuff besides, but if you just want a quick introduction to the necklace characterization of hom-spaces in the simplicial categories associated to simplicial sets, I summarize their work in a just a couple pages in the second section of this paper.