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
    • CommentTimeNov 6th 2009

    It's not technically part of the main nLab (yet), but I asked a question at

    Cograph (ericforgy)

    • CommentRowNumber2.
    • CommentAuthorEric
    • CommentTimeNov 11th 2009

    I asked another question at Cograph (ericforgy)

    • CommentRowNumber3.
    • CommentAuthorEric
    • CommentTimeNov 12th 2009
    *bump*

    Any help would be greatly appreciated. Even something like, "Huh?! What on earth are you talking about?" would help focus my question. I'm hoping to understand cographs and category of elements and how they're related (if at all), etc etc. I lost a nights sleep over this as diagrams were racing around my head :)
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeNov 12th 2009

    Right, so the answer to your questionm about higher cographs is basically: Yes.

    The cograph of an n-functor is defined almost literally like that of a functor, only that everything is taking palce in the corresponding higher context. So you regard your n-functor  F : C \to D as an n-functor

     I \to n Cat

    and then look at the weak pullback of the point along this morphism.

    But are we ready for this already? I thought we were still waiting to hear back from you about the degree to wich you are happy now with talking about ordinary 1-functors in terms of cographs. So that is clear?

    Concerning the other bit of your question:

    you may of course consider pulling back along more general maps  D \to n Cat . As D becomes larger, it encodes n ot just a single functor but a whole system of such. And if you want you can call the cooresponding weak pullback of the point the cograph of that system of functors. Just beware that such systems of n-functos are then more traditionally called (n+1)-presheaves on  D^{op} and that the corresponding cograph would be called their n-Grothendieck construction or something like that. But that's just words.

    • CommentRowNumber5.
    • CommentAuthorEric
    • CommentTimeNov 12th 2009
    • (edited Nov 12th 2009)
    Thanks!

    But you violated your own rule! :)

    I've moved your response to Cograph (ericforgy). I'll respond there after I've had some coffee :)

    Edit: Fixed the link. Thanks Toby!
    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeNov 12th 2009
    This comment is invalid XHTML+MathML+SVG; displaying source. <div> <blockquote> But you violated your own rule! :) </blockquote> <p>Yeah, I was thinking about that. But then I thought I didn't really say anything substantive except for agreeing with you.</p> <p>But you are right, I violated my own rule. Not sure what that tells me.</p> <p>No, I am sure. It tells me that I must try harder.</p> </div>
    • CommentRowNumber7.
    • CommentAuthorEric
    • CommentTimeNov 12th 2009
    Yeah, Urs. You are not working hard enough. Get with it! (Please note the sarcasm, I don't know anyone who works harder than you :))
    • CommentRowNumber8.
    • CommentAuthorTobyBartels
    • CommentTimeNov 12th 2009

    Eric wrote:

    I've moved your response to Cograph.

    But he meant:

    I've moved your response to Cograph (ericforgy).

    • CommentRowNumber9.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    Thanks Urs and Toby!

    I'm stuck again :)

    I asked whether the cograph(F) of an n-functor is an (n+1)-category.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2009

    No.

    Go back to the example that you understand: the cograph of a functor is a category. 1-functor => 1-category.

    • CommentRowNumber11.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    Doh! I was looking at cograph of a 0-functor (i.e. function) is a 1-category...

    If you look at the figure on experimental alternative definition of functor, I thought the map f\mapsto F(f) was a 2-morphism. Since the diagram commutes, would that 2-morphism be a 2-identity?

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2009
    This comment is invalid XHTML+MathML+SVG; displaying source. <div> <blockquote> I was looking at cograph of a 0-functor (i.e. function) is a 1-category... </blockquote> <p>Hm, where is that statement taken from?</p> <p><a href="http://ncatlab.org/nlab/show/graph+of+a+function#cograph_of_a_function_11">here</a> at least it does say that for functions it is a set.</p> </div>
    • CommentRowNumber13.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009
    This comment is invalid XHTML+MathML+SVG; displaying source. <div> <p>Hmm.. on <a href="https://ncatlab.org/nlab/show/cograph+of+a+functor">cograph of a functor</a> in the section "Cographs of functors between 0-categories" it says:</p> <blockquote> the objects of <img src="/extensions/vLaTeX/cache/latex_a8cdaad55ecdee9f13550a5589288c99.png" title="cograph(f)" style="vertical-align: -20%;" class="tex" alt="cograph(f)"/> are the disjoint union of <img src="/extensions/vLaTeX/cache/latex_ca43fb5496104dcafda44acbe4014b0e.png" title="C" style="vertical-align: -20%;" class="tex" alt="C"/> and <img src="/extensions/vLaTeX/cache/latex_2ee7b824387c9bc0be61af5017684619.png" title="D: Obj(cograph(f))=C\sqcup D" style="vertical-align: -20%;" class="tex" alt="D: Obj(cograph(f))=C\sqcup D"/> and the nontrivial morphisms are of the form <img src="/extensions/vLaTeX/cache/latex_b6b5cb002712bd65456fa20f4b2ea06f.png" title="x\to y" style="vertical-align: -20%;" class="tex" alt="x\to y"/> whenever <img src="/extensions/vLaTeX/cache/latex_718efc8a5e512fc77ccbfd711b617c58.png" title="x\in C" style="vertical-align: -20%;" class="tex" alt="x\in C"/>, <img src="/extensions/vLaTeX/cache/latex_4e769c4f7b075fdff5f6c5ddba332793.png" title="y\in D" style="vertical-align: -20%;" class="tex" alt="y\in D"/> and <img src="/extensions/vLaTeX/cache/latex_72ba6c5cc956519642723a7617ce1e97.png" title="f(x)=y" style="vertical-align: -20%;" class="tex" alt="f(x)=y"/>. </blockquote> <p>That sounds like a 1-category to me (?)</p> </div>
    • CommentRowNumber14.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    It seems that Lawvere went one step further and took a quotient by identifying x\in C and f(x)\in D (both considered in C\sqcup D). In that case, we do get a 0-category. But I don't think we want to consider a cograph to be the result after taking the quotient, but before as in cograph of a functor, in which case the cograph of a 0-functor is a 1-category (I think!)

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    The cograph of an n-functor is an n-category.

    Notice that every n-category is also an m-category for all   m > n .

    The cograph of a 0-functor=function is a 0-catgeory= set.

    The cograph of a 1-functor=functor is a 1-catgeory= category.

    And so on.

    Lawvere discussed the concept for sets. We have categorified it here.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2009

    Ah, wait, it is a bit more subtle than this makes it sound. Because we are talking about lax ("comma") pullbacks not homotopy pullbacks.

    So the cograph of a function regarded as a 0-functor rearded as the pullback of Cat_* is indeed a category. You are right. Its connected components are the Lawvere cograph of the funciton.

    Ahm, okay, so I need to give better replies here. But now I have to run. More later.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2009

    Okay, sorry Eric, I sad this at best badly, probaly I said it wrong:

    What exactly the cograph of an n-functor is depends on what exactly we are lax-ly (comma-ly) pulling back along  I \to n Cat . The different results should all be related by taking connected components of k-morphisms from some degree k on.

    This requires more discussion. I am not sure I have the energy to do justice to this right now. I am inclined to be lazy and just point out that in Lurie's books the case where we pull back functors to (oo,1)-categories is developed in great detail and that nobody has much of an idea for the general (oo,n)-case anyway.

    Sorry, not a helpful reply for you. Maybe we can come back to this later.

    • CommentRowNumber18.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009

    Huh?! :)

    Sure. When you quotient out the connected objects everything should agree, but I don't see how the results would be any way related to a (co)graph in any sense of the word I can imagine. You could have an interesting functor with connections going every which way, but if all those are connected, the quotient becomes a single point. How fun is that?! :)

    Given 0-categories A and B, inclusion maps i_A:A\to A\sqcup B, i_B:B\to A\sqcup B and a 0-functor F:A\to B, then we can construct a new category C with

    Obj(C) = i_A(Obj(A)) \cup i_B(Obj(B))

    and

    Hom(x,y) = \{i_A(x)\to i_B(y) | x\in Obj(A), y\in Obj(B), i_A(x) = i_B(F(x))\}

    If C is not cograph(F), then what is it?

    • CommentRowNumber19.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009

    Ah! The cograph in #13, which I think is the same as what Eric is trying to describe in #18, is a poset, that is a (0,1)-category, rather than a set, that is a 0-category or (0,0)-category. Since Urs is working with a concept from Lurie that makes the cograph of a functor between (\infty,1)-categories into an (\infty,1)-category, this makes some sense, even though it doesn\'t match Lawvere's cograph.

    But the cograph of a functor between categories, that is 1-categories or (1,1)-categories, will still be a (1,1)-category. (And the cograph of a functor between (2,1)-categories will be a (2,1)-category, etc; does Lurie's definition even apply to arbitrary functors between arbitrary 2-categories, that is (2,2)-categories?)

    The reason that the category defined in #13 is a poset is that, given any two objects, there is always at most one morphism from the one object to the other. I was thinking that this category was also a groupoid, hence equivalent to a set (and the same set as Lawvere's cograph), but that is not true.

    • CommentRowNumber20.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    Ok. So are you saying that the cograph of a functor between (0,0)-category is a (0,1)-category, but the cograph of a functor between (n,r)-categories is a (n,r)-category otherwise?

    If the thing described in #13 and #18 is not a cograph, what is it?

    It seems the concept of what a cograph should be is not clear. Help!!

    Let's maybe start by all agreeing on what a cograph should be for a functor between (0,0)-categories.

    • CommentRowNumber21.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009

    I'm saying that the cograph of a functor between (n,1)-categories is an (n,1)-category. As every (n,0)-category may be interpreted as an (n,1)-category, they are included. I don't know what to do with (n,r)-categories for r > 1, but perhaps Urs has some ideas. (Lurie considers only functors between (\infty,1)-categories, among which (n,1)-categories for any n are included. So Lurie does not help with functors between general 2-categories.)

    Let's maybe start by all agreeing on what a cograph should be for a functor between (0,0)-categories.

    I think that this is the root of the problem. Lawvere defined what this is, in duality with the oridnary notion of the graph of a functor between (0,0)-categories. Then Lurie generalised this to functors between (\infty,1)-categories, but in such a way that, if you interpret (0,0)-categories as special (\infty,1)-categories, you get a different result from Lawvere's. (I did not appreciate this fact until this morning.) And that is why we have been confused, I think.

    I believe that Mike Shulman would teach us to call Lurie's construction the ‘2-cograph’. Presumably the r-cograph of a functor between (n,r-1)-categories is an (n,r-1)-category, although I don't know whether it is actually possible to define such a thing for r > 2.

    • CommentRowNumber22.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    Note: I started writing this before seeing Toby's note and then got distracted...

    Sticking with sets (thought of as 0-categories) X and Y and a 0-functor f:X\to Y. This situation CAN be thought of as a 1-category with 2 objects and 1-morphism f:X\to Y. If we explode this category, the results is what I think the cograph of F should be. Does that agree with Lawvere's definition?

    Now, when we have small 1-categories C and D and a 1-functor F:C\to D, then I'd think a 2-cograph would be some kind of generalized "category of elements" with 0-morphisms (objects), 1-morphisms between 0-morphisms, and 2-morphisms between 1-morphisms. If not, then "cograph" is not the concept I'm looking for. What would that generalized "exploded 2-category" obtained from a functor be called?

    • CommentRowNumber23.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009

    Ah, now I see what concrete category you are trying to explode!

    I'll think in a minute about how its category of elements relates to the cograph of the function in question. But first I'll address the categorified version.

    If we have a functor between 1-categories, then this diagram still gives the same diagram as for the functor between 0-categories: a category with 2 objects and 1 nontrivial morphism. As a concrete category it is different, since the functor to Set is different, and in fact we really have a functor to Cat. (So it's a sort of concrete 2-category that happens to be a 1-category.) So even to ask what its explosion is requires that we generalise the category of elements of a concrete category to some sort of concrete 2-category (or at least to a category equipped with a functor to Cat). I'll think about that too.

    • CommentRowNumber24.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009

    First minute's thought: The category of elements of the concrete category given by a functor between 0-categories is the cograph in Urs's sense (the one which is a poset), but not the cograph in Lawvere's sense (the one which is a set). I'm starting to think that Lawvere's version is actually not as good as Urs's version. In fact, I think that I should go back and make sure that I got Lawvere's version correct!

    • CommentRowNumber25.
    • CommentAuthorEric
    • CommentTimeNov 13th 2009

    Reid Barton gave a very helpful answer at Math Overflow.

    He noted that their are two constructions for sets. One resulting in a 0-category and one resulting in a 1-category. He then said that for n-categories for n>0, the results is always an n-category. I still don't quite understand that.

    Given morphisms f:a\to b and g:c\to d, would you say that a 2-morphism F:f\to g is an identity if there there are morphisms \alpha_c:a\to c and \alpha_d:b\to d such that g\circ \alpha_c = \alpha_d\circ f? If so, then I think I understand why the cograph of a 1-functor is a 1-category. By requiring the diagram at experimental alternative definition of functor to commute, we would be saying all 2-morphisms f\mapsto F(f) are identity morphisms resulting in a 1-category, not a 2-category.

    • CommentRowNumber26.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    Second minute's thought: I want to say that the explosion of a 1-category equipped with a functor to Cat is a double category. When this situation is given by a functor between 1-categories, this is not the cograph as Urs defines it at cograph of a functor. However, I can kind of see the double category that appears in this situation in picture at experimental alternative definition of functor, so it could well be what you're after.

    • CommentRowNumber27.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009

    Yes, Reid's answer is interesting; he seems to know about cographs of functors between (\infty,n)-categories for arbitrarily large n. (But when he says that these are n-categories, I think that he must mean that these are (\infty,n)-categories.)

    I don't know how that works, but if it's correct, then it seems to me that the cograph of a functor between (n,r)-categories is in general an (n,\max\{r,1\})-category. In the case of (0,0)-categories, this gives you a (0,1)-category, which can be interpreted as a 1-category but not as a 0-category, which is why people are saying that it's really a 1-category. But it's not a 1-category in full glory, but merely a (0,1)-category.

    However, perhaps the thing that you are after is some sort of n-tuple category, as I hinted in my last answer. I don't know how that would work, either, but maybe we can figure it out.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2009
    • (edited Nov 13th 2009)

    Yes, Toby, exactly, there is a (0,1)- and then an (n,n+1) aspect here which I hadn't fully appreciated in my first quick responses to Eric. Sorry for causing confusion.

    Right now I don't quite feel I can find the energy to do this topic justice, and I am glad to see that you and Eric are putting so much thought into this now. I'll try to come back to this a little later. Gotta rush now.

    • CommentRowNumber29.
    • CommentAuthorTobyBartels
    • CommentTimeNov 13th 2009

    But is there an (n,n+1)-aspect in general? Is the cograph of a functor between 1-categories a (1,2)-category (a 2-poset)? If so, I don't see it.

    • CommentRowNumber30.
    • CommentAuthorEric
    • CommentTimeNov 14th 2009
    • (edited Nov 14th 2009)

    Let's try to work through it. Do we agree that a cograph of a 0-functor between (0,0)-categories is a poset? (which I guess is a (0,1)-category)

    Also, do we agree that this cograph is the category of elements for the 1-category F:C\to D?

    • CommentRowNumber31.
    • CommentAuthorTobyBartels
    • CommentTimeNov 14th 2009

    Yes, I agree with that. At least, that is the cograph as defined at cograph of a functor; Lawvere's cograph is different.

    • CommentRowNumber32.
    • CommentAuthorEric
    • CommentTimeNov 14th 2009
    • (edited Nov 14th 2009)
    This comment is invalid XHTML+MathML+SVG; displaying source. <div> <p>I like the comment at <a href="https://ncatlab.org/nlab/show/graph+of+a+function">graph of a function</a> in the section "Cograph of a function" where it says</p> <blockquote> The cograph of <img src="/extensions/vLaTeX/cache/latex_43c09e88e076b2d340501a0744aa1639.png" title="f" style="vertical-align: -20%;" class="tex" alt="f"/> in the sense of Lawvere is the set of connected components of this category, i.e. <img src="/extensions/vLaTeX/cache/latex_96a2d321cc4bbac79ec605e84f714214.png" title="\i_0(cograph(f))" style="vertical-align: -20%;" class="tex" alt="\i_0(cograph(f))"/>. </blockquote> <p>So I suggest we use the definition at <a href="https://ncatlab.org/nlab/show/cograph+of+a+functor">cograph of a functor</a> and note that Lawvere's "cograph" is <img src="/extensions/vLaTeX/cache/latex_f1a7042d12b75231e845cda99141efa1.png" title="\pi_0" style="vertical-align: -20%;" class="tex" alt="\pi_0"/> of this. Sound ok?</p> <p>If so, maybe we can try to spell out what a cograph of a 1-functor between categories would be using Lurie's paper as a guide.</p> <p>How about Attempt #3 at <a href="https://ncatlab.org/ericforgy/show/Cograph">Cograph (ericforgy)</a>?</p> </div>
    • CommentRowNumber33.
    • CommentAuthorTobyBartels
    • CommentTimeNov 14th 2009
    • (edited Nov 14th 2009)

    So I suggest we use the definition at cograph of a functor and note that Lawvere's "cograph" is \pi_0 of this. Sound ok?

    I'm still not too sure about this. I mean, Lawvere said ‘cograph’ first, and it's a very natural idea: where the graph is a subset of the product, the cograph is a quotient set of the coproduct. It doesn't seem right to say that Lawvere got it wrong.

    The problem is that ‘quotient’ changes its meaning when you extend the context from sets to categories to \infty-categories (while ‘sub-’, ‘product’ and ‘coproduct’ do not). So there is an argument to be made that Lawvere got it wrong, by working in too restricted a context; I'm just not certain yet.

    Anyway, I'll respond at Cograph (ericforgy).

    • CommentRowNumber34.
    • CommentAuthorEric
    • CommentTimeNov 14th 2009
    • (edited Nov 14th 2009)

    If you reverse the arrows of a diagram representing a "graph of a function", do you get a "quotient set of the coproduct"? If so, then "cograph" should be "quotient set of the coproduct".

    In other words, are "subset" and "quotient" kind of like "dual" concepts?

    • CommentRowNumber35.
    • CommentAuthorTobyBartels
    • CommentTimeNov 14th 2009

    Yes, subobjects and quotient objects are indeed dual. Although I'm not sure that you're reversing the right arrows; reverse the arrows (which lie in Set, not in the graph itself) in an arrow-theoretic definition of graph of a function to get an arrow-theoretic definition of Lawvere's cograph of a function.

    Now take that diagram and interpret it as lying in Cat (although the starting data happen to be still two sets and a function between them, that is two discrete categories and a functor between them). Then the original diagram (defining the graph) will define the same thing as before (a discrete category which is the same as the set defined before), but the diagram defining the cograph will define Urs's cograph (which is not a discrete category), differently from before.

    • CommentRowNumber36.
    • CommentAuthorTobyBartels
    • CommentTimeNov 14th 2009

    Regard Tom Leinster's answer to you on MathOverflow:

    You should go and look at that picture if he tells you. If you do, I think that you'll find further evidence that —even though Lawvere himself defined it to be a set— it really is better to make the cograph of a function be a poset. I'm now inclined to go ahead and just say so at cograph (ending my hesitation in #33).

    • CommentRowNumber37.
    • CommentAuthorEric
    • CommentTimeNov 14th 2009

    I can kind of understand Tom's notation for graph: (1,f): X\to X\times Y because I presume

    (1,f)(x) = (x,f(x)).

    But then the graph is not a subset of X\times Y, but its image is a subset.

    I'm less clear on what [f,1]^T: X+Y\to Y means. How does it act on elements of X+Y?

    • CommentRowNumber38.
    • CommentAuthorTobyBartels
    • CommentTimeNov 15th 2009

    But then the graph is not a subset of X\times Y, but its image is a subset.

    Sure it's a subset; see subset. To a category theorist, there is no essential difference between an injective function and its image, as a subset of the target.

    I like to write [f,1]^T as \left\{{f \atop 1}\right\} when I can, because the definition is this:

    \left\{{f \atop 1}\right\}(z) = \left\{{f(x)\;\text{ if }z = i_A(x) \atop y\;\text{ if }z = i_B(y)}\right.

    See copairing.

    • CommentRowNumber39.
    • CommentAuthorEric
    • CommentTimeNov 15th 2009

    Thanks. But how can you deduce that from the diagram? I'm having trouble, in general, converting diagrams to equations (which is maybe misguided anyway). In particular, I'm having trouble parsing the diagrams at graph of a functor, cograph of a functor, and graph of a function.

    • CommentRowNumber40.
    • CommentAuthorTobyBartels
    • CommentTimeNov 15th 2009

    But how can you deduce that from the diagram?

    I can't tell which diagram you mean. I'm explaining Tom's notation; there's no diagram on those pages that tries to do this, while copairing gives it explicitly.

    • CommentRowNumber41.
    • CommentAuthorEric
    • CommentTimeNov 15th 2009

    Things are so hectic, I don't even remember what I was talking about. Our one-way flight to HK leaves on Wednesday! :)

    I saw somewhere recently a diagram for graph and it said a cograph was the same diagram with arrows reversed. Then Tom's answer involved pairings and copairings and maybe I was thinking there should be some nice diagram illustrating the relation. Basically, now I understand the notation, but the notation should come from some diagram. I'd like to understand that diagram.

    More importantly, though, I'd like to understand the diagrams on the nLab pages I referenced.

    • CommentRowNumber42.
    • CommentAuthorEric
    • CommentTimeNov 16th 2009
    • (edited Nov 16th 2009)

    I added some diagrams to Cograph that I hope to one day include on cograph of a functor (once I understand things better).

    • CommentRowNumber43.
    • CommentAuthorTobyBartels
    • CommentTimeNov 17th 2009

    Good luck in Hong Kong!

    • CommentRowNumber44.
    • CommentAuthorEric
    • CommentTimeNov 17th 2009
    This comment is invalid XHTML+MathML+SVG; displaying source. <div> <blockquote> Good luck in Hong Kong! </blockquote> <p>Thanks! I'll be happy to GET to Hong Kong :)</p> <p>Ok! My diagrams at <a href="https://ncatlab.org/ericforgy/show/Cograph">Cograph (ericforgy)</a> are correct now. However, I don't yet see how they relate to the diagrams on the nLab, e.g. <a href="https://ncatlab.org/nlab/show/cograph+of+a+functor">cograph of a functor</a>.</p> <p>Whenever I see "co"-something, I usually try to think of a diagram describing "something" and then the "co"-something is the same diagram with arrows reversed. That doesn't seem to be the case with "graph" and "cograph" or am I looking at the wrong diagrams?</p> </div>
    • CommentRowNumber45.
    • CommentAuthorEric
    • CommentTimeNov 17th 2009

    The diagrams at Cograph (ericforgy) are based on Tom's answer on Math Overflow, but I am still having trouble relating them to what is on the nLab, e.g. cograph of a functor.