nLab Erik Palmgren

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

• home page (broken) archived.

• obituary by Peter LeFanu Lumsdaine (broken) archived.

Selected writings

On type universes:

• Erik Palmgren, On Universes in Type Theory, in Twenty-Five Years of Constructive Type Theory, Oxford University Press (1998) 191–204 [pdf, doi:10.1093/oso/9780198501275.003.0012]

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

• Ieke Moerdijk, Erik Palmgren, Wellfounded trees in categories, Annals of Pure and Applied Logic 104 1-3 (2000) 189-218 [doi:10.1016/S0168-0072(00)00012-9]

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

• Erik Palmgren, Groupoids and local cartesian closure (2003) [pdf]

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:

• Erik Palmgren, Olov Wilander, Constructing categories and setoids of setoids in type theory, Logical Methods in Computer Science, 10 3 (2014) lmcs:964 [arXiv:1408.1364, doi:10.2168/LMCS-10(3:25)2014]

On FOLDS:

• Erik Palmgren, Categories with families, FOLDS and logic enriched type theory (2016) [arXiv:1605.01586, diva2:926427]

Related entries

• localic homotopy theory

• Bishop set

category: people