100

# Questions

1
6
1
199
views

### Detecting homotopy nontriviality of an element in a torsion homotopy group

apr 13 at 3:48 Allen Hatcher 7,16922635

3
1
298
views

### How much of ZFC do I need to construct this cofinal, order-preserving class function?

apr 13 at 21:43 Joel David Hamkins 74.7k7187343

2
4
0
109
views

### Extracting internal sites of definition

apr 10 at 7:49 David Roberts 11.7k21855

8
7
1
616
views

### How many proofs of the Weil conjectures are there?

mar 21 at 22:11 SM 3712

1
5
1
293
views

### First mention of the fundamental bigroupoid of a space?

mar 1 at 20:36 Ronnie Brown 5,2091720

1
6
0
163
views

### What is the state of the art in 4-manfold 2-types?

feb 1 at 6:10 David Roberts 11.7k21855

1
6
2
321
views

### From the product lemma to to a result about powersets

jan 22 at 4:02 David Roberts 11.7k21855

2
13
3
541
views

### Characterising categories of vector spaces

jan 7 at 19:39 John Baez 1,730720

6
13
0
291
views

### Relative consistency of ETCS over the theory of a well-pointed topos with NNO

jan 3 at 1:18 David Roberts 11.7k21855

3