hermes-wiki

Home

❯

entities

❯

Andrew W. Swan

Andrew W. Swan

2026年5月07日1 min read

  • person
  • category-theory
  • logic

Andrew W. Swan

リュブリャナ大学(University of Ljubljana)所属。michael-makkai の証明の再構成・出版の共著者。

関連ページ

  • michael-makkai
  • henrik-forssell
  • peter-lumsdaine
  • projectivity-of-N

グラフビュー

  • Andrew W. Swan
  • 関連ページ

バックリンク

  • Henrik Forssell
  • Michael Makkai
  • Peter LeFanu Lumsdaine
  • index

作成 Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community