Math

Category Theory

Category theory is fun, come on guys let's talk about it!

For those who interested but know nothing about it my recommendation is Basic Category Theory, by Tom Leinster, which can be found on arXiv.

My favorite notion is currying, let me explain it.

Give three sets %%%A, B, C%%% and denote the set of functions from %%%A%%% to %%%B%%% by %%%[A, B]%%%, we claim that %%%[[A \times B], C]%%% is actually isomorphic to %%%[A, [B, C]]%%%.

Before I give the proof you can think about it yourself!

  • '\
    ' \ O
    ' \@ |
    ' `\/|
    ' __| * *
    ' //| | (/ )/
    '~-~-~-~-~-~""""""""""*""""""*""
    ~-~-~-~""ejm97""""""")/"""""(/"

    '\
    ' \ O
    ' \@ |
    ' `\/|
    ' /| * *
    ' \| (/ )/
    '~-~-~-~-~-~"""""""""*""""""*"""
    ~-~-~-~""ejm97""""")/"""""(/""

    '\
    ' \ {)
    A \@ |
    ^ `\/|
    __| * *
    //| | (/ )/
    -~-~-~-~-~-~"""""""""*""""""*""""
    ~-~-~-~""ejm97""""")/"""""(/""

    '\
    ____' \ {)
    \ | \@ (_/ Rats!
    __) | `\/|
    (___-_) __| * *
    //| | (/ )/
    -~-~-~-~-~-~"""""""""*""""""*""
    ~-~-~-~""ejm97""""")/"""""(/""

    '\
    ' \ {) ... bloody Ratwirez.space ratmachine
    -~-~ ' \@ | _ -~-~
    -~-~ ' ___`\/|______\ -~-~-~-~-~
    ~-~ ' ~-~ \-=-=-=-=-=-/{}~-~-~-~-~-~
    ~'-~-~-~-~-~-~-~-~-~-~-~-~-~-~
    -~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-
    ~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~-~

    80°

  • The three horsemen of math: Set theory, Category theory, Information theory.

    89°

  • I wish that I had a better understanding of Category Theory in the context of De Rham cohomology

    90°

New Reply

Please select the numbers that sum to 5.