nLab Author — Evan Cavallo

Overview

Evan Cavallo has contributed to 10 nLab pages.

Most recent contributions

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

All pages contributed to