Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

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 comma 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 finite 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 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

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorEric
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)

    Given functors F,G: C\to D, a natural transformation \alpha:F\Rightarrow G involves components \alpha_x:F(x)\to G(x).

    Is it necessary that these components already live in D or can they be added as part of the definition of \alpha?

    Edit: I wasn't sure if I should put this in a query box on the nLab. I'm a little rusty.

    Edit^2: For example,

    Let C consist of two objects and one morphism f:x\to y. Let D consist of four objects and two morphisms f_1:x_1\to y_1, f_2:x_2\to y_2. We could have two functors

    F_1,F_2:C\to D

    with F_1(f) = f_1 and F_2(f) = f_2.

    Would we just say there are no natural transformations \alpha:F_1\to F_2 or could we allow \alpha to bring along two morphisms \alpha_x, \alpha_y with it?

    • CommentRowNumber2.
    • CommentAuthorHarry Gindi
    • CommentTimeFeb 21st 2010

    No. The natural transformation diagram has to commute. It's similar to the condition on a morphism of chain complexes.

    • CommentRowNumber3.
    • CommentAuthorSridharRamesh
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)
    Basically, the answer is "The components have to already live in D". There are no natural transformations between $F_1$ and $F_2$. Whatever you mean by "bring along morphisms", that would be another notion, but it might still be interesting and useful, if you flesh it out further. (Although, it also might not be, so much...)
    • CommentRowNumber4.
    • CommentAuthorEric
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)

    @Sridhar: Thanks. That is what I thought the answer might be. Too bad.

    I'm trying to flesh this out (to the best of meager abilities) at natural transformation (discussion). Help much appreciated! :) I'm probably on a dead end road, but by the time I discover that, I will hopefully have learned a thing or two. Basically, I was a little uncomfortable with the fact that natural transformations were defined only for functors sharing the same domain and codomain. In trying to see if I could cook up a slightly different natural transformation-like concept, I settled on the diagram there. I liked the idea enough to try to reduce the dimension by 1 and think of functors as special kind of natural transformation. Then maybe a morphism is a special kind of functor. Etc...

    In a way, a cograph of a functor involves "bring(ing) along morphism" so I don't think the idea is entirely outlandish, I just need to find the right way to express it. Again, any ideas would be greatly appreciated.

    Edit: There are also traces of discussion at Natural Transformation (ericforgy) and functor (discussion).

    • CommentRowNumber5.
    • CommentAuthorHarry Gindi
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)

    The reason that natural transformations have to share the same domain/codomain is that they're 2-morphisms in the category of categories. That is, we can assign to each pair of categories a functor category, and natural transformations are the morphisms in the functor category. I believe there are notions similar to what you're talking about using something called a double category, but I could be horribly wrong.

    • CommentRowNumber6.
    • CommentAuthorEric
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)
    This comment is invalid XML; displaying source. <p>Thanks Harry.</p> <p>It's interesting you bring up the category of categories because that is one possible direction I was headed with this.</p> <p>If natural transformations are 2-morphisms in the category of categories <a href="https://ncatlab.org/nlab/show/Cat">Cat</a>, i.e. bigons, what would be morphisms in the <a href="https://ncatlab.org/nlab/show/arrow+category">arrow category</a> of categories <img src="/extensions/vLaTeX/cache/latex_8b821b5ca328916550542edf98843025.png" title="Arr(Cat)" style="vertical-align:-20%;" class="tex" alt="Arr(Cat)" />. In <img src="/extensions/vLaTeX/cache/latex_8b821b5ca328916550542edf98843025.png" title="Arr(Cat)" style="vertical-align:-20%;" class="tex" alt="Arr(Cat)" />, unless I'm confused, objects would be functors but not necessarily with the same domain and codomain, i.e. we could have two objects</p> <p><img src="/extensions/vLaTeX/cache/latex_733c874c86b3eec3e9369a1846cb8672.png" title="F:A\to B" style="vertical-align:-20%;" class="tex" alt="F:A\to B" /><br></p> <img src="/extensions/vLaTeX/cache/latex_8467478d932a698e54905aa014665e65.png" title="G:C\to D" style="vertical-align:-20%;" class="tex" alt="G:C\to D" /> <p>where <img src="/extensions/vLaTeX/cache/latex_b754fe221a079c2ca5127d6ad18f886a.png" title="A" style="vertical-align:-20%;" class="tex" alt="A" />, <img src="/extensions/vLaTeX/cache/latex_525eb65281c6d3b0bfacfe7567f8af85.png" title="B" style="vertical-align:-20%;" class="tex" alt="B" />, <img src="/extensions/vLaTeX/cache/latex_ca43fb5496104dcafda44acbe4014b0e.png" title="C" style="vertical-align:-20%;" class="tex" alt="C" />, <img src="/extensions/vLaTeX/cache/latex_2741ee6cf4a5aa48b2ee29b3b0fee62e.png" title="D" style="vertical-align:-20%;" class="tex" alt="D" /> are distinct categories. What I am trying to describe (I think) would be morphisms between these. These morphisms would be commuting squares (of functors) like the one at <a href="https://ncatlab.org/nlab/show/natural+transformation+%28discussion%29">natural transformation (discussion)</a>.</p>
    • CommentRowNumber7.
    • CommentAuthorHarry Gindi
    • CommentTimeFeb 21st 2010

    Ah yes, that's related to the "walking arrow", where you can compose 2-morphisms in a weird way by "messing around" with this walking arrow. The notion of a natural transformation that we have seems to be the right one, at least in the 2-category Cat.

    • CommentRowNumber8.
    • CommentAuthorEric
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)

    I drew a diagram at Arrow Category of Categories (ericforgy). It is a little messy, but the point is there are three morphisms \alpha, \beta, \gamma in the arrow category consisting of 4 objects

    • f:A\to B
    • g:C\to D
    • h:E\to F
    • i:G\to H

    [Note: There are also composite morphisms \beta\circ\alpha and \gamma\circ\alpha that I didn't draw.]

    I think this is a little different than a double category because the 2-paths can branch as indicated. Does a double category allow this kind of "branching" of 2-paths?

    • CommentRowNumber9.
    • CommentAuthorSridharRamesh
    • CommentTimeFeb 21st 2010
    • (edited Feb 21st 2010)

    I'm not sure I understand the diagram you drew. What are the codomains of \gamma_G and \beta_F?

    Edit: Nevermind, I get it now; they'd be G and F, respectively.