addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

general abstract nonsense - a.k.a. category theory

Hello fellow friends of the functional!

Aside from the newcomers demand for usable stuff there is the not so occasional demand for *category theory* (yes really).

I took a seminar at university, when I studied mathematics and would be willing to prepare something.

DISCLAIMER: I don't know how much applicable this is in your everyday work or if I can bring any practical examples. So bring a pack of dextrose to enhance brain functionality and maybe a beer or two to moisturize the rather dry topic of functors, categories, duality and whatnot.

If you have any experience or concrete topic suggestions, please leave a comment as it makes my life preparing a whole lot easier. Also if anybody else wants to give a second talk (hint hint).

Cheers Martin

Join or login to comment.

  • robertk

    very insightful

    December 22, 2015

  • martin 'ε/2' h.

    *** breaking news *** due to maintainence duty on the blinkenwall we will meet in the LOUNGE!

    Slides are online at http://github.com/epsilonhalbe/Talks/20151209-Categories

    if you want to compile them from the Readme.md - use `pandoc --mathjax --filter diagrams-pandoc`

    ps. diagrams-pandoc is available on github and is a bit buggy

    December 9, 2015

  • martin 'ε/2' h.

    For all those who could not attend - we managed to define category and functor, discussed a lot and saw a few examples.

    We also decided to have a second session about categories in February which will be announced soon.

    3 · December 10, 2015

    • Christian H.

      Again: Thank you, Martin, and all participating. Having heard of this basic stuff is good, even though it's still more to learn before I can apply it ;)

      December 10, 2015

    • Jürgen H.

      Thanks, it was an inspiring discussion and I look forward to the session in February.

      December 12, 2015

  • Peter K.

    Will be 10 minutes late. Sry

    December 9, 2015

  • Peter K.

    December 7, 2015

  • Christian H.

    Thank you Martin for this meetup; I have no knowledge about category theory and I am only starting out with functional programming. And I'll be perfectly fine if most of the stuff from your talk flies straight over my head - at least I've heard it once :P

    November 13, 2015

    • martin 'ε/2' h.

      Nice that you'll come nevertheless - don't forget to ask questions if something is unclear!

      November 13, 2015

  • Peter K.

    Yes, this is what I need. Surely you will talk about Monads theory as well. I marked my calendar!

    October 17, 2015

    • Peter K.

      Just general category theory will do for a start. Background and concepts...

      October 17, 2015

    • martin 'ε/2' h.

      ok - this will be the focus, basic concepts and background

      1 · October 17, 2015

  • A former member
    A former member

    Would have loved to attend but I'm only here till December 2nd.

    October 16, 2015

    • martin 'ε/2' h.

      sad to hear - I will link the slides or post them somwhere accessible.

      October 17, 2015

15 went

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy