Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Dashed arrow and solid arrow in category theory

  1. Apr 8, 2008 #1
    In category theory,what is the difference between dashed arrow and solid arrow?I am just curious why there is not any textbook which I could find mention about it formally .heh...
  2. jcsd
  3. Apr 8, 2008 #2


    User Avatar
    Science Advisor
    Homework Helper

    You mean something like this?

    The contexts I've seen it used in usually imply the existence and uniqueness of a certain morphism.
  4. Apr 9, 2008 #3
    yeh.That is what i mean.so solid arrow imply "forall"([tex] \forall [/tex]),dashed arrow imply "exists"([tex] \exists [/tex]),all right?
  5. Apr 9, 2008 #4


    User Avatar
    Science Advisor
    Homework Helper

    I don't quite understand what you mean!
  6. Apr 11, 2008 #5
    In your example,If the arrow U(g) is solid,it means
    [tex] \forall U(g)[U(g) \circ \phi = f] [/tex],and when the arrow U(g) is dashed,then it means [tex] \exists U(g)[U(g) \circ \phi = f] [/tex],right?
  7. Apr 12, 2008 #6
    A solid arrow signifies that the morphism exists. A dashed arrow signifies that the morphism exists and is the unique morphism that makes the diagram commute.

    For instance, in this diagram http://upload.wikimedia.org/wikipedia/commons/b/b2/CategoricalProduct-03.png" [Broken]
    (this is the definition of a product), the object X1 x X2 along with the morphisms Pi1 and Pi2 from X1 x X2 to X1 and to X2 respectively is called the product of X1 and X2 if for every object Y and morphisms f1:Y->X1 and f2:Y->X2, there exists a unique (meaning of dashed arrow) morphism f that makes the diagram commute.

    Any time any arrow or object is drawn on the diagram, it has to exist. Any time an arrow is dashed, the morphism is unique. Some times other decorations are used on the arrows to signify some algebraic properties of the morphisms. For instance, a "split tail" on an arrow signifies that it is monic (Definition and picture (both a bit hidden, sorry) here: http://dlxs2.library.cornell.edu/cgi/t/text/pageviewer-idx?c=math;cc=math;q1=monic;rgn=full%20text;idno=gold010;didno=gold010;view=image;seq=54;page=root;size=S;frm=frameset" [Broken] ) while both of these together signifies that it is an isomorphism.

    Diagrams are useful tools to help show what the the author is trying to convey, but by themselves, they mean nothing. I can use the same diagram with a bunch of arrows to help illustrate a proof about a diagram commuting, or I can use it to illustrate a definition or a proof that a certain morphism exists and has some property. A good book will present a diagram as an aide but still present a proof and just refer back to the diagram to help the reader understand what morphism is doing what.
    Last edited by a moderator: May 3, 2017
  8. Apr 14, 2008 #7
    Thanks for your helpful answers.
  9. Feb 10, 2009 #8
    Thanks so much for this post. It was very helpful!
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Dashed arrow solid Date
Solid angle between 3 vectors Feb 16, 2014
A group theoretic puzzle in solid geometry Feb 15, 2005