Mike Stay has contributed to 25 nLab pages.
| presentation of a category by generators and relations | 19:14:12, May 08 2025 |
| cut rule | 21:02:45, December 12 2024 |
| dependent type | 17:53:40, December 07 2023 |
| Möbius inversion | 16:42:05, June 15 2023 |
| category algebra | 15:36:44, June 15 2023 |
| Lawvere theory | 18:59:49, September 08 2016 |
| 2-category equipped with proarrows | 20:57:13, July 16 2016 |
| 2-category equipped with proarrows | 19:40:11, July 15 2016 |
| quantification | 10:32:06, August 31 2014 |
| path integral | 10:29:43, August 31 2014 |
| quantum harmonic oscillator | 10:29:42, August 31 2014 |
| structure type | 10:29:42, August 31 2014 |
| generating function | 10:29:42, August 31 2014 |
| perturbation theory | 10:29:42, August 31 2014 |
| position | 10:29:42, August 31 2014 |
| momentum | 10:29:42, August 31 2014 |
| canonical commutation relation | 10:29:42, August 31 2014 |
| Laurent series | 10:29:42, August 31 2014 |
| momentum | 10:29:42, August 31 2014 |
| renormalization | 10:29:42, August 31 2014 |
| renormalization | 10:29:42, August 31 2014 |
| perturbation theory | 10:29:42, August 31 2014 |
| quantum harmonic oscillator | 10:29:42, August 31 2014 |
| quantum harmonic oscillator | 10:29:42, August 31 2014 |
| Hamiltonian | 10:29:42, August 31 2014 |
| free cocompletion | 10:29:33, August 31 2014 |
| free cocompletion | 10:29:33, August 31 2014 |
| free cocompletion | 10:29:33, August 31 2014 |
| free cocompletion | 10:29:33, August 31 2014 |
| free cocompletion | 10:29:32, August 31 2014 |