Madeleine Birchfield has contributed to 41 nLab pages.
| 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 |
| dependent product type | 23:27:20, February 10 2024 |
| wide pullback | 23:24:19, February 10 2024 |
| dependent pullback type | 23:24:02, February 10 2024 |
| dependent pushout type | 23:22:35, February 10 2024 |
| higher inductive type | 22:34:22, February 10 2024 |
| pushout type | 22:32:12, February 10 2024 |
| wide pullback | 22:21:24, February 10 2024 |
| dependent pushout type | 21:33:49, February 10 2024 |
| dependent pushout type | 18:45:06, February 10 2024 |
| dependent sum type | 18:08:22, February 10 2024 |
| wide pullback | 18:03:24, February 10 2024 |
| wide pullback | 17:06:29, February 10 2024 |
| ordered local ring | 21:14:51, February 08 2024 |
| ordered field | 20:55:23, February 08 2024 |
| Kock field | 20:40:42, February 08 2024 |
| dependent product type | 06:58:38, December 30 2023 |
| W-suspension | 23:42:45, December 29 2023 |
| coequalizer type | 22:56:14, December 29 2023 |
| pseudo-order | 00:13:47, December 25 2023 |
| trichotomous relation | 00:12:29, December 25 2023 |
| circle type | 14:52:29, December 06 2023 |
| set-level type theory | 00:30:30, December 06 2023 |
| axiom of set truncation | 00:30:13, December 06 2023 |
| circle type | 00:06:32, December 06 2023 |