2,223 reputation
1324
bio website math.berkeley.edu/~sramesh
location Berkeley, CA
age 28
visits member for 4 years, 2 months
seen Apr 13 at 20:50
I am 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.

Feb
10
awarded  Editor
Feb
9
revised Is there a finitely complete category with terminal object but NO subobject classifier?
Eh, just moved things around
Feb
9
revised Is there a finitely complete category with terminal object but NO subobject classifier?
added 409 characters in body; added 14 characters in body
Feb
9
answered Is there a finitely complete category with terminal object but NO subobject classifier?
Feb
9
awarded  Supporter
Feb
9
comment Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)
I somehow missed that François G. Dorais made a related point, much more concretely, above. Alas, I am so new here as to lack even the reputation to upvote it...
Feb
9
awarded  Teacher
Feb
9
answered Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)
Feb
9
awarded  Autobiographer