Next Meetup

Category Theory for Programmers Part 3
Bartosz will be presenting his third series of lectures on Category Theory over 5 consecutive Thursdays in Fremont. You can learn about his previous lectures through SeaHUG at, and his book on the same subject here: The topical outline for this series is as follows: 1. Algebras related to monads and Lawvere theories. Free algebras and free monoids. 2. Generalizing products and coproducts: ends and coends, ninja Yoneda lemma, Kan extensions. 3. Enriched categories, n-categories, groupoids. 4. Topoi Please RSVP with your full name and email so that we can provide the venue with a list of attendees, and to save time checking in.

The Riveter: Fremont

1300 North Northlake Way · Seattle

Respond by: 8/15/2018

Upcoming Meetups

Past Meetups (73)

What we're about

This is a group for all Haskell and functional programming language enthusiasts (and the curious) to come together and share their passion. We have met regularly since November 2012 and we can talk about anything related to Haskell. Talks? Tutoring? War stories? Demos? Workshops? Agda? Whatever comes to mind...


• SeaHUG official web site (

• Source code (

Members (440)

Photos (13)

Find us also at