Evan Cavallo has contributed to 32 nLab pages.
| 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 |
| category of cubes | 14:54:48, January 06 2025 |
| cubical-type model category | 01:45:39, January 01 2025 |
| Beck-Chevalley condition | 01:45:26, January 01 2025 |
| premodel category | 00:23:20, January 01 2025 |
| model structure on cubical sets | 23:53:13, December 31 2024 |
| premodel category | 19:07:14, December 31 2024 |
| cylinder functor | 18:42:37, December 31 2024 |
| pushout-product | 18:37:34, December 31 2024 |
| pushout-product | 17:29:58, December 31 2024 |
| pushout-product | 15:54:04, December 31 2024 |
| Sandbox | 15:20:27, December 31 2024 |
| pushout-product | 15:20:04, December 31 2024 |
| pushout-product | 14:44:04, December 31 2024 |
| Frobenius reciprocity | 22:40:47, December 30 2024 |
| relation between type theory and category theory | 21:31:40, December 30 2024 |
| category of cubes | 15:56:29, December 30 2024 |
| Frobenius reciprocity | 13:57:25, December 30 2024 |
| cubical-type model category | 21:59:12, December 29 2024 |
| model structure on cubical sets | 20:59:18, December 29 2024 |
| Ed Morehouse | 20:43:49, December 29 2024 |
| category of cubes | 20:33:58, December 29 2024 |
| category of cubes | 17:51:07, December 29 2024 |
| category of cubes | 16:34:13, December 29 2024 |
| distributive lattice | 15:29:57, December 29 2024 |
| Eilenberg-Zilber category | 15:27:02, December 29 2024 |
| category of cubes | 15:15:58, December 29 2024 |
| category of cubes | 12:07:43, December 29 2024 |