Stack Exchange

Tim Campion

South Bend, IN

I'm a fourth year math grad student at the University of Notre Dame.

My advisor is Chris Schommer-Pries.

I can be contacted at tcampion@(the letter enn then the letter dee).edu

top accounts reputation activity favorites subscriptions
Top Questions
89 votes

Errata for Atiyah-Macdonald

reference-request ac.commutative-algebra big-list asked Oct 15 '10 at 0:56
mathoverflow.net

50 votes

Why are LIGO's beam tubes so wide?

experimental-physics ligo asked May 25 '16 at 23:40
physics.stackexchange.com

46 votes

Heuristic argument that finite simple groups _ought_ to be “classifiable”?

gr.group-theory soft-question finite-groups model-theory asked Sep 9 '10 at 10:05
mathoverflow.net

34 votes

Is there anything to the obvious analogy between Joyal's combinatorial species and Goodwillie calculus?

co.combinatorics at.algebraic-topology ct.category-theory homotopy-theory higher-category-theory asked Apr 4 '17 at 1:22
mathoverflow.net

34 votes

A map of non-pathological topology?

gn.general-topology soft-question big-picture asked Jun 6 at 4:57
mathoverflow.net

33 votes

Does the category of (algebraically closed) fields of characteristic $p$ change when $p$ changes?

nt.number-theory ct.category-theory model-theory galois-theory fields asked Apr 8 '16 at 0:22
mathoverflow.net

33 votes

Is there a rigid analytic geometry proof of the functional equation for the Riemann zeta function?

ag.algebraic-geometry nt.number-theory analytic-number-theory algebraic-number-theory rigid-analytic-geometry asked Nov 5 '18 at 21:20
mathoverflow.net

29 votes

What was the error in the proof of Roos' theorem?

ag.algebraic-geometry at.algebraic-topology ct.category-theory homological-algebra abelian-categories asked Jan 20 '18 at 22:27
mathoverflow.net

29 votes

What is the point of pointwise Kan extensions?

ct.category-theory asked Oct 7 '15 at 3:10
mathoverflow.net

28 votes

What is the relationship between connective and nonconnective derived algebraic geometry?

homotopy-theory higher-category-theory derived-algebraic-geometr higher-algebra asked Apr 29 '17 at 23:48
mathoverflow.net

1 2 3 4 5 … 10

Top Answers
30
What parts of the theory of quasicategories have been simplified since the publication of HTT?
mathoverflow.net

18
Which colimits commute with which limits in the category of sets?
mathoverflow.net

15
Is every abelian group a colimit of copies of Z?
mathoverflow.net

15
Category theory for a set/model theorist
mathoverflow.net

15
Responsive Design Themes - What can sites customize and how can they get changes implemented?
meta.stackexchange.com

13
Has the Isbell–Freyd criterion ever been used to check that a category is concretisable?
mathoverflow.net

13
On structures that are not submitted to compatibility conditions
mathoverflow.net

13
Uniqueness of dualizing objects
mathoverflow.net

12
Is the category 2-Vect monoidal closed?
mathoverflow.net

12
Which algebraic theories are co-sites?
mathoverflow.net

12
Higher Topos Theory Theorem 2.2.5.3
mathoverflow.net

11
Whitehead for maps
mathoverflow.net

11
Are there examples of non-orientable manifolds in nature?
mathoverflow.net

11
In what sense are fields an algebraic theory?
mathoverflow.net

11
Freyd: “is a subobject of” is not transitive
math.stackexchange.com

10
The category theory of $(\infty, 1)$-categories
mathoverflow.net

10
A topos where every object is internally projective but not every object is projective
mathoverflow.net

10
Constructive proof of exponential law in a category
mathoverflow.net

10
Is the embedding ${\sf cat}\subset {\sf Cat}$ dense?
mathoverflow.net

9
On fundamental groupoid of fundamental groupoid
mathoverflow.net

9
What is the coskeleton tower of a quasi-category?
mathoverflow.net

9
What are the reflective subcategories of the category of presentable categories?
mathoverflow.net

9
Explicit expression of the unstraightening functor
mathoverflow.net

9
Converse to Stokes' Theorem
mathoverflow.net

9
The “right” topological spaces
mathoverflow.net

9
If a right adjoint to the product functor exists, must it be the diagonal?
mathoverflow.net

9
On the homotopy type of $\mathbb{QP}^\infty$
mathoverflow.net

9
Categorification of the integers
mathoverflow.net

9
Is totalization (of a cosimplicial category) a part of some adjunction?
mathoverflow.net

9
Non-abelian Grothendieck group
mathoverflow.net

1 2 3 4