next meeting

24 views
Skip to first unread message

Vlad Patryshev

unread,
Apr 25, 2011, 4:49:10 PM4/25/11
to ba...@googlegroups.com
As usual, Engine Yard, April 27th, 7pm.

Continuing with Uustalo slides, and we will walk through the iniality of category of algebras and terminality of Kleisli category, which we discussed at our last meeting. Now I have MacLane, so we can just pull out the proof. It is trivial, but good reading anyway.

Thanks,
-Vlad

Jason Dusek

unread,
Apr 25, 2011, 6:18:28 PM4/25/11
to ba...@googlegroups.com
Hi guys,

I will have to miss this week's meeting.

--
Jason Dusek
()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments

David Pollak

unread,
Apr 25, 2011, 7:34:38 PM4/25/11
to ba...@googlegroups.com
On Mon, Apr 25, 2011 at 1:49 PM, Vlad Patryshev <vpatr...@gmail.com> wrote:
As usual, Engine Yard, April 27th, 7pm.

I plan to come.  Where is Engine Yard?
 

Continuing with Uustalo slides, and we will walk through the iniality of category of algebras and terminality of Kleisli category, which we discussed at our last meeting. Now I have MacLane, so we can just pull out the proof. It is trivial, but good reading anyway.

Thanks,
-Vlad

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



--
Lift, the simply functional web framework http://liftweb.net

Occam Wonder

unread,
Apr 25, 2011, 9:58:26 PM4/25/11
to ba...@googlegroups.com
I am planning to come as well to the coming meeting on Categories and other funny stuffs.

I will take off from Sunnyvale.


Nick

Occam Wonder

unread,
Apr 25, 2011, 10:13:36 PM4/25/11
to ba...@googlegroups.com
Hi Jason,

How are you doing?

I have a question for you.

Do you know people/groups that spend time studying the linux kernel and other operating systems?

Nick

Vlad Patryshev

unread,
Apr 25, 2011, 10:14:03 PM4/25/11
to ba...@googlegroups.com
http://www.google.com/search?sourceid=chrome&ie=UTF-8&q=san+francisco%2C+engine+yard

At the entry, you should just tell the guy that you are going to Engine Yard, 5th floor. Larry, our host, usually keeps the door on the 5th floor open for the event.

-Vlad

Occam Wonder

unread,
Apr 25, 2011, 10:14:16 PM4/25/11
to Occam Wonder, ba...@googlegroups.com
oups, sorry, this message was for Jason only.
Reply all
Reply to author
Forward
0 new messages