Category Theory For Programmers Study Group

May 5, 2018 · Los Angeles, United States of America

This is the 4th meetup in a series where we watch Bartosz Milewski's lecture series on Category Theory and read his book "Category Theory For Programmers." At each meetup we will watch one complete lecture and discuss the relevant reading material.

This week's essay can be found here:
https://bartoszmilewski.com/2014/12/23/kleisli-categories/

Be sure to attempt the exercises at the end of the essay. We are mainly using the FPChat #los-angeles slack channel to discuss the reading but you can also find most of on the learnteachcode slack channels #functional and #mathematics.

"Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms). A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups." (Wikipedia entry on Category Theory)

The lectures are broken up generally into two 45 minute parts and have a corresponding chapter from the book. At each meetup we will watch one complete lecture and discuss the relevant reading material. Participants are encouraged to bring their exercise solutions from the reading material or any Category Theory or FP related problems they are working on.

====================
Materials:
====================
Here is the link to the book:
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

Here is the link to the lecture series:
https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_

====================
What to bring:
====================
• Any books, pen/paper, whiteboards, or whatever you need to study

====================
Agenda:
====================

• 5:00 - 5:20pm - Introductions, talk about goals for the group, etc
• 5:20pm - Watch lectures 4.1 and 4.2 then discuss the material

====================
Parking / venue info:
====================
There is a parking lot with room for a handful of cars and ample street parking.
This venue is my studio/wood shop. I am happy to host the meetup there but it may not be the ideal location. Lets discuss this at the meetup.

I capped the RSVP list at 12 people. Don't feel like you cannot attend if the RSVP list is full. There is plenty of room for more people in the space, but actual chairs are going to be in short supply. If a lot of people show up I can improvise some benches.

====================
*** Join our chat room on Slack to keep in touch with our whole community: https://learnteachcode.herokuapp.com/

*** Want to get more involved? We always need more help! You can help with or host a study group, provide mentorship, or volunteer for other fun stuff. Let us know on Slack or in person!

Event organizers
  • Learn Teach Code LA

    Whether you're a total beginner or a coding ninja/guru/Jedi Master, we're here to learn about programming and computer science in a fun, informal environment -- and also to provide moral support to fight the fears and frustrations that come with learning a new skill or transitioning to a new career. Join our chatoom on Slack: http://learnteachcode.herokuapp.com  Stuff we do at Learn to Code LA: • Learn programming fundamentals through a variety of languages and platforms together in small groups or pair p

    Recent Events
    More

Are you organizing Category Theory For Programmers Study Group?

Claim the event and start manage its content.

I am the organizer
Social
Rating

based on 0 reviews

Featured Events