Marc Nieper-Wißkirchen's user avatar
Marc Nieper-Wißkirchen's user avatar
Marc Nieper-Wißkirchen's user avatar
Marc Nieper-Wißkirchen
  • Member for 14 years, 4 months
  • Last seen this week
22 votes
1 answer
1k views

What is classified by the (big) crystalline topos?

32 votes
3 answers
7k views

Category of categories as a foundation of mathematics

17 votes
2 answers
1k views

Construction of the petit Zariski topos out of the gros topos of a scheme

3 votes
3 answers
2k views

How to define the orientation of a vector space over an arbitrary field?

5 votes
1 answer
587 views

Stabilization of a generic pointed model category

2 votes
1 answer
366 views

When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

5 votes
1 answer
535 views

Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?

2 votes
3 answers
461 views

Axiomatization of locally compact Hausdorff spaces via compact subspaces

4 votes
1 answer
901 views

Interpetation of torsion and curvature in terms of families of nearby geodesics

14 votes
1 answer
1k views

Scalar curvature notion for Cartan connections

7 votes
1 answer
542 views

The Quillen model structure on simplicial sets as a Bousfield localization

25 votes
1 answer
1k views

Topos associated to a category

11 votes
2 answers
1k views

A-infinity tensor categories

2 votes
0 answers
383 views

What do you call an algebraic element with the property that the generated field extension is normal?

7 votes
2 answers
926 views

What is the German translation of "catenary ring"?

8 votes
1 answer
555 views

Category of copresheaves over commutative monoids

10 votes
2 answers
1k views

Does a universal Frobenius map exist?

9 votes
6 answers
3k views

Definition of the symmetric algebra in arbitrary characteristic for graded vector spaces

5 votes
3 answers
2k views

Atiyah-MacDonald: exercise 5.29 - "local ring of a valuation ring"