@topoology Adi Shamir. IP=PSPACE. http://crypto.cs.mcgill.ca/~crepeau/COMP647/2007/TOPIC01/Shamir-IP=PSPACE.pdf

I must admit that the my first #topoology breakthrough was conceived under the influence of a bidet.

I have since bought a Japanese toilet with one of these magical theorem fountains. The previous owner: Shinichi Mochizuki. Coincidence? I think not. What else could have revealed to him the relationship between set theory and the fiber functor?

Topoology can make one feel a bit mathematically constipated at times - but sometimes all you need to do is push it out.

\(

\require{AMScd}

\begin{CD}

\unicode{x1f4a9}_A @>{i}>> \unicode{x1f4a9}_L\\

@VV{f}V @VV{\Phi\unicode{x1f4a9}_L}V \\

\unicode{x1f4a9}_F @>{\Phi\unicode{x1f4a9}_F}>> \unicode{x1f4a9}_F \cup_f \unicode{x1f4a9}_L

\end{CD}

\)

If the above diagram is commutes, we have a pushout! All you're doing is gluing poops together to create adjunctive poops. Potty training.

Lost in R💩^n

Joined Jun 2017