Kevin Arlin
397
reputation
3
7
I'm a research software engineer at the Topos Institute in Berkeley. My mathematical training is in category theory. You can reach me at "my first name" "at" "topos.institute".