1. Limited time only! Sign up for a free 30min personal 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!

When category theory and set theory meet

  1. Dec 10, 2003 #1


    User Avatar
    Gold Member

    was there an attempt to unite between those two fields?
  2. jcsd
  3. Dec 10, 2003 #2
    I don't know what you mean by "unite", but category theory can be applied to set theory, just like it can be applied to many other fields of mathematics.

    For example, the standard set theoretic definitions of injection (one-to-one) and surjection (onto) for a function [itex]f:S\rightarrow T[/itex]:

    Injection: a map f such that if f(s1) = f(s2), then s1=s2.

    Surjection: a map f such that for every element t in the range, there is an element s in the domain such that f(s) = t.

    Category-theoretic definitions, which refer only to functions between sets, rather than elements of sets:

    Injection (monomorphism): a map f such that for any two maps [itex]u,v:W\rightarrow S[/itex] for any set W, [itex]f\circ u = f\circ v[/itex] implies u=v.

    Surjection (epimorphism): a map f such that for any two maps [itex]u,v:T\rightarrow W[/itex] for any set W, [itex]u\circ f = v\circ f[/itex] implies u=v.

    For a whole treatment of set theory from the perspective of categories, read the gentle Conceptual Mathematics: A first introduction to categories by Lawvere and Schanuel.

    An application of category theory to finite sets, with possible connections to physics:

  4. Dec 10, 2003 #3
    I don't know a whole lot about category theory, but I do know that set theory is subsumed by category theory. (And what isn't? I can't think of a more abstract or overarching theory than category theory.) Basic Category Theory for Computer Scientists has this to say:

    "The category Set has sets as objects and total functions between sets as arrows. Composition of arrows is set-theoretic function composition. Identity arrows are identity functions."

    So I guess the short answer to your question is "yes."
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: When category theory and set theory meet
  1. Category theory (Replies: 3)

  2. Category Theory (Replies: 14)

  3. Category Theory (Replies: 8)