nLab Erik Palmgren

Erik Palmgren (1963–2019) was a Swedish category theorist.

Selected writings

On type universes:

On the categorical semantics of well-founded inductive types ( 𝒲 \mathcal{W} -types) as given by initial algebras over polynomial endofunctors on the type system:

On the local cartesian closure of the 2-category of groupoids (and the failure of this property for the 1-category version):

On set theory in constructive mathematics via Bishop sets and constructive ETCS:

On setoids:

On FOLDS:

category: people

Last revised on November 6, 2023 at 10:01:33. See the history of this page for a list of all contributions to it.