100

Questions
votes newest views recent
 
6
votes
0
answers
171
views

Obj is a Grothendieck fibration, but Cat is a 2-category…

oct 7 10 at 9:15 David Roberts 11.7k●2●18●55

2
6
votes
1
answer
321
views

How do we compare models of ETCS?

oct 19 10 at 4:04 David Roberts 11.7k●2●18●55

4
6
votes
2
answers
419
views

Is there an interesting definition of a category of test categories?

may 22 10 at 22:20 Denis-Charles Cisinski 4,908●11●20

1
6
votes
1
answer
199
views

Detecting homotopy nontriviality of an element in a torsion homotopy group

apr 13 at 3:48 Allen Hatcher 7,169●2●26●35

1
6
votes
2
answers
322
views

From the product lemma to to a result about powersets

jan 22 at 4:02 David Roberts 11.7k●2●18●55

1
6
votes
0
answers
165
views

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

feb 1 at 6:10 David Roberts 11.7k●2●18●55

2
6
votes
2
answers
282
views

Categories internal to schemes and subschemes of invertible arrows

jun 9 at 2:53 S. Carnahan♦ 25.6k●41●90

 
5
votes
1
answer
375
views

A fact about finite-dimensional manifolds I fear does not hold for Frechet manifolds (what’s new?)

jun 27 at 0:01 David Roberts 11.7k●2●18●55

3
5
votes
3
answers
307
views

Proper class forcing vs forcing with a set of conditions bigger than one’s model

oct 22 at 12:07 Andreas Blass 32.9k●4●54●109

1
5
votes
1
answer
294
views

First mention of the fundamental bigroupoid of a space?

mar 1 at 20:36 Ronnie Brown 5,217●17●20

prev 1 2 3 4 5 … 10 next