Evan Cavallo has contributed to 15 nLab pages.
| history of inductive types – references | 21:50:28, November 03 2024 |
| generalized the | 18:26:55, October 13 2024 |
| first uncountable ordinal | 18:25:57, October 13 2024 |
| homotopy type theory | 08:47:05, August 08 2024 |
| model invariance problem | 07:05:39, July 03 2024 |
| test category | 13:36:46, April 15 2024 |
| cubical set - exposition | 12:30:38, April 15 2024 |
| cartesian natural transformation | 10:59:27, March 22 2024 |
| Bousfield-Friedlander model structure | 05:27:02, March 20 2024 |
| modelizer | 21:51:00, August 30 2023 |
| adhesive category | 18:26:07, August 16 2023 |
| category of cubes | 13:53:30, June 26 2023 |
| saturated class of limits | 10:49:34, December 02 2021 |
| absolute pushout | 20:13:07, April 13 2021 |
| absolute pushout | 19:57:49, March 31 2021 |
| cubical type theory | 13:03:34, October 12 2019 |