Evan Cavallo has contributed to 66 nLab pages.
| exact square | 08:39:30, September 29 2026 |
| Agda | 19:00:52, September 23 2026 |
| univalence axiom | 16:43:49, September 13 2026 |
| univalence axiom | 14:59:25, September 12 2026 |
| univalence axiom | 02:54:15, September 12 2026 |
| univalence axiom | 20:44:12, September 11 2026 |
| univalence axiom | 19:51:34, September 11 2026 |
| univalence axiom | 19:50:40, September 10 2026 |
| univalence axiom | 10:32:13, September 10 2026 |
| univalence axiom | 09:02:28, September 10 2026 |
| Ian Orton | 21:03:26, September 09 2026 |
| regularity | 13:19:21, August 21 2026 |
| cubical path type | 13:18:42, August 21 2026 |
| Nielsen-Schreier theorem | 13:18:13, August 21 2026 |
| Andrew Swan | 13:16:00, August 21 2026 |
| Evan Cavallo | 12:35:29, July 30 2026 |
| Mayer-Vietoris sequence | 11:28:38, July 30 2026 |
| Eilenberg-Zilber category | 13:40:33, July 27 2026 |
| Eilenberg-Zilber category | 15:35:49, July 25 2026 |
| coherence and strictification for monoidal categories | 12:04:30, July 10 2026 |
| connective spectrum | 10:38:59, May 25 2026 |
| n-excisive (∞,1)-functor | 13:23:59, April 26 2026 |
| Reedy category | 13:30:24, April 02 2026 |
| certified programming | 08:17:50, March 10 2026 |
| Thomas Streicher | 23:24:34, March 09 2026 |
| Hoare logic | 23:23:53, March 09 2026 |
| intensional type theory | 23:21:40, March 09 2026 |
| well-pointed topos | 13:32:00, February 17 2026 |
| derivator | 14:48:44, February 16 2026 |
| locally presentable (infinity,1)-category | 09:52:04, February 11 2026 |