Evan Cavallo has contributed to 10 nLab pages.
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 |