Topos Logic Meetup Groups

loading data...
Groups 2 Members 193 Interested 8 Cities 2 Country 1

Largest Meetup Groups

  • Put this list on your website
1

A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming. Some basic knowledge is desired. Google group BACAT is migrating here: https://groups.google.com/forum/­…

127
categorists and typists
2

This group is for anyone who wants to say, with confidence: “A monad is just a monoid in the category of endofunctors, what's the problem?”. I am starting this group because that is my goal is to learn Haskell and I think DC needs a Haskell Meetup. I

66
Haskellers

Newest Meetup Groups

  • Put this list on your website
August 9, 2013

This group is for anyone who wants to say, with confidence: “A monad is just a monoid in the category of endofunctors, what's the problem?”. I am starting this group because that is my goal is to learn Haskell and I think DC needs a Haskell Meetup. I

66
Haskellers
August 27, 2012

A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming. Some basic knowledge is desired. Google group BACAT is migrating here: https://groups.google.com/forum/­…

127
categorists and typists
  • Subscribe to a feed of Topos Logic Meetup Groups:

Find a Topos Logic Meetup Group near you