Gil Lederman http://photos4.meetupstatic.com/photos/member/8/2/8/e/member_74253422.jpeg

Member

Bay Area Categories And Types 20120827
San Francisco, CA 94107

Location:

Palo Alto, CAUSA 94301

Member since:

November 26, 2012

Introduction

Visiting the bay area for some time, love programming and math, have done some abstract nonesense here and there.

How familiar are you with category theory?

Have done some "abstract nonesense" during my studies. Never dedicated much time to category theory in itself, but have seen quite a few examples more from the working mathematician side of it. chased diagrams and used universal properties and the likes of it in geometry, set theory, topology, etc.

How familiar are you with type theory?

Not very familiar.

How's your functional programming level?

I'm pretty comfortable with Haskell, though far from an expert.

Sign in to post a Greeting.

Perks

People in this
Meetup are also in:

Log in

Not registered with us yet?

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy