Todd Trimble has contributed to 1212 nLab pages.
| monoidal category | 15:56:35, June 24 2020 |
| Giry monad | 22:07:21, June 13 2020 |
| diagram | 06:58:53, June 13 2020 |
| Hans-Joachim Baues | 11:08:50, June 08 2020 |
| concrete sheaf | 12:34:30, May 29 2020 |
| universe | 10:11:16, May 21 2020 |
| Hilbert's basis theorem | 15:35:16, May 19 2020 |
| fully normal spaces are equivalently paracompact | 05:39:49, May 19 2020 |
| étale space | 22:02:20, May 11 2020 |
| poset of subobjects | 10:10:07, May 04 2020 |
| Hermite polynomial | 10:08:06, May 04 2020 |
| baryon-lepton symmetry | 13:08:23, May 03 2020 |
| category of presheaves | 12:27:34, May 02 2020 |
| wide pullback | 12:14:15, May 02 2020 |
| ordinal sum | 12:02:41, May 02 2020 |
| monoidal category | 18:57:57, April 26 2020 |
| bicategory | 18:54:03, April 26 2020 |
| primitive recursive arithmetic | 06:43:21, April 24 2020 |
| nilpotent group | 04:41:51, April 24 2020 |
| enriched category | 04:34:31, April 24 2020 |
| Joel Robbin | 12:27:26, April 19 2020 |
| regular category | 15:26:12, April 06 2020 |
| biproduct | 10:07:47, April 03 2020 |
| locally bounded category | 05:41:10, March 31 2020 |
| compact Hausdorff spaces are normal | 18:52:56, March 08 2020 |
| Pontrjagin dual | 23:58:58, March 07 2020 |
| Euclidean domain | 07:20:40, February 27 2020 |
| join | 15:28:44, February 15 2020 |
| join | 06:08:04, February 15 2020 |
| comonadic functor | 20:16:30, February 14 2020 |