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 definitions 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 nlab noncommutative noncommutative-geometry number-theory object 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 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.
   • CommentAuthorUrs
   • CommentTimeAug 24th 2010
   • (edited Aug 24th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexHere is something dead elementary which I want to bounce off you to hear you say either "Sure, because this is a special case of the general statement ..." or "Urs, you are making the following silly mistake ...". [edit: of course what follows is nonsense] Let $C$ be a small category and $X,Y,Z : C^{op} \to Set$ three functors/presheaves with colimits $\lim_\to X, \lim_\to Y, \lim_\to Z$, respectively. Write $* : C^{op} \to Set$ for the presheaf constant on the singleton set and assume that $$ \array{ X &\to& * \\ \downarrow && \downarrow \\ Y &\stackrel{f}{\to}& Z } $$ is a pullback diagram in $[C^{op}, Set]$. I seem to be claiming that then also $$ \array{ \lim_\to X &\to& {*} \\ \downarrow && \downarrow \\ \lim_\to Y &\stackrel{\lim_\to f}{\to}& \lim_\to Z } $$ is a pullback diagram, in $Set$, hence that colimits of fibers are fibers of colimits. Proof: I do an elementary analysis. Write $*_U \in Z(U)$ for the component of $* \to Z$ over $U \in C$. Express the elements of $\lim_\to Y$ as equivalence classes of $\coprod_U Y(U)$ under the equivalence relation generated by $\forall (h : U \to V) , x \in Y(V) : x \sim Y(h)(x) $. Then the key observation is that if $[y] \in \lim_\to Y$ maps under $\lim_\to f$ to the equivalence class $[*]$ of the point $* \to Z$, then there is a representative $\tilde y \in Y(U)$ of this class $[y] = [\tilde y]$ such that $f(\tilde y) = *_U$ is the point itself. This is because if $[z_U] = [*]$ then either $z_U = *_U$ already or else it must be true that there is $h : V \to U$ such that $Z(h) : z_U \mapsto *_V$. In other words, it does not happen that the other way round for some $g : U \to V$ we have $Z(g) : *_V \mapsto z_U$, since by the naturality of $* \to Z$ we have $Z(g) : *_V \mapsto *_U$. But then by naturality of $f : Y \to Z$ it follows that if $f_U : y_U \mapsto z_U$ then either $z_U = *_U$ already or else we have that $Y(h)(y_U)$ is mapped to $*_V$ by $f_V$, using the commutativity of $$ \array{ Y(V) &\stackrel{f_V}{\to}& Z(V) \\ \uparrow^{\mathrlap{Y(h)}} && \uparrow^{\mathrlap{Z(h)}} \\ Y(U) &\stackrel{f_U}{\to}& Z(U) } $$ In summary this says that if an equivalence class $[y] \in \lim_\to Y$ maps to the equivalence class $[*]$ of the point, then at least some of its representatives $\tilde y$ do themselves map to the point. These identify a class $[\tilde y] \in \lim_\to X$, observing that $\lim_\to X$ is the set of equivalence classes in $\coprod_U Y(U)$ among elements that sit over the point. But the equivalence classes $[y] \in \lim_\to Y$ that map to $[*]$ constitute the pullback $(\lim_\to Y) \times_{\lim \to Z} *$, and so we have established that this pullback is $\lim_\to X$. Right?

   Here is something dead elementary which I want to bounce off you to hear you say either “Sure, because this is a special case of the general statement …” or “Urs, you are making the following silly mistake …”.

   [edit: of course what follows is nonsense]

   Let $C$ be a small category and $X,Y,Z : C^{op} \to Set$ three functors/presheaves with colimits $\lim_\to X, \lim_\to Y, \lim_\to Z$, respectively. Write $* : C^{op} \to Set$ for the presheaf constant on the singleton set and assume that

   $$\array{ X &\to& * \\ \downarrow && \downarrow \\ Y &\stackrel{f}{\to}& Z }$$

   is a pullback diagram in $[C^{op}, Set]$.

   I seem to be claiming that then also

   $$\array{ \lim_\to X &\to& {*} \\ \downarrow && \downarrow \\ \lim_\to Y &\stackrel{\lim_\to f}{\to}& \lim_\to Z }$$

   is a pullback diagram, in $Set$, hence that colimits of fibers are fibers of colimits.

   Proof:

   I do an elementary analysis. Write $*_U \in Z(U)$ for the component of $* \to Z$ over $U \in C$.

   Express the elements of $\lim_\to Y$ as equivalence classes of $\coprod_U Y(U)$ under the equivalence relation generated by $\forall (h : U \to V) , x \in Y(V) : x \sim Y(h)(x)$.

   Then the key observation is that if $[y] \in \lim_\to Y$ maps under $\lim_\to f$ to the equivalence class $[*]$ of the point $* \to Z$, then there is a representative $\tilde y \in Y(U)$ of this class $[y] = [\tilde y]$ such that $f(\tilde y) = *_U$ is the point itself.

   This is because if $[z_U] = [*]$ then either $z_U = *_U$ already or else it must be true that there is $h : V \to U$ such that $Z(h) : z_U \mapsto *_V$. In other words, it does not happen that the other way round for some $g : U \to V$ we have $Z(g) : *_V \mapsto z_U$, since by the naturality of $* \to Z$ we have $Z(g) : *_V \mapsto *_U$.

   But then by naturality of $f : Y \to Z$ it follows that if $f_U : y_U \mapsto z_U$ then either $z_U = *_U$ already or else we have that $Y(h)(y_U)$ is mapped to $*_V$ by $f_V$, using the commutativity of

   $$\array{ Y(V) &\stackrel{f_V}{\to}& Z(V) \\ \uparrow^{\mathrlap{Y(h)}} && \uparrow^{\mathrlap{Z(h)}} \\ Y(U) &\stackrel{f_U}{\to}& Z(U) }$$

   In summary this says that if an equivalence class $[y] \in \lim_\to Y$ maps to the equivalence class $[*]$ of the point, then at least some of its representatives $\tilde y$ do themselves map to the point. These identify a class $[\tilde y] \in \lim_\to X$, observing that $\lim_\to X$ is the set of equivalence classes in $\coprod_U Y(U)$ among elements that sit over the point.

   But the equivalence classes $[y] \in \lim_\to Y$ that map to $[*]$ constitute the pullback $(\lim_\to Y) \times_{\lim \to Z} *$, and so we have established that this pullback is $\lim_\to X$.

   Right?

2. • CommentRowNumber2.
   • CommentAuthorTodd_Trimble
   • CommentTimeAug 24th 2010
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexUrs, I'm pretty sure there's a mistake here, because I think it would imply that the colimit functor preserves monomorphisms $i: X \to Y$. The key is that any monomorphism $i$ embeds in a pullback square of your form. Specifically, there is a lemma that in a topos, if $i: X \to Y$ is any monomorphism, then the pushout square for any diagram of the form $$A \leftarrow X \stackrel{i}{\to} Y$$ is also a pullback. This is easy to verify directly for a presheaf topos because the lemma is obviously true for $Set$ and since both limits and colimits in a presheaf topos are computed objectwise. Now take $A = *$ (so that we arrive at your pullback diagram). If the colimit functor preserved this pullback, then $colim(i)$ would have to be a monomorphism (since of course $* \to colim(Z)$ is a monomorphism, and the pullback of a monomorphism along any arrow such as $colim(f)$ is also a monomorphism). But the colimit functor does not preserve monomorphisms generally. You know this already, but for the sake of completeness (or for anyone who didn't know this), here is an example. Take $C^{op}$ to be the "walking span" $a \leftarrow b \to c$, and consider the functor $X$ where $X(b) \to X(a)$ and $X(b) \to X(c)$ are both the same inclusion of a 1-element set into the same 2-element set, and consider the functor $Y$ where $Y(b) \to Y(a)$ and $Y(b) \to Y(c)$ are both identity functions on that 2-element set. There is an obvious monomorphism $i: X \to Y$. However, $colim(X)$ has 3 elements, and $colim(Y)$ has 2 elements. I didn't look super-closely at your argument, but my rough impression is that you checked an existence condition but not a uniqueness condition. It may be true (I don't know off-hand) that the colimit functor preserves *weak* pullbacks (where 'weak' here involves existence but not uniqueness), and that's what your argument is proving.

   Urs, I’m pretty sure there’s a mistake here, because I think it would imply that the colimit functor preserves monomorphisms $i: X \to Y$. The key is that any monomorphism $i$ embeds in a pullback square of your form.

   Specifically, there is a lemma that in a topos, if $i: X \to Y$ is any monomorphism, then the pushout square for any diagram of the form

   $$A \leftarrow X \stackrel{i}{\to} Y$$

   is also a pullback. This is easy to verify directly for a presheaf topos because the lemma is obviously true for $Set$ and since both limits and colimits in a presheaf topos are computed objectwise. Now take $A = *$ (so that we arrive at your pullback diagram). If the colimit functor preserved this pullback, then $colim(i)$ would have to be a monomorphism (since of course $* \to colim(Z)$ is a monomorphism, and the pullback of a monomorphism along any arrow such as $colim(f)$ is also a monomorphism).

   But the colimit functor does not preserve monomorphisms generally. You know this already, but for the sake of completeness (or for anyone who didn’t know this), here is an example. Take $C^{op}$ to be the “walking span” $a \leftarrow b \to c$, and consider the functor $X$ where $X(b) \to X(a)$ and $X(b) \to X(c)$ are both the same inclusion of a 1-element set into the same 2-element set, and consider the functor $Y$ where $Y(b) \to Y(a)$ and $Y(b) \to Y(c)$ are both identity functions on that 2-element set. There is an obvious monomorphism $i: X \to Y$. However, $colim(X)$ has 3 elements, and $colim(Y)$ has 2 elements.

   I didn’t look super-closely at your argument, but my rough impression is that you checked an existence condition but not a uniqueness condition. It may be true (I don’t know off-hand) that the colimit functor preserves weak pullbacks (where ’weak’ here involves existence but not uniqueness), and that’s what your argument is proving.

3. • CommentRowNumber3.
   • CommentAuthorUrs
   • CommentTimeAug 24th 2010
   • (edited Aug 24th 2010)
   • PermaLink
   Author: Urs
   Format: MarkdownItexThanks, Todd. I should have been actively aware of that simple pushout-along-mono-is-pullback-argument, but to my shame I wasn't. And I see the (necessarily stupid) error in my above argument now (for what it's worth, what I ignored was, in the above words, that when restricting to elements over the point single equivalence classes may break up into several, if the zig-zag connecting elements runs via elements not over the point). I was in the middle of struggling with an attempt to generalize the proof of the statement that for nice enough simplicial topological groups the geometric realization of morphisms $X \to \bar W G$ out of simplicial manifolds preserves homotopy fibers, when suddenly I thought that if the above were true, I could make progress. But shortly after posting that nonsense here I realized that my whole strategy was collapsing anyway. :-/ Okay, sometimes I just need to indulge in errors a bit.

   Thanks, Todd. I should have been actively aware of that simple pushout-along-mono-is-pullback-argument, but to my shame I wasn’t.

   And I see the (necessarily stupid) error in my above argument now (for what it’s worth, what I ignored was, in the above words, that when restricting to elements over the point single equivalence classes may break up into several, if the zig-zag connecting elements runs via elements not over the point).

   I was in the middle of struggling with an attempt to generalize the proof of the statement that for nice enough simplicial topological groups the geometric realization of morphisms $X \to \bar W G$ out of simplicial manifolds preserves homotopy fibers, when suddenly I thought that if the above were true, I could make progress. But shortly after posting that nonsense here I realized that my whole strategy was collapsing anyway. :-/

   Okay, sometimes I just need to indulge in errors a bit.

4. • CommentRowNumber4.
   • CommentAuthorTodd_Trimble
   • CommentTimeAug 24th 2010
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexI don't think there should be any shame in not being actively aware of that argument, but I would like to say that my own awareness was enhanced by working through the material recorded at [[AT category]], or more precisely through the discussion between Freyd and Pratt at the categories list which forms the background of that entry. Freyd makes it clear that he finds that lemma utterly remarkable!

   I don’t think there should be any shame in not being actively aware of that argument, but I would like to say that my own awareness was enhanced by working through the material recorded at AT category, or more precisely through the discussion between Freyd and Pratt at the categories list which forms the background of that entry. Freyd makes it clear that he finds that lemma utterly remarkable!

5. • CommentRowNumber5.
   • CommentAuthorUrs
   • CommentTimeAug 24th 2010
   • PermaLink
   Author: Urs
   Format: MarkdownItex> Freyd makes it clear that he finds that lemma utterly remarkable! I used to wonder about good criteria for when an $(\infty,1)$-pullback in an $(\infty,1)$-topos is also an $(\infty,1)$-pushout. Now that you mention this statement in the context of ordinary toposes, I suspect that it should have evident generalizations to the higher categorical context, with suitable notions of higher monomorphisms. Will try to think about this, but not right this moment.

   Freyd makes it clear that he finds that lemma utterly remarkable!

   I used to wonder about good criteria for when an $(\infty,1)$-pullback in an $(\infty,1)$-topos is also an $(\infty,1)$-pushout. Now that you mention this statement in the context of ordinary toposes, I suspect that it should have evident generalizations to the higher categorical context, with suitable notions of higher monomorphisms.

   Will try to think about this, but not right this moment.

6. • CommentRowNumber6.
   • CommentAuthorTodd_Trimble
   • CommentTimeAug 24th 2010
   • PermaLink
   Author: Todd_Trimble
   Format: MarkdownItexIncidentally, the fact that: * In a topos, every monomorphism is embedded in a pullback obtained by pulling back some arrow $1 \to Z$ is of course trivial, by the definition of elementary topos (take $Z = \Omega$ and $t = truth: 1 \to \Omega$: any monomorphism is obtained by pulling back this universal monomorphism). This gives another way of seeing the statement I described as "key" in the first paragraph of #2.

   Incidentally, the fact that:

   • In a topos, every monomorphism is embedded in a pullback obtained by pulling back some arrow $1 \to Z$

   is of course trivial, by the definition of elementary topos (take $Z = \Omega$ and $t = truth: 1 \to \Omega$: any monomorphism is obtained by pulling back this universal monomorphism). This gives another way of seeing the statement I described as “key” in the first paragraph of #2.