Options

Programming with categories course at MIT

Check out this course, taught by Brendan Fong, Bartosz Milewski and David Spivak:

They are teaching category theory and Haskel programming in tandem, from the ground up. YouTube video lectures are linked there.

We are glad to be hosting as the discussion forum for the course!

There are two discussion categories for the course:

Here is a link to an editable syllabus page on the Azimuth wiki, which at present is very incomplete. Feel free to update it with relevant information.

Comments

  • 1.

    Can someone elaborate on the Void type? I find that this object trivially exist in every category. Is this true?

    Comment Source:Can someone elaborate on the Void type? I find that this object trivially exist in every category. Is this true?
  • 2.
    edited January 18

    Hi everyone, I'm hosting a discussion tomorrow at 10AM Central for a couple of friends. The plan is to review the first problem set and talk about any questions that have come up during the lecture. All are welcome to drop in, link below:

    Jake Gillberg is inviting you to a scheduled Zoom meeting.

    --

    Topic: Programming With Categories Time: Jan 18, 2020 10:00 AM Eastern Time (US and Canada)

    Join Zoom Meeting https://zoom.us/j/4839633293

    Meeting ID: 483 963 3293

    One tap mobile +19294362866,,4839633293# US (New York) +16465588656,,4839633293# US (New York)

    Dial by your location +1 929 436 2866 US (New York) +1 646 558 8656 US (New York) +1 408 638 0968 US (San Jose) Meeting ID: 483 963 3293 Find your local number: https://zoom.us/u/adBihM8mdT

    Comment Source:Hi everyone, I'm hosting a discussion tomorrow at 10AM Central for a couple of friends. The plan is to review the first problem set and talk about any questions that have come up during the lecture. All are welcome to drop in, link below: Jake Gillberg is inviting you to a scheduled Zoom meeting. -- Topic: Programming With Categories Time: Jan 18, 2020 10:00 AM Eastern Time (US and Canada) Join Zoom Meeting https://zoom.us/j/4839633293 Meeting ID: 483 963 3293 One tap mobile +19294362866,,4839633293# US (New York) +16465588656,,4839633293# US (New York) Dial by your location +1 929 436 2866 US (New York) +1 646 558 8656 US (New York) +1 408 638 0968 US (San Jose) Meeting ID: 483 963 3293 Find your local number: https://zoom.us/u/adBihM8mdT
  • 3.

    Hello everyone, sorry again for the late notice, but I'm hanging out in this virtual room working on PS2, if anyone wants to join and work along side me! https://zoom.us/j/4839633293

    Comment Source:Hello everyone, sorry again for the late notice, but I'm hanging out in this virtual room working on PS2, if anyone wants to join and work along side me! https://zoom.us/j/4839633293
Sign In or Register to comment.