Quantcast

Brian Beckman: Don’t Fear the Monad

  • A monoid is: ({stuff}, operations)  where the operations are associative and have a unit.
    http://25.media.tumblr.com/8796d491890057c0ab488ccf4589fc34/tumblr_mpck6hmZC11qc38e9o1_1280.jpg
  • So a monoid is a semigroup with unit. (a +0 or a ×1 or a 1_C ⟳)
  • Brian Beckman in this video expresses a monoid with two functions f:a->a and g:a->a. (same type or domain)
    image
    b∘a∘b∘a∘b∘a∘b∘a∘b∘a[⬟]
    image

    successor function and square function

    image

  • His example is addition mod 12 (integral hours on a clock).

    imageimage
  • Then the monoidal category happens when you allow f:a->b and g:b->c. (linking together different types or domains)
    image

(por jasonofthel33t)

143 notes

  1. keckclip reblogged this from isomorphismes
  2. akhyliss reblogged this from proofmathisbeautiful
  3. beyourselfornobodyelse reblogged this from proofmathisbeautiful
  4. 4evergreens reblogged this from proofmathisbeautiful
  5. cheappoet reblogged this from biognosis
  6. biognosis reblogged this from proofmathisbeautiful
  7. eclecticdraconian reblogged this from isomorphismes
  8. thedemilitarizedfriendzone reblogged this from proofmathisbeautiful
  9. gratuitousreblogging reblogged this from isomorphismes and added:
    SQUEEEEEE!!!
  10. trismegistousse reblogged this from isomorphismes
  11. th3littl3princ3 reblogged this from proofmathisbeautiful
  12. harker-man reblogged this from proofmathisbeautiful