Evan Cavallo has contributed to 38 nLab pages.
| Evan Cavallo | 09:02:23, June 04 2025 |
| higher inductive type | 09:27:35, May 26 2025 |
| Evan Cavallo | 08:57:28, May 26 2025 |
| Scott adjunction | 09:23:25, May 16 2025 |
| type of booleans | 17:49:15, May 15 2025 |
| strongly predicative dependent type theory | 08:07:35, May 15 2025 |
| bridge type | 19:54:29, May 13 2025 |
| premodel category | 10:13:55, April 06 2025 |
| 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 |