Apparently, this user prefers to keep an air of mystery about them.
114 Are all mathematicians human calculators? Nov 4 '13
9 A bestiary about adjunctions Nov 5 '13
7 For two theories $T,T'$, what does $T\vdash Con(T')$ really tell us about the models of $T$? Nov 12 '13
6 Why can any type be realized? Nov 28 '13
6 Can a general version of the covariant powerset monad be derived from the universal property of power objects? Mar 16 '15