Valeria de Paiva has contributed to 68 nLab pages.
| Category Theory conference | 00:31:03, November 09 2024 |
| Hongde Hu | 16:22:19, September 09 2024 |
| Abraham Fraenkel | 21:08:19, June 29 2024 |
| Adeel Khan | 09:34:22, June 24 2024 |
| explicit substitution | 05:59:07, May 23 2024 |
| Alberto Cattaneo | 23:50:29, October 19 2023 |
| Anatoly Malcev | 14:10:30, August 31 2023 |
| Alan Hatcher > history 2 | 13:43:46, August 31 2023 |
| Alfréd Rényi | 13:41:19, August 31 2023 |
| Alfred Ewing | 13:40:21, August 31 2023 |
| Alexander Varchenko | 13:38:03, August 31 2023 |
| Alexander Schmidt | 13:36:43, August 31 2023 |
| Alexander Postnikov | 13:35:29, August 31 2023 |
| Alexander Kuznetsov | 13:27:45, August 31 2023 |
| Alexander Beilinson | 22:46:40, August 30 2023 |
| Abraham Robinson | 22:07:19, August 30 2023 |
| category of monic maps | 18:08:45, July 06 2023 |
| 2-poset of partial maps | 18:07:40, July 06 2023 |
| Donald Knuth | 20:37:52, June 30 2023 |
| Gordon Plotkin | 20:36:32, June 30 2023 |
| Andrés Villaveces | 20:21:58, June 30 2023 |
| Grundzüge der Mengenlehre | 20:16:55, June 30 2023 |
| Gareth Jones | 00:33:05, June 14 2023 |
| Sina Hazratpour | 00:25:32, June 14 2023 |
| Marta Bunge | 13:56:41, June 09 2023 |
| 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 |