bio | website | math.berkeley.edu/~sramesh |
---|---|---|
location | Berkeley, CA | |
age | 30 | |
visits | member for | 5 years, 6 months |
seen | 19 hours ago | |
stats | profile views | 3,918 |
I was a graduate student in the Logic program at Berkeley, broadly interested in categorical logic and foundations of mathematics, as well as in applications of category theory to the semantics of programming languages. I work for Google now.
Aug
4 |
accepted | Derivative in terms of finite differences |
Jun
22 |
accepted | Relationship of Euler product to coprimality densities for arbitrary sets of primes |
Jun
22 |
accepted | Additivity of asymptotic density of periodic sets |
Aug
31 |
accepted | Intuitionistic consistency of surjection from naturals to reals |
May
6 |
accepted | What does the term “yoga” mean in mathematics? |
Nov
12 |
accepted | Is it possible for a nontrivial category to have a slice classifier? |
Feb
16 |
accepted | If a category is “monadic”, is it necessarily so in a unique manner? |
Feb
13 |
accepted | Effects of “weak” vs. “strict” categories in Eckmann-Hilton arguments |