Todd Trimble has contributed to 1311 nLab pages.
| Tall-Wraith monoid | 15:07:09, October 25 2024 |
| heap | 14:15:20, July 27 2024 |
| affine space | 15:40:53, July 25 2024 |
| bar construction | 01:30:09, June 08 2024 |
| tube lemma | 14:51:11, May 28 2024 |
| Polish space | 21:22:41, May 27 2024 |
| Stirling's approximation | 22:24:35, April 12 2024 |
| Stirling's approximation | 15:32:16, April 08 2024 |
| complete Boolean algebra | 11:47:46, April 08 2024 |
| Boolean algebra | 15:45:55, April 06 2024 |
| cofree coalgebra | 22:31:14, December 24 2023 |
| list of notable initial algebras and terminal coalgebras | 14:53:28, December 23 2023 |
| quadratic algebra | 20:50:48, December 22 2023 |
| quadratic algebra | 17:24:41, December 21 2023 |
| fixed point | 15:38:30, December 20 2023 |
| fixed point | 14:50:23, December 20 2023 |
| simple object | 15:14:41, December 11 2023 |
| Jon Beck | 00:48:51, November 27 2023 |
| characteristic polynomial | 03:41:48, November 05 2023 |
| quantale | 13:55:21, November 04 2023 |
| colimit | 13:18:36, September 27 2023 |
| principal symbol | 00:07:34, September 26 2023 |
| relational beta-module | 12:08:46, September 13 2023 |
| characteristic polynomial | 12:23:53, September 05 2023 |
| characteristic polynomial | 05:54:50, September 05 2023 |
| error correcting code | 12:55:23, August 25 2023 |
| even number | 11:38:19, August 19 2023 |
| Poisson summation formula | 09:10:57, August 12 2023 |
| algebra over a monad | 14:17:51, August 11 2023 |
| codensity monad | 19:20:22, August 09 2023 |