Valeria de Paiva has contributed to 44 nLab pages.
| distribution of subspaces | 20:23:55, May 04 2023 |
| necessity and possibility | 01:34:52, April 08 2023 |
| list of theses in category theory | 00:58:23, April 08 2023 |
| Valeria de Paiva | 00:10:49, April 08 2023 |
| !-modality | 23:52:39, April 07 2023 |
| !-modality | 21:02:32, April 07 2023 |
| !-modality | 20:27:34, April 07 2023 |
| Valeria de Paiva | 20:04:16, April 07 2023 |
| explicit substitution | 20:02:45, April 07 2023 |
| explicit substitution | 03:18:33, April 07 2023 |
| Valeria de Paiva | 03:12:18, April 07 2023 |
| Dialectica interpretation | 02:57:44, April 07 2023 |
| mapping cylinder | 02:42:16, April 07 2023 |
| Jason Pollack | 22:51:22, March 10 2023 |
| Fatimah Rita Ahmadi | 22:50:41, March 10 2023 |
| cocommutative coalgebra | 19:35:49, February 15 2023 |
| coalgebra over a comonad | 19:32:23, February 15 2023 |
| coalgebra over a comonad | 17:33:22, February 15 2023 |
| Peripatetic Seminar on Sheaves and Logic | 23:48:17, October 18 2022 |
| Peripatetic Seminar on Sheaves and Logic | 18:31:44, October 14 2022 |
| Peripatetic Seminar on Sheaves and Logic | 16:44:48, October 13 2022 |
| Dana Scott | 16:17:49, October 13 2022 |
| relevance monoidal category | 18:51:03, August 31 2021 |
| explicit substitution | 23:03:20, August 28 2021 |
| Dorette Pronk | 21:19:55, August 28 2021 |
| FGA explained | 00:22:34, August 28 2021 |
| Jimmie Lawson | 00:20:49, August 28 2021 |
| explicit substitution | 00:17:58, August 28 2021 |
| linearly distributive category | 19:37:12, July 30 2021 |
| sources in computational topology | 22:57:52, April 29 2021 |