Tim Campion

South Bend, IN, USA

http://sites.nd.edu/tcampion/

I'm a sixth 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 subscriptions

Conceptual reason why the sign of a permutation is well-defined?

co.combinatorics gr.group-theory permutations intuition gm.general-mathematics asked Mar 8, 2022 at 16:55

mathoverflow.net

101 votes

Errata for Atiyah–Macdonald

reference-request ac.commutative-algebra big-list asked Oct 15, 2010 at 0:56

mathoverflow.net

63 votes

Heuristic argument that finite simple groups _ought_ to be "classifiable"?

gr.group-theory soft-question finite-groups model-theory asked Sep 9, 2010 at 10:05

mathoverflow.net

50 votes

Why are LIGO's beam tubes so wide?

experimental-physics ligo asked May 25, 2016 at 23:40

physics.stackexchange.com

42 votes

Do vector spaces without choice satisfy Cantor-Schroeder-Bernstein?

linear-algebra set-theory lo.logic axiom-of-choice vector-spaces asked Oct 23, 2020 at 17:03

mathoverflow.net

40 votes

What is the cotangent complex good for?

ag.algebraic-geometry ac.commutative-algebra homotopy-theory derived-algebraic-geometry cotangent-complex asked Sep 20, 2020 at 4:33

mathoverflow.net

40 votes

A map of non-pathological topology?

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

mathoverflow.net

40 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, 2017 at 1:22

mathoverflow.net

37 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, 2016 at 0:22

mathoverflow.net

36 votes

Is there a general theory of "compactification"?

ag.algebraic-geometry dg.differential-geometry ct.category-theory gn.general-topology compactifications asked Oct 14, 2019 at 14:48

mathoverflow.net

Top Answers

What is a Frobenioid?

mathoverflow.net

Opt-in alpha test for a new Stacks editor

meta.stackexchange.com

What parts of the theory of quasicategories have been simplified since the publication of HTT?

mathoverflow.net

Higher Topos Theory- what's the moral?

mathoverflow.net

Prominent non-mathematical work of mathematicians

mathoverflow.net

Why are quasi-categories better than simplicial categories?

mathoverflow.net

Interview of Connes, Caramello, and L. Lafforgue about topos theory

mathoverflow.net

Should every modern day mathematician care about category theory?

mathoverflow.net

Is $\mathrm{Graph}$ cartesian-closed?

mathoverflow.net

Is Lie group cohomology determined by restriction to finite subgroups?

mathoverflow.net

Are locally presentable categories determined by their objects?

mathoverflow.net

Which colimits commute with which limits in the category of sets?

mathoverflow.net

Monoidal categories whose tensor has a left adjoint

mathoverflow.net

Category theory for a set/model theorist

mathoverflow.net

Is there a notion of polynomial ring in "one half variable"?

mathoverflow.net

Proof that a Cartesian category is monoidal

mathoverflow.net

Is every abelian group a colimit of copies of Z?

mathoverflow.net

Uniqueness of dualizing objects

mathoverflow.net

Responsive Design Themes - What can sites customize and how can they get changes implemented?

meta.stackexchange.com

Do there exist acyclic simple groups of arbitrarily large cardinality?

mathoverflow.net

Are categories special, foundationally?

mathoverflow.net

Is there a large colimit-sketch for topological spaces?

mathoverflow.net

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

mathoverflow.net

Which algebraic theories are co-sites?

mathoverflow.net

What are the main structure theorems on finitely generated commutative monoids?

mathoverflow.net

Unnecessary uses of the axiom of choice

mathoverflow.net

What is the coskeleton tower of a quasi-category?

mathoverflow.net

Are the categories of sets, abelian groups, and commutative rings unique?

mathoverflow.net

When the definition of a set starts to matter in category theory

mathoverflow.net

When is a pullback also a pushout?

math.stackexchange.com