Peter LeFanu Lumsdaine ストックホルム大学（Stockholm University）所属。ホモトピー型理論・圏論的論理学で知られる。michael-makkai の証明の再構成・出版の共著者。 関連ページ michael-makkai henrik-forssell andrew-swan projectivity-of-N