Erik Palmgren (1963–2019) was a Swedish category theorist.
obituary by Peter LeFanu Lumsdaine (broken) archived.
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:
Erik Palmgren, Bishop’s set theory (2005) [pdf, pdf]
Erik Palmgren, Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets, Annals of Pure and Applied Logic 163 10 (2012) 1384-1399 (2009) [doi:10.1016/j.apal.2012.01.011, arXiv:1201.6272]
Erik Palmgren, Bishop-style constructive mathematics in type theory – a tutorial (2013) [pdf, pdf]
On setoids:
On FOLDS:
Last revised on November 6, 2023 at 10:01:33. See the history of this page for a list of all contributions to it.