nLab Author — Valeria de Paiva

Overview

Valeria de Paiva has contributed to 44 nLab pages.

Most recent contributions

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

All pages contributed to