1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Definition of categories

  1. Feb 15, 2012 #1
    1. The problem statement, all variables and given/known data

    Hi!
    I'd like to ask you a definition of a morphism which is used to define the category.
    I refer to a book "introduction to topological manifolds" by author Lee.
    In his book, the concept of the category is introduced in p. 170.
    I'll write it below.

    A category C consists of the following:
    1. a class (not necessarily a set)of objects;
    2. for each pair of objects X,Y, a set Hom[itex]_{C}[/itex](X,Y) of morphisms; and
    3. for each triple X,Y,Z of objects a function called composition :
    Hom[itex]_{C}[/itex](X,Y)xHom[itex]_{C}[/itex](Y,Z)[itex]\rightarrow[/itex]Hom[itex]_{C}[/itex](X,Z), written (f,g)[itex]\rightarrow[/itex]g[itex]\circ[/itex]f;
    such that the following axioms are satisfied;
    (i) Composition is associative: (f[itex]\circ[/itex]g)[itex]\circ[/itex]h=f[itex]\circ[/itex](g[itex]\circ[/itex]h).
    (ii) For each object X there exists an identity morphism Id[itex]_{X}[/itex][itex]\in[/itex]
    Hom[itex]_{C}[/itex](X,X) such that for any morphism f[itex]\in[/itex]Hom[itex]_{C}[/itex](X,Y) we have Id[itex]_{Y}[/itex][itex]\circ[/itex]f=f=f[itex]\circ[/itex]Id[itex]_{X}[/itex].

    In the above definition, I don't know what morphisms actually are...
    I expect that it should be a function which is defined between classes. As you know, like functions between two sets in ZFC set theory, a function also can be defined between two classes if we admit NBG set theory. Do you think I am right? If not, what are exactly morphisms in the above definition??
    Thanks a lot for reading my questions!
    2. Relevant equations



    3. The attempt at a solution
     
  2. jcsd
  3. Feb 15, 2012 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    In any reasonable category the morphisms are the reasonable functions. Note each morphism is only mapping between two chosen objects, it's not a map on the category itself. For example if you have the category of groups you would define hom(G,H) would be the group homomorphisms between G and H
     
  4. Feb 15, 2012 #3
    Then, is it right if I say that a morphism is a kind of a function from one class into another class??
     
  5. Feb 15, 2012 #4

    Deveno

    User Avatar
    Science Advisor

    this, strictly speaking, isn't true. some categories have morphisms that don't even resemble functions. for example:

    let C have as objects natural numbers (not including 0).

    let HomC(m,n) be the set of all mxn matrices with integer entries.

    the axioms are satisfied, but a matrix isn't a function from m to n.

    another example:

    let C have objects {1,2,3,4,6,12,24}

    define f:a→b as the only arrow that exists, only if a|b.

    then the axioms are satisfied, but arrows (morphisms) don't even remotely look like functions.

    a "more natural" example:

    let Obj(C) = G, a group.

    define g:G→G for each g in G, and set composition of arrows to be group multiplication.


    *******

    there is a reason morphisms are left "vague". because many kinds of things might be morphisms: edges on a directed graph, functions, homotopy class mappings (the last example should make you think, especially if one is looking at manifolds).

    basically, anything which can be "composed" in an associative way, can be a morphism. ANYTHING. that said, the "canonical examples" are sets-with-structure (as objects), and the structure-preserving maps between them (as objects). furthermore, one usually isn't even interested in the sets-with-structure themselves, but only in characterizing morphisms. for example, in topology one might be interested in knowing which identity functions from a set with one topology to the same set with a different topology, are continuous (which tells us "how fine" in comparison the topologies are), or in knowing what well-understood space another (perhaps less-understood) space is homeomorphic to. as another example, with a path, it's not the interval of definiton, or the ambient space the image of the path is in, that is of interest, it's the path mapping itself.

    for manifolds, these (morphisms) are typically (n-times) differentiable maps, which can be thought of as "preserving (partial) information about the manifolds they transform". for example, when talking about regions in the plane under two different coordinate systems (like cartesian and polar coordinates), what we're really interested in is the Jacobian matrix of the transform from one system to the other. if the Jacobian is singular (0 determinant), we "lose information" somewhere along the way.

    no, the concept you are looking for here is called a functor. functors are, curiously enough, the morphisms in the category Cat, whose objects are all (small, or in some texts, locally small) categories.
     
    Last edited: Feb 15, 2012
  6. Feb 15, 2012 #5
    Do you mean that a morphism is just a set related with a pair of objects A,B in the class, is just denoted f:A[itex]\rightarrow[/itex]B, and could be anything (not necessarily a function) satisfying certain axioms in the category??
     
  7. Feb 15, 2012 #6

    Deveno

    User Avatar
    Science Advisor

    yup.

    if the category is Set, then functions fit the bill (they work as morphisms). stranger categories are possible, though.
     
  8. Feb 15, 2012 #7
    Thanks! It really helps me a lot!!!
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Definition of categories
  1. Functor categories (Replies: 1)

Loading...