MathOverflow
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami's user avatar
Neel Krishnaswami
  • Member for 14 years, 5 months
  • Last seen more than a week ago
Profile Activity

80 Answers

Score Activity Newest
4 votes
Accepted

Recursively dependent types?

4 votes

Can infinity shorten proofs a lot?

3 votes

When can we prove constructively that a ring with unity has a maximal ideal?

3 votes

What is "rich structure", actually?

3 votes
Accepted

Higher-order, multi-sorted, non purely equational version of universal algebra ?

3 votes

Explicitly constructing an infinite set with particular size

3 votes
Accepted

What is a semigroup or, what do I do with that associativity proof?

3 votes

In what ways is physical intuition about mathematical objects non-rigorous?

3 votes

Comprehensive reference for synthetic euclidean geometry

3 votes
Accepted

approximating categories with continuous functors

3 votes

What is the proper name for "compact closed" multiplicative intuitionistic linear logic?

2 votes

What is the recommended way to Typset/Format Algorithm-related questions?

2 votes

Kleisli Monad bijection

2 votes

Do non-associative objects have a natural notion of representation?

2 votes

Is there any proof assistant based on first-order logic?

2 votes

Are all mathematical theorems necessarily true?

1 vote

nontrivial isomorphisms of categories

1 vote

Does there exist a general theory of "arithmetic complexity"/"arithmetic height"?

1 vote

Dispensing with the notion of infinity for the sake of coverings

0 votes

Is every lattice the fixed-point set of an order endomorphism of ⋄^n?

1 2
3