Sridhar Ramesh

2,321
Reputation
2873 views
Is this your account?

Registered User 

Name Sridhar Ramesh
Member for 3 years
Seen May 16 at 0:07
Website
Location Berkeley, CA
Age 27
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.
10

Questions
votes newest views recent
6

2

3

3

1

 
7
votes
2
answers
286
views

Is it possible for a nontrivial category to have a slice classifier?

nov 12 10 at 12:24 Buschi Sergio 1,799●1●3●8

1

 
3
votes
0
answers
100
views

Properly “transfinitely” Euclidean domains

oct 21 at 1:52 Sridhar Ramesh 2,321●10●20

2
2
votes
1
answer
189
views

If a category is “monadic”, is it necessarily so in a unique manner?

feb 16 10 at 15:35 Charles Rezk 12.9k●1●31●66

 
1
vote
1
answer
196
views

“Highly balanced” periodic functions

jan 11 12 at 11:03 Alan Haynes 1,149●1●11

 

24

Answers
votes newest views recent
25
Can the Riemann hypothesis be undecidable?
22
What is a colimit, really?
17
Montague’s Reflection Principle and Compactness Theorem
13
“Philosophical” meaning of the Yoneda Lemma
11
Why hasn’t mereology suceeded as an alternative to set theory?
10
Surreal Numbers and Set Theory
10
Geometric Interpretation of Trace
9
Arithmetic fixed point theorem
8
When a formal power series is a rational function in disguise
5
Why should algebraic objects have naturally associated topological spaces? (Formerly: What is a topological space?)
5
Tarski’s Theorem and Gödel’s Second Incompleteness Theorem
4
existence of a field that has a non surjective ring homomorphism
4
Are all the theorems true?
4
Is there a finitely complete category with terminal object but NO subobject classifier?
4
What is a complex inner product space “really”?
2
Union of a object (a set) in the Elementary Theory of the Category of Sets
2
Can we recognize when a category is equivalent to the category of models of a first order theory?
2
Hat Problem/Hamming Codes
2
Confusion over a point in basic category theory
2
wellfounded sets and predecessors
2
Proof without words for surface area of a sphere
1
Compact Hausdorff and C^*-algebra “objects” in a category.
1
What is information-theoretic lower bound?
1
Why is the output of an LTI system the convolution of the input funtion and the impulse response?

 

188

Votes
180
8

 

42

Tags
× 12
× 8
× 5
× 3
× 2
× 2
× 2
× 2
× 2
× 2
 × 2





















 

30

Badges
● Nice Answer× 7
● Popular Question× 3
● Yearling× 3
● Enlightened× 3
 ● Good Answer
● Mortarboard
● Enthusiast
● Necromancer× 2
 ● Nice Question
● Scholar
● Student
● Critic
 ● Commentator
● Editor
● Supporter
● Teacher
 ● Autobiographer