Differences between revisions 4 and 5
Revision 4 as of 2011-08-04 12:12:03
Size: 1980
Editor: skilpat
Comment:
Revision 5 as of 2011-08-04 12:22:12
Size: 2051
Editor: skilpat
Comment:
Deletions are marked like this. Additions are marked like this.
Line 26: Line 26:
   * References at HTT: [[http://homotopytypetheory.org/references/]]

Higher-Dimensional Type Theory Seminar

WHAT? This lecture series conducted by Bob Harper will cover various topics in higher-dimensional type theory, including higher category theory and homotopy theory. It is not for the faint of heart.

WHO? This is some hardcore PL stuff. You should know dependent type theory and at least some category theory.

WHEN? Wednesdays and Fridays?

WHERE? MPI-SWS Kaiserslautern/Wartburg

HOW? Mailing list for this series (and other type theory discussion): type-theory@mpi-sws.org

Organizers: Bob Harper and Scott Kilpatrick

Schedule

1

2011-08-03, 2PM

Intro to HDTT and homotopy.

2

2011-08-05, 1PM

?

Resources

Blogs and Websites

Papers

Topics

Meeting #1

  • Intro to higher-dimensional type theory.
  • Intro to homotopy theory.
  • Intro to (higher) category theory.
  • Basic interpretation of type theory in category theory.
  • Different notions of equivalence (definitional and propositional).

  • What's going on in the field right now.

hdtt (last edited 2011-08-24 15:58:47 by skilpat)