addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrosseditemptyheartexportfacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Gil L.


Albany, CA
Hometown: Berkeley

Member since:

November 26, 2012

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.


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

People in this
Meetup are also in:

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