7

Questions

3
7
votes
0
answers
174
views

The category theory of $(\infty, 1)$-categories

apr 11 at 8:55 Zhen Lin 1,8251511

 
4
votes
1
answer
179
views

Non-definable elements vs indiscernible elements

dec 3 at 2:01 Joel David Hamkins 75.2k7187343

5
15
votes
1
answer
667
views

What is the theory of local rings and local ring homomorphisms?

feb 28 12 at 10:28 Martin Brandenburg 29.1k245129

2
7
votes
2
answers
347
views

Categorical Brouwer-Heyting-Kolmogorov interpretation

dec 15 11 at 20:58 kow 25112

2
-1
votes
3
answers
870
views

Formalising the principle of general covariance in differential geometry

dec 30 10 at 20:06 Deane Yang 12.6k13380

 
2
votes
1
answer
312
views

Indeterminates and forgetful functors

dec 26 10 at 13:01 Todd Trimble 22.3k16296

 
0
votes
0
answers
375
views

When is a meromorphic function locally injective? [closed]

dec 17 10 at 7:13 Zhen Lin 1,8251511