Next step will be to claim that category theorists are just handling discrete arrows. It’s graphs, y’a know…

Ridiculous, but it says everything about how the world is run.

Nowadays, when the average village atheist come bumping into me enquiring with disdain whether I believe in a higher power or not, I always reply “Yes: Stupidity!”

The question is not whether we’ll be able to withstand stupidity: we won’t. The only question is what we should do to circumvent assholes and their decisions.

]]>Would it be possible for you to put a copy of the article you mentioned, “Mathematics, Memory and Mental Arithmetic,” online, or to email you for a copy (if allowed by the publisher)? This is definitely the sort of thing I have had in the back of my mind, but I would be very keen to see others’ thoughts on it.

]]>Page 180, column 2, line 12, should read “pushes forward to a k-dimensional oriented manifold in Y” (not X).

]]>This is not done by MO or wikipedia. The lean theorem prover might be taking a step this direction.

I would prefer for such a project to reach through from mathematical idea to known engineering applications, or at least to PDE.

]]>search “cohomology” — nothing

search “homology” — nothing

search “gowers” — your profile, no links to your articles

http://www.tricki.org/tricki/articles —> click on “how to use cohomology” —-> 404 <— http://www.tricki.org/article/How_to_use_cohomology

I would start with mozilla MDN and take serious looks at codepen.io.

]]>Your swap-and-repeat technique is very close to our information-theoretic approach (https://arxiv.org/abs/1510.06533v2). In particular, once you observe further that $(Y_1,\cdots,Y_t,X_1)$ is ‘well-projected’ onto $(Y_i)_{i\in I}, X_1)$ for any subset $I\subset [t]$, then the result by Conlon-Fox-Sudakov follows. A further generalisation led us to Section 2 in our paper.

There are more applications of an analogous approach, for example, my paper with David (Section 5.3 in https://arxiv.org/pdf/1611.05784.pdf) and my own paper (https://arxiv.org/abs/1707.02916).

Best,

Joonkyung