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 |