meeting minutes

[Vlad Patryshev]

Wednesday we had a meeting at Engine Yard.

There were four of us, and Mike Stay was showing his slides on the topic of "Rosetta Stone", most attention being paid to Feynman diagrams and cobordisms. Personally I got all my questions regarding that paper answered; thank you Mike!

-Vlad

[Valeria de Paiva]

Did you do all of the Rosetta stone done? I was hoping I could catch
up on the next installment...
Valeria

> --
> 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.
>

--
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/www/

[Raoul Duke]

On Sat, Oct 29, 2011 at 7:13 PM, Vlad Patryshev <vpatr...@gmail.com> wrote:

> There were four of us, and Mike Stay was showing his slides on the topic of
> "Rosetta Stone", most attention being paid to Feynman diagrams and
> cobordisms. Personally I got all my questions regarding that paper answered;
> thank you Mike!

i continue to be jealous of those of you who can actually attend :-)

[Vlad Patryshev]

I'd have one more talk... actually, if people are interested, and we can meet in Palo Alto, and it won't be Thanksgivings Eve (say, in Google we can schedule it for any other day), and Mike agrees, we could cover this topic again.

There's one thing in this Rosetta that totally puzzles me: why? Curry-Howard isomorphisms with two more components... or is it? Or is there something simpler, like just monads, whereby all 4 are (platonic) projections?

Thanks,
-Vlad

[Aaron Culich]

Vlad, what two more components do you mean?

[Vlad Patryshev]

Types and logic (Curry-Howard part).

Thanks,
-Vlad