Madeleine Birchfield has contributed to 58 nLab pages.
| effective epimorphism in homotopy type theory | 19:59:21, December 09 2024 |
| semi-simplicial types in homotopy type theory | 19:46:38, December 09 2024 |
| surjection | 05:18:13, December 09 2024 |
| graph quotient | 05:13:20, December 09 2024 |
| coequalizer type | 04:59:08, December 09 2024 |
| W-suspension | 04:56:13, December 09 2024 |
| generalized filter space | 20:12:24, November 18 2024 |
| generalized filter space | 16:04:45, November 18 2024 |
| generalized filter space | 15:24:36, November 18 2024 |
| generalized filter space | 14:30:36, November 18 2024 |
| generalized sequential space | 13:52:24, November 18 2024 |
| Booij premetric space | 13:51:49, November 18 2024 |
| pointwise continuous function | 13:45:49, November 18 2024 |
| Hausdorff space | 13:45:02, November 18 2024 |
| subsequential space | 13:40:38, November 18 2024 |
| convergence space | 13:40:14, November 18 2024 |
| preconvergence space | 13:37:48, November 18 2024 |
| cluster space | 13:37:02, November 18 2024 |
| filter space | 13:19:43, November 18 2024 |
| generalized filter space | 12:55:29, November 18 2024 |
| preconvergence space | 21:16:57, November 17 2024 |
| measurable space | 14:43:14, August 25 2024 |
| Henry Cheng | 14:36:48, August 25 2024 |
| Cheng space | 14:33:53, August 25 2024 |
| Antonio Gallerati | 17:36:12, February 28 2024 |
| strict initial object | 15:27:58, February 22 2024 |
| strict initial object | 04:36:47, February 22 2024 |
| dependent pushout type | 18:30:15, February 13 2024 |
| subtype | 18:22:17, February 11 2024 |
| dependent pullback type | 18:03:09, February 11 2024 |