sheaf has contributed to 7 nLab pages.
| sheaf | 05:25:10, January 10 2025 |
| sequent | 02:43:30, January 10 2025 |
| metalanguage | 02:33:30, December 30 2024 |
| Birkhoff's HSP theorem | 07:40:46, December 29 2024 |
| proof theory | 23:09:32, December 24 2024 |
| closed subspace | 18:57:10, November 11 2024 |
| type theory | 20:52:04, June 01 2024 |