nLab Author — Madeleine Birchfield

Overview

Madeleine Birchfield has contributed to 59 nLab pages.

Most recent contributions

All pages contributed to

• Antonio Gallerati
• axiom of set truncation
• bi-pointed object
• bi-pointed type
• Booij premetric space
• boolean domain
• boolean domain object
• Cheng space
• circle type
• cluster space
• coequalizer type
• Conor McBride
• convergence space
• dagger category
• dependent product type
• dependent pullback type
• dependent pushout type
• dependent sum type
• disjunction
• double negation
• effective epimorphism in homotopy type theory
• empty type
• existential quantifier
• extended natural number
• extended natural numbers object > history
• filter space
• generalized filter space
• generalized sequential space
• graph quotient
• Hausdorff space
• Henry Cheng
• higher inductive type
• HomePage
• identity type
• internal pseudo-equivalence relation
• judgmental equality
• Kock field
• measurable space
• natural numbers object
• ordered field
• ordered local ring
• pointwise continuous function
• preconvergence space
• pseudo-equivalence relation
• pseudo-order
• pushout type
• semi-simplicial types in homotopy type theory
• semisimple category
• set-level type theory
• setoid
• setoid object
• strict initial object
• subsequential space
• subtype
• surjection
• trichotomous relation
• type of propositions
• W-suspension
• wide pullback