Hugo Herbelin has contributed to 23 nLab pages.
| Kripke-Joyal semantics | 15:41:13, April 15 2026 |
| categorical semantics of dependent type theory | 19:44:04, February 01 2026 |
| Grothendieck fibration | 20:35:26, December 29 2025 |
| assembly | 21:26:11, October 16 2025 |
| restriction and extension of sheaves | 17:30:22, June 21 2025 |
| small object | 21:07:58, June 20 2025 |
| Gabriel–Ulmer duality | 09:31:56, October 03 2024 |
| W-type | 10:06:05, August 25 2024 |
| differential linear logic | 12:53:39, July 13 2024 |
| fibered heterogeneous identity type | 20:19:13, April 22 2024 |
| equality | 19:16:48, April 22 2024 |
| Rezk completion | 17:24:18, April 17 2024 |
| (n-connected, n-truncated) factorization system | 17:10:33, April 17 2024 |
| Galois connection | 16:49:39, April 17 2024 |
| weak factorization system | 16:39:13, April 17 2024 |
| Reedy model structure | 10:08:09, December 25 2023 |
| adjunction | 18:34:14, May 30 2023 |
| higher-order logic | 19:53:30, May 28 2023 |
| semi-simplicial type | 13:12:39, May 28 2023 |
| semi-simplicial type | 12:32:13, May 28 2023 |
| semi-simplicial type | 19:19:59, May 07 2023 |
| semi-simplicial type | 17:13:51, May 07 2023 |
| semi-simplicial type | 16:13:05, May 07 2023 |
| diagram | 14:10:17, May 07 2023 |
| semi-simplicial type | 13:18:57, May 07 2023 |
| semi-simplicial set | 20:58:33, April 02 2023 |
| Segal condition | 22:22:55, November 28 2022 |
| Reedy model structure | 21:35:53, November 28 2022 |
| Rocq | 09:55:55, November 12 2022 |