MathOverflow
Todd Trimble's user avatar
Todd Trimble's user avatar
Todd Trimble's user avatar
Todd Trimble
Moderator
  • Member for 14 years, 6 months
  • Last seen this week
Profile Activity

17 Questions

Score Activity Newest Views
45 votes
7 answers
8k views

Good references for Rigged Hilbert spaces?

38 votes
5 answers
5k views

Does "compact iff projections are closed" require some form of choice?

34 votes
2 answers
1k views

Cantor's theorem for presheaves?

28 votes
1 answer
1k views

What are retracts of polynomial rings?

23 votes
3 answers
2k views

Surreal Numbers as Inductive Type?

23 votes
1 answer
2k views

Monotone functions are differentiable a.e. and Hilbert's Fifth Problem: what's the connection?

22 votes
1 answer
908 views

Idempotents split in category of smooth manifolds?

18 votes
4 answers
2k views

Group which "resembles" the free product of a cyclic group of order two and a cyclic group of order three, but isn't.

16 votes
0 answers
407 views

Retractions of Yoneda are reflectors, i.e., left adjoints?

15 votes
1 answer
1k views

continuous images of open intervals

13 votes
2 answers
762 views

Using ends to construct categorical fixed points

13 votes
3 answers
694 views

Can a homotopy inverse of the map from a Lie group to loops on its classifying space be given by holonomy?

12 votes
1 answer
634 views

Does the 2-category of toposes admit pseudo-colimits?

11 votes
2 answers
575 views

New results on Chow's notion of closed-form numbers?

7 votes
3 answers
1k views

number of subdivisions needed to compare simplicial sets to simplicial complexes?

4 votes
3 answers
1k views

Thom first isotopy lemma in o-minimal structures

3 votes
1 answer
166 views

Nontrivial example of when monadic functors don't compose