next meeting

[Vlad Patryshev]

Hi,i

We will have our next meeting at Engine Yard, as usual (thank you Larry!); the plans to have them intermittently in MV are still being postponed.

Let's choose the topic:

- somebody is willing to give a talk;

- continue discussing the issues of monads and applicative functors and monads not always being applicative and an attempt to prove that if we are in a topos, the statement that every monad is applicative implies booleanness;

- read and walk through "The Essence of the Iterator Pattern" by J.Ogibbons and B.C.d.S.Oliveira (if you are banned on Google, you can find it on Yahoo or Altavista or Xanadu);

- I could give some kind of talk on topos logic

-Vlad

Thanks,
-Vlad

[Aaron Culich]

I like the option: "continue discussing the issues of monads and

applicative functors and monads not always being applicative and an
attempt to prove that if we are in a topos, the statement that every

monad is applicative implies booleanness".

I missed the last two meetings, so I have a little bit of catch-up to
do (maybe we could have a short review?). If others prefer another
topic, then Vlad maybe you and I can grab a beer before or after the
meeting to discuss?

-Aaron

> --
> You received this message because you are subscribed to the Google Groups
> "Bay Area Categories And Types" group.
> To post to this group, send email to ba...@googlegroups.com.
> To unsubscribe from this group, send email to
> bacat+un...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bacat?hl=en.

[Vlad Patryshev]

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

Thanks,
-Vlad