It looks like you're new here. If you want to get involved, click one of these buttons!
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
Can someone elaborate on the Void type? I find that this object trivially exist in every category. Is this true?
Can someone elaborate on the Void type? I find that this object trivially exist in every category. Is this true?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
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/adBihM8mdTHello 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
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