Michael A Warren
Apparently, this user prefers to keep an air of mystery about them.
12 Categorical semantics of W-types feb 7 '12
10 Reading materials for mathematical logic jul 23 '10
8 Concrete example of $\infty$-categories. aug 31 '11
6 Slick verification of the model category axioms for Spaces and SSets with the q-model structure? jun 1 '10
4 Free monoids and full transformation monoids may 29 '14
3 How is the right adjoint $f_*$ to the inverse image functor $f^*$ described for functor categories $Set^C$, $Set^D$ and $f : C \to D$ jul 21 '10