Skip to main content
Oscar Cunningham's user avatar
Oscar Cunningham's user avatar
Oscar Cunningham's user avatar
Oscar Cunningham
  • Member for 14 years, 9 months
  • Last seen this week
30 votes

Decision problems for which it is unknown whether they are decidable

22 votes

Results true in a dimension and false for higher dimensions

21 votes

Nuances Regarding Naturality

17 votes

How can one construct a four-coloring of a tiling of the plane with Smith, Myers, Kaplan, and Goodman-Strauss's aperiodic monotile?

16 votes

Big list of comonads

8 votes
Accepted

Projecting a symmetric matrix onto the space of linear operators with a particular eigenvalue

5 votes

Atlas-like websites on specific areas of mathematics

5 votes
Accepted

Existence of "Continuous paths" in categories as directed systems

2 votes

What information is lost in $X \to \mathrm{Sh}(X)$?

1 vote

How can one represent vector addition diagrammatically in categorical quantum mechanics?

-2 votes

Examples of theorems with proofs that have dramatically improved over time