Skip to content

Category Theory for Programmers Part 3

Photo of Walker
Hosted By
Walker
Category Theory for Programmers Part 3

Details

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 https://seattlehaskell.org/courses/, and his book on the same subject here: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/.

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.

Photo of Seattle Area Haskell Users' Group group
Seattle Area Haskell Users' Group
See more events
The Riveter: Fremont
1300 North Northlake Way · Seattle, WA