Colin McLarty's user avatar
Colin McLarty's user avatar
Colin McLarty's user avatar
Colin McLarty
  • Member for 10 years, 10 months
  • Last seen more than a week ago
24 votes
Accepted

Authorship of Grothendieck universes

22 votes

Why did Bourbaki's Élements omit the theory of categories?

15 votes

Idea of using etale site

15 votes

Reflection principle vs universes

14 votes

What is the source of this famous Grothendieck quote?

11 votes
Accepted

Where does the notation $\pi_1(X,x)$ for the fundamental group first appear?

11 votes

When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

8 votes

Problems for developing mathematical visualization expertise

7 votes

The conceptual difference in notations of Cat

7 votes
Accepted

product operation: name and notation

7 votes
Accepted

Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?

6 votes

Lingering foundational question about sheaves of abelian groups

6 votes

Rigid analytic spaces vs Berkovich spaces vs Formal schemes

6 votes
Accepted

Equivalence between Lowenheim-Skolem Theorem and Godel Completeness

6 votes

What is known about the reverse mathematics of algebraic number fields?

6 votes
Accepted

(Finite) Models of two subtheories of Peano Arithmetic

5 votes
Accepted

Show that $A$ cartesian closed need not imply $A^J$ is cartesian closed.

5 votes
Accepted

Who first realized that the shortest distance between two points is a straight line?

3 votes
Accepted

Are there any consequences of the initial object in Set being unique, while the isomorphism class of terminal objects is nontrivial?

3 votes
Accepted

Finite order arithmetic and ETCS

3 votes
Accepted

Ideals of etale structure sheaves

3 votes
Accepted

Algebraic numbers and the complex projective line minus three points

3 votes

Can Hasse-Minkowski be proved without class field theory?

2 votes

When was Bounded Zermelo set theory first formulated?

2 votes
Accepted

The importance of generating series in Algebraic Geometry

1 vote
Accepted

Interpreting the Galois theory of finite extensions of $\mathbb{Q}$ in PA

1 vote
Accepted

Elementary proof of bounds on factor polynomials

1 vote
Accepted

The Hasse Minkowski theorem in Peano arithmetic

0 votes
Accepted

Rigidity, moduli space, and moduli field