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 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 internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure 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.
    • CommentAuthorzskoda
    • CommentTimeSep 2nd 2010
    • (edited Sep 2nd 2010)

    Using codecogs recipe and ascii table I wrote short entries fork and split equalizer. For those who distinguish fork and cofork, I have hard time remembering which one is which one.

    By the way, nForum is today having lots of problems on my computer, it asks for human recognition, it bails out my automatically remembered password many times out and resets the settings for markdown when writing etc. often.

    • CommentRowNumber2.
    • CommentAuthorTobyBartels
    • CommentTimeSep 3rd 2010

    You should report these problems here (and read the top post).

    • CommentRowNumber3.
    • CommentAuthorEric
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    Note: Whoa. Markdown doesn’t seem to be working (in preview only, apparently). I have checked “Markdown+Itex”.

    I was going to add a note at fork that it was a cone over the diagram consisting of 2 parallel morphisms. But reviewing cone, it says that the original diagram must already be commuting (unless I’m misreading it).

    In category theory a cone over a commuting diagram is an object equipped with morphisms from it into each vertex of the diagram, such that all new diagrams arising this way commute.

    The parallel morphisms do not already need to be commuting, right? Could this be rewritten as

    In category theory a cone over a diagram is an object equipped with morphisms from it into each vertex of the original diagram such that this new diagram commutes.

    If so, then a fork is a cone over the parallel morphisms and a cofork would be a cocone. Adding a note like this might be good (if correct!).

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    A cone over a commuting diagram??? WTF?

    “Commuting” there should be stricken. Then, to say that the “new diagram” should commute is confusing (actually, wrong), but the idea is that the shape of the new diagram (as a category) is obtained by adjoining an initial object, and the new diagram maps the initial object to the cone vertex. Not sure of the best way of putting that “informally”.

    • CommentRowNumber5.
    • CommentAuthorEric
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    the idea is that the shape of the new diagram (as a category)

    But diagrams need not be categories, right?

    Then, to say that the “new diagram” should commute is confusing (actually, wrong)

    What is wrong about it?

    There’s got to be some nice “arrow theoretic” way to say this. Could you say something along the lines that a cone CC over a diagram DD is a commuting diagram such that DD is “somehow” a subdiagram? Or something…

    Just thinking out loud…

    • CommentRowNumber6.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 3rd 2010

    But diagrams need not be categories, right?

    no, as they are functors, but the shape of a diagram is* a category (DD, say). Add an extra object 0, and a unique arrow from this object to any other object. If you follow the axioms, then any path in this modified category D[0]D[0] from 0 to any other is equal to any other such path. Note that this doesn’t force any other arrows (or paths, if you like) to be equal. Then a cone is a way of extending the functor DCD \to C to D[0]D[0] - if any exist at all.

    *)well, it could be a graph, but then secretly we take the free category on that graph.

    • CommentRowNumber7.
    • CommentAuthorEric
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    no, as they are functors, but the shape of a diagram is* a category (D, say).

    Sorry. Sure. A diagram is a functor F:JDF:J\to D. The shape JJ is a category, but the image of JJ in DD need not be a subcategory of DD. That is what I meant. I misread Todd’s comment (even though it was stated perfectly clearly). Sorry about that.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeSep 3rd 2010

    added the fork to equalizer

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

    Well, you added a parallel pair. Fork informally consists of a parallel pair together with a cone. Edit: Oh no, I misunderstood which part you added… :)

    • CommentRowNumber10.
    • CommentAuthorTobyBartels
    • CommentTimeSep 3rd 2010
    • (edited Sep 3rd 2010)

    @ Todd #4

    I’ve fixed this at cone. I believe that I got across the idea of what should commute by stressing the word ‘new’.

    • CommentRowNumber11.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 3rd 2010

    Toby: right. It’s correct to use the phrase “new triangle” rather than “new diagram”.

    • CommentRowNumber12.
    • CommentAuthorEric
    • CommentTimeSep 6th 2010

    Toby: right. It’s correct to use the phrase “new triangle” rather than “new diagram”.

    I’m still confused by this. It is probably just a matter of semantics. The result of adding a new object and morphisms from that object to all original objects, to me, amounts to constructing a new diagram. This new diagram commutes. Where is the flaw? I’m not challenging the idea, but would rather like to understand it even if only to get the semantics right.

    • CommentRowNumber13.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 6th 2010

    Actually it is a bit ambiguous to say ’a diagram’ commutes. The ’commuting’ refers to composites of arrows being equal, but you have to specify which composites of which arrows. And cones only require that certain triangles commute (even in the case of a cone over a parallel pair f,g:XYf,g:X\to Y: there are two arrows from the vertex x:VXx:V \to X and y:VYy:V \to Y. That ’certain triangles’ commute means that y=fxy = f\circ x and y=gxy = g\circ x…)

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeSep 6th 2010
    • (edited Sep 6th 2010)

    amounts to constructing a new diagram

    Correct.

    This new diagram commutes.

    No. Consider the example where the original diagram is given by a parallel pair of distinct morphisms g,h:bcg, h: b \stackrel{\to}{\to} c. A cone consists of an object aa and morphism f:abf: a \to b such that gf=hfg f = h f. But the new diagram still does not commute.

    Why? Look at the definition in commutative diagram. It says that for any two vertices in the diagram xx, yy, any two paths through the diagram from xx to yy must yield the same morphism. But for x=bx = b, y=cy = c, this does not hold if we take one path to be ff and the other gg.

    In other words, if the old diagram doesn’t commute, then the new diagram won’t either, for the exact same reason. But, any two paths which start from the newly adjoined vertex and end at the same place do commute. So it’s a restricted commutativity. And it suffices to consider triangles, one of whose vertices is the new vertex.

    Does it make sense now? It’s not just semantics.

    • CommentRowNumber15.
    • CommentAuthorEric
    • CommentTimeSep 6th 2010

    Yes. Thanks for explaining. Sorry for being dense.