Evan Cavallo has contributed to 62 nLab pages.
| 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 |
| 2-categorical logic | 09:25:03, November 12 2025 |
| 2-categorical logic | 11:29:15, November 11 2025 |
| 2-categorical logic | 10:40:47, November 11 2025 |
| symmetric set | 12:34:53, October 12 2025 |
| directed homotopy type theory | 09:01:56, October 03 2025 |
| propositional type theory | 09:46:58, September 03 2025 |
| (infinity,1)-topos | 19:12:59, August 01 2025 |
| model topos | 19:11:56, August 01 2025 |
| Charles Rezk | 19:11:19, August 01 2025 |
| polynomial functor | 09:59:20, July 11 2025 |
| hypercompletion | 08:17:24, June 11 2025 |