Evan Cavallo has contributed to 30 nLab pages.
| 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 |
| category of cubes | 02:20:36, December 29 2024 |
| category of cubes | 21:52:31, December 28 2024 |
| category of cubes | 16:20:30, December 28 2024 |