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
    • CommentTimeAug 29th 2010

    Hi,

    I was going to add some details to Godement product, but I can’t reproduce what is there and suspect a typo.

    For categories A,B,CA,B,C, if α:F 1G 1:AB\alpha: F_1\to G_1 : A\to B and β:F 2G 2:BC\beta: F_2\to G_2 : B\to C are natural transformations of functors, the components (α*β) M(\alpha * \beta)_M of the Godement product α*β:F 2F 1G 2G 1\alpha * \beta: F_2\circ F_1\to G_2\circ G_1 are defined by any of the two equivalent formulas:

    (β*α) M=β F 2MG 1(α M) (\beta * \alpha)_M = \beta_{F_2 M}\circ G_1(\alpha_M) (β*α) M=G 2(α M)β F 1M (\beta * \alpha)_M = G_2(\alpha_M)\circ\beta_{F_1 M}

    Following MacLane (page 42), the natural transformation α:F 1G 1\alpha:F_1\Rightarrow G_1 implies the existence of a morphism α M:F 1(M)G 1(M)\alpha_M:F_1(M)\to G_1(M). This, together with the natural transformation β:F 2G 2\beta:F_2\Rightarrow G_2, implies

    F 2F 1(M) F 2(α M) F 2G 1(M) β F 1(M) β G 1(M) G 2F 1(M) G 2(α M) G 2G 1(M). \array{ F_2\circ F_1(M) & \stackrel{F_2(\alpha_M)}{\to} & F_2\circ G_1(M) \\ \beta_{F_1(M)}\downarrow && \downarrow \beta_{G_1(M)} \\ G_2\circ F_1(M) & \stackrel{G_2(\alpha_M)}{\to} & G_2\circ G_1(M) } \,.

    I thought the component of the Godement product, i.e. horizontal composition in Cat, should be the diagonal of this diagram so that

    (βα) M=β G 1(M)F 2(α M)=G 2(α M)β F 1(M).(\beta\circ\alpha)_M = \beta_{G_1(M)}\circ F_2(\alpha_M) = G_2(\alpha_M)\circ \beta_{F_1(M)}.

    Is there a typo on the page or am I completely missing the mark?

    Note: Interchanging F 2G 1F_2\leftrightarrow G_1 in the two formulas on the page would give my two formulas.

    • CommentRowNumber2.
    • CommentAuthorFinnLawler
    • CommentTimeAug 29th 2010

    You are right and the page is wrong. Whoever wrote that bit must have mixed up the types of α\alpha and β\beta, as you indicate.

    • CommentRowNumber3.
    • CommentAuthorTobyBartels
    • CommentTimeAug 29th 2010

    I’ve fixed the page, using Eric’s diagram, and made the notation consistent too.

    • CommentRowNumber4.
    • CommentAuthorEric
    • CommentTimeAug 30th 2010

    Thanks. This is kind of neat.

    Each object MM of AA gets sent to a morphism α M\alpha_M in BB via α:F 1G 1\alpha:F_1\Rightarrow G_1. Then this morphism gets sent to a commuting square in CC via β:F 2G 2\beta:F_2\Rightarrow G_2.

    In effect, horizontal composition sends each object of AA to a commuting square of components in CC.

    • CommentRowNumber5.
    • CommentAuthorTobyBartels
    • CommentTimeSep 1st 2010

    In effect, horizontal composition sends each object of AA to a commuting square of components in CC.

    Right. Then we ignore some of the information; we have a morphism in CC which has been decomposed in two different ways (giving the two sides of the square) but we forget about this and only remember the morphism in CC.

    (As an exercise in negative thinking: the horizontal composition of no transformations is the identity natural transformation on the identity functor on AA. So each object MM of AA gives us simply an object of AA, which is MM itself. But we want a morphism of AA so we forget that we have an object and use the identity morphism on MM instead.)

    • CommentRowNumber6.
    • CommentAuthorEric
    • CommentTimeSep 1st 2010

    I’m really missing my train rides…

    (As an exercise in negative thinking: the horizontal composition of no transformations is the identity natural transformation on the identity functor on AA. So each object MM of AA gives us simply an object of AA, which is MM itself. But we want a morphism of AA so we forget that we have an object and use the identity morphism on MM instead.)

    Is this another way of saying the identity natural transformation on the identity functor on AA is the identity with respect to horizontal composition? Negative thinking is always fun, but I’m not very good at it :)

    I have some notes on this subject that are probably too elementary for you guys to bother with, but might be worth putting on the nLab some time. I’ll put it on my personal web first and work out any bugs before transferring it. Time allowing of course.

    Basically at internalization (oops, I mean internal category), I asked if we could walk through a specific example. Now I think a good example to walk through is Cat, i.e. a double category is a category internal to Cat. Before trying to tackle that, I should write down the Set example in detail.

    PS: Does a double category (category internal to Cat) count as “categorification” of a category (category internal to Set), i.e. replacing sets with categories?

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 1st 2010
    • (edited Sep 2nd 2010)

    PS: Does a double category (category internal to Cat) count as “categorification” of a category (category internal to Set), i.e. replacing sets with categories?

    sort of. Double groupoids are considered higher dimensional algebra, and this is pretty much along the categorification theme. An amazing result that Ronnie Brown told Grothendieck in their 1980’s correspondence (due to a third party - I can’t quite remember who at present) is that n-fold groupoids model all homotopy n-types. In particular, double groupoids model all 2-types. This is perhaps not too impressive, as 2-groupoids model all 2-types and these are not too dissimilar, but 3-fold groupoids (groupoids internal to double groupoids) model all 3-types, and one needs genuinely weak 3-groupoids to do this ordinarily.

    I believe Julie Bergner (Edit: I meant Simona Paoli and got confused) has worked on this more recently (see her article in Towards Higher Categories).

    • CommentRowNumber8.
    • CommentAuthorEric
    • CommentTimeSep 1st 2010

    Thanks!

    I believe Julie Bergner has worked on this more recently (see her article in Towards Higher Categories).

    Here is John’s version of that page: Towards Higher Categories (johnbaez). Here is a direct link to Julie’s paper.

    • CommentRowNumber9.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 1st 2010

    That being said, internal category theory is not quite like categorification in that it is internal to a category, rather than replacing the objects of interesting with categories.

    But then again Toby was using ’2-spaces’ in his thesis, which were categories internal to a category of spaces, and 2-groups are categories internal to Grp.

    And categorification is an art, so what I’m saying is really just my own (ill-formed) opinion :)

    • CommentRowNumber10.
    • CommentAuthorTobyBartels
    • CommentTimeSep 1st 2010
    • (edited Sep 1st 2010)

    The lesson is that sometimes categorification is internalisation, and sometimes it is not …

    Really, double categories and 22-categories are both categorifications of categories, just in different ways. One of them got to use the standard number prefix, so the other one had to settle for the tuple adjective.

    Is this another way of saying the identity natural transformation on the identity functor on AA is the identity with respect to horizontal composition?

    Yes.

    • CommentRowNumber11.
    • CommentAuthorEric
    • CommentTimeSep 1st 2010

    Thank you! By the way, at this point I need to pause and smile. In this thread, I’ve received two “rights”, one “sort of” and one “yes”. I’m on a roll! :)

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeSep 1st 2010

    I believe Julie Bergner has worked on this more recently

    On n-fold categories? I am not aware of that. Not in the survey areticle on (,1)(\infty,1)-categories that you linked to, at least. I am wondering which one you mean?

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 2nd 2010

    Whoops, I meant Simona Paoli:

    The third paper, by Simona Paoli, focuses on a number of algebraic ways of modelling n-types of topological spaces in terms of strict categorical structures. Her focus is on the role of “internal” structures in higher category theory, that is, structures that live in categories other than the category of sets. She surveys the known comparisons among such algebraic models for n-types. It is a part of the comparison project to relate various notions of weak n-groupoid to these strict algebraic models for topological n-types.

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    There were some typoi due me. Poeple now say horizontal product, traditional people like me who say Godement use also the older traditional notation βα\beta\star\alpha and not βα\beta\circ\alpha (the latter for vertical composition, because the components are literally usual compositions); the newer notation with circle interchanged is better for higher categories. So I would say

    (β*α) M:=β G 1MG 1(α M) (\beta * \alpha)_M := \beta_{G_1 M}\circ G_1(\alpha_M) (β*α) M:=G 2(α M)β F 1M (\beta * \alpha)_M := G_2(\alpha_M)\circ\beta_{F_1 M}

    and my typo was that I wrote β F 2M\beta_{F_2 M} instead of β G 1M\beta_{G_1 M} in the first formula and that in the preamble I wrote a funny αβ\alpha\star\beta what does not parse to me.

  1. Hi,

    I have two propositions for this page.
    The first one is to use the circle symbol for composition from the start and put the star symbol as a comment (currently this is the other way around).
    The second one is to discuss the relation with the action of natural transformation on arrows. I mean that α\alpha sends an object of A to an arrow in B, so using then β\beta to send this arrow in B to an arrow in C seems natural and gives an equivalent definition.

    What do you think ?

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 22nd 2020

    The notation on the page is certainly inconsistent and confusing. I see \circ being used for both the vertical and horizontal composition, and both \circ and ;; and even :: being used, and *\ast being used in the presence of ;; but not otherwise. It’s strange how so much waffling appears on a short page.

    Another option would be to use n\circ_n or * n\ast_n for composition across an nn-cell, so that the Godement composition discussed on the page would be 0\circ_0 or * 0\ast_0. Typographically, 0\circ_0 might annoy some people though. (I find it doesn’t annoy me: I just looked at Wikipedia to see how they do it, and indeed that was their decision.)

    Another option would be: simply omit symbols when horizontally composing natural transformations, which is what a lot of people do anyway.

  2. I like the idea of n\circ_n for many reasons: 0-cells not composable, 1-cells composable with 0\circ_0, 2-cells composable with 0\circ_0 and 1\circ_1, etc.
    This is easy, avoid graphical thinking (horizontal, vertical, left, right, etc), and allows to note only afterwards that 0\circ_0 is coherently used and is a functor, etc.
    Since the page is short, maybe a little section on notations can be added.

  3. Use \circ as the primary notation and mention *\ast instead of the other way around in order to match with the equations.

    Luidnel Maignan

    diff, v12, current

  4. I guess it is simpler actually to propose a change, so I tried one. Feel free to revert it if this is not appropriate.
    For now, this is only about the composition symbol, not about my second proposition.
  5. Add the equivalent definition (βα) M=β(α M)(\beta\circ\alpha)_M = \beta(\alpha_M)

    Luidnel Maignan

    diff, v13, current

  6. I also made a try for my second proposition which involved minor changes in natural transformations to be able to refer to it properly.
    • CommentRowNumber22.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 28th 2020

    But it seems to be the same symbol as used for vertical composition.

    Let me work on it a little later today. The article could also use a little TikZ love.

    • CommentRowNumber23.
    • CommentAuthorjademaster
    • CommentTimeOct 28th 2021

    Fixed broken diagram

    diff, v14, current