Evan Cavallo has contributed to 55 nLab pages.
| 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 |
| Evan Cavallo | 09:02:23, June 04 2025 |
| higher inductive type | 09:27:35, May 26 2025 |
| Evan Cavallo | 08:57:28, May 26 2025 |
| Scott adjunction | 09:23:25, May 16 2025 |
| type of booleans | 17:49:15, May 15 2025 |
| strongly predicative dependent type theory | 08:07:35, May 15 2025 |
| bridge type | 19:54:29, May 13 2025 |
| premodel category | 10:13:55, April 06 2025 |
| equivalence extensionality | 12:39:41, March 24 2025 |
| category of cubes | 09:42:40, March 19 2025 |
| cell complex | 16:11:41, March 06 2025 |