Bay Area Categories And Types

Hi Valeria, Do you want me to announce it on BACAT meetup? Thanks, -Vlad 2014-06-23 12:06 GMT-07:00

Hi guys, In case somebody have not noticed yet: we are here: http://www.meetup.com/Bay-Area-

Hi, We are now on meetup; check it out, our next meeting is tomorrow at 3pm in Crittenden. Thanks, -

any notes, slides, videos, audio? :-) On Wed, Sep 26, 2012 at 7:00 PM, vpatryshev <vpatryshev@

Silicon Valley Code Camp, Oct. 6,7 http://www.siliconvalley-codecamp.com/Sessions.aspx my talk

Hi, Since we have switched to meetup, the announcement is there: http://www.meetup.com/Bay-Area-

Great idea! On Monday, August 27, 2012, Vlad Patryshev wrote: Hi, I've just created a meetup

This meeting is canceled. Will have it on September 26, most probably, same time. Thanks, -Vlad On

here: https://github.com/vladimirias/Foundations Thanks, -Vlad

sounds good to me. On Fri, Jun 15, 2012 at 5:22 PM, larrytheliquid <larryth...@gmail.com>

http://arxiv.org/pdf/0908.3347v1.pdf Thanks, -Vlad

Yes, I was reading through it last night and I will be there next Wednesday with book in hand. On Fri

> Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter. It's Chapter 5

But anyway, if somebody can give a talk re: Theorems for Free (that's Wadler), it would be great.

D00d... Arthur :: LittleBrick On Apr 21, 2012, at 6:35 PM, Jason Dusek <jason...@gmail.com>

For reference: * Haskell wiki page on using Arrows: http://www.haskell.org/arrows/ * And a neat paper

Now you can include links to diagrams with the option of editing. <a href="http://presheaf.

Oh. You are right. That's total nonsense there. I kind of skipped too much. I asked him, but I

Hi, I wonder if anybody read this: www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99Generalised.pdf

Before is kind of challenging (I'm too loyal to where I am now); but after - with a big pleasure.

Valeria, I'll read it, thanks a lot! And besides, good point, once we have distributed

Yesterday's meeting. There were six of us. We discussed the connection between monads and

Hi, So, our next meeting will occur as usual in Engine Yard, 7pm, Wednesday, Jan.25; so far there are

We can consider other days as well, except Tuesdays. Thanks, -Vlad On Wed, Jan 11, 2012 at 9:34 AM,

> and let's meet next year It will be a Festivus miracle! On Tue, Dec 20, 2011 at 4:27 AM,

Hi everybody, Obviously meeting on Christmas does not sound very categorical; so merry Christmas,

Thanks to the Thanksgiving day. Thanks, -Vlad

Yay!!! Thank you Vlad and Mike for slides! Valeria On Sun, Nov 13, 2011 at 11:44 AM, Vlad Patryshev

Types and logic (Curry-Howard part). Thanks, -Vlad On Sun, Oct 30, 2011 at 1:48 AM, Aaron Culich <

Seasonal Greetings, Categorists and Typists, We are having our next meeting at 7pm in Engine Yard (