Michael A Warren
Apparently, this user prefers to keep an air of mystery about them.
12 Categorical semantics of W-types Feb 7 '12
11 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 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
4 Free monoids and full transformation monoids May 29 '14