User Colin McLarty - MathOverflow

Colin McLarty

Member for 10 years, 10 months
Last seen more than a week ago

cwru.edu/artsci/phil/…
Case Western Reserve University

29 Answers

Score Activity Newest

24 votes

Accepted

Authorship of Grothendieck universes

answered Mar 1, 2015 at 15:16

22 votes

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

answered May 24, 2013 at 20:32

15 votes

Idea of using etale site

answered Jul 3, 2015 at 13:05

15 votes

Reflection principle vs universes

answered Feb 2, 2021 at 17:50

14 votes

What is the source of this famous Grothendieck quote?

answered Aug 31, 2013 at 23:29

11 votes

Accepted

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

answered Sep 25, 2013 at 13:52

11 votes

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

answered Feb 3, 2013 at 16:30

8 votes

Problems for developing mathematical visualization expertise

answered Sep 21, 2017 at 0:37

7 votes

The conceptual difference in notations of Cat

answered Oct 6, 2017 at 15:37

7 votes

Accepted

product operation: name and notation

answered Aug 11, 2012 at 18:53

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$?

answered Aug 24, 2013 at 12:37

6 votes

Lingering foundational question about sheaves of abelian groups

answered Aug 30, 2013 at 17:56

6 votes

Rigid analytic spaces vs Berkovich spaces vs Formal schemes

answered Jul 31, 2013 at 9:29

6 votes

Accepted

Equivalence between Lowenheim-Skolem Theorem and Godel Completeness

answered Jul 29, 2019 at 12:51

6 votes

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

answered Sep 19, 2017 at 21:50

6 votes

Accepted

(Finite) Models of two subtheories of Peano Arithmetic

answered Aug 7, 2013 at 9:40

5 votes

Accepted

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

answered Aug 16, 2012 at 3:02

5 votes

Accepted

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

answered Aug 31, 2013 at 14:18

3 votes

Accepted

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

answered Oct 8, 2013 at 17:44

3 votes

Accepted

Finite order arithmetic and ETCS

answered Dec 3, 2012 at 3:16

3 votes

Accepted

Ideals of etale structure sheaves

answered Jul 26, 2012 at 1:21

3 votes

Accepted

Algebraic numbers and the complex projective line minus three points

answered Jul 20, 2013 at 1:05

3 votes

Can Hasse-Minkowski be proved without class field theory?

answered Nov 23, 2016 at 3:17

2 votes

When was Bounded Zermelo set theory first formulated?

answered Nov 18, 2014 at 14:44

2 votes

Accepted

The importance of generating series in Algebraic Geometry

answered Sep 20, 2013 at 22:41

1 vote

Accepted

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

answered Nov 2, 2013 at 1:14

1 vote

Accepted

Elementary proof of bounds on factor polynomials

answered Jan 19, 2014 at 13:33

1 vote

Accepted

The Hasse Minkowski theorem in Peano arithmetic

answered Aug 6, 2013 at 8:52

0 votes

Accepted

Rigidity, moduli space, and moduli field

answered Jul 23, 2013 at 9:10