I will have to miss this week's meeting.
--
Jason Dusek
() ascii ribbon campaign - against html e-mail
/\ www.asciiribbon.org - against proprietary attachments
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
--
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.
I will take off from Sunnyvale.
Nick
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