7

# Questions

3
7
0
174
views

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

apr 11 at 8:55 Zhen Lin 1,8251511

4
1
179
views

### Non-definable elements vs indiscernible elements

dec 3 at 2:01 Joel David Hamkins 75.2k7187343

5
15
1
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
2
347
views

### Categorical Brouwer-Heyting-Kolmogorov interpretation

dec 15 11 at 20:58 kow 25112

2
-1
3
870
views

### Formalising the principle of general covariance in differential geometry

dec 30 10 at 20:06 Deane Yang 12.6k13380

2
1
312
views

### Indeterminates and forgetful functors

dec 26 10 at 13:01 Todd Trimble 22.3k16296

0