Mohamed Barakat has contributed to 11 nLab pages.
| Heine-Borel theorem | 13:19:08, March 04 2026 |
| Brouwer's continuity principle | 18:20:19, February 14 2026 |
| computability | 13:03:57, February 13 2026 |
| étendue | 16:47:24, February 11 2026 |
| Löwenheim-Skolem theorem | 14:21:34, December 11 2025 |
| Mohamed Barakat | 09:30:12, June 25 2021 |
| hypercover | 16:17:04, September 04 2014 |
| Čech nerve | 16:14:11, September 04 2014 |
| locale | 10:33:11, August 31 2014 |
| reflective subcategory | 10:33:11, August 31 2014 |
| idempotent adjunction | 10:33:11, August 31 2014 |