Todd Trimble has contributed to 1310 nLab pages.
| 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 |
| codensity monad | 16:41:41, August 09 2023 |
| HowTo | 16:26:16, August 09 2023 |
| codensity monad | 15:36:39, August 09 2023 |
| codensity monad | 15:31:37, August 09 2023 |
| commutative algebraic theory | 16:42:38, August 08 2023 |
| commutative algebraic theory | 14:02:18, August 08 2023 |