User Todd Trimble

47 votes

7 answers

8k views

Good references for Rigged Hilbert spaces?

asked Oct 23, 2010 at 16:37

38 votes

5 answers

5k views

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

asked Oct 14, 2010 at 18:00

34 votes

2 answers

1k views

Cantor's theorem for presheaves?

asked Dec 21, 2014 at 15:13

28 votes

1 answer

1k views

What are retracts of polynomial rings?

asked Oct 4, 2015 at 2:21

23 votes

3 answers

2k views

Surreal Numbers as Inductive Type?

asked Apr 29, 2011 at 3:21

23 votes

1 answer

2k views

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

asked Nov 1, 2010 at 18:26

22 votes

1 answer

955 views

Idempotents split in category of smooth manifolds?

asked Apr 5, 2014 at 20:28

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.

asked Oct 12, 2010 at 17:30

16 votes

0 answers

422 views

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

asked Dec 29, 2014 at 2:19

15 votes

1 answer

1k views

continuous images of open intervals

asked May 25, 2014 at 0:48

13 votes

2 answers

779 views

Using ends to construct categorical fixed points

asked Dec 31, 2009 at 19:30

13 votes

3 answers

707 views

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

asked Jan 20, 2011 at 17:21

12 votes

1 answer

666 views

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

asked Mar 28, 2011 at 16:45

11 votes

2 answers

582 views

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

asked Sep 29, 2011 at 16:42

7 votes

3 answers

1k views

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

asked Nov 21, 2010 at 15:52

4 votes

3 answers

1k views

Thom first isotopy lemma in o-minimal structures

asked May 2, 2010 at 14:54

2 votes

1 answer

206 views

Nontrivial example of when monadic functors don't compose

asked Dec 20, 2023 at 3:34

Stack Exchange Network

17 Questions

Good references for Rigged Hilbert spaces?

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

Cantor's theorem for presheaves?

What are retracts of polynomial rings?

Surreal Numbers as Inductive Type?

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

Idempotents split in category of smooth manifolds?

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

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

continuous images of open intervals

Using ends to construct categorical fixed points

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

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

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

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

Thom first isotopy lemma in o-minimal structures

Nontrivial example of when monadic functors don't compose