addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Eric F.


San Francisco, CA
Hometown: La Canada, CA

Member since:

September 3, 2013

How familiar are you with category theory?

I'm a mathematician. :)

How familiar are you with type theory?

Got interested in dependent type theory because of applications to formal homotopy theory.

How's your functional programming level?

Fairly good. Haskell, Agda, Coq, ML. The usual suspects.


Hi! I'm mathematician who recently came to the Bay Area. I'm interested in homotopy theory, category theory, and interactions with logic and computer science. I was a member of the Univalent Foundations last year at the IAS.

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