Homotopy Type Theory HomePage (Rev #32, changes)

Showing changes from revision #31 to #32: Added | Removed | Changed

Welcome to the Homotopy Type Theory wiki! This wiki-site is for collaborative work on Homotopy Type Theory. If you are new to these subjects, you may want to check out:

• The Homotopy Type Theory web site
• The Homotopy Type Theory book

Some important pages on this wiki are:

• About

  About this wiki

  this wiki
• Open problems

  Open problems

• Synthetic homotopy theory

  Synthetic homotopy theory

• A list of

  A list of Formalized Homotopy Theory

  Formalized Homotopy Theory
• Category theory in HoTT

  Category theory in HoTT

• a list of

  type theory

  Libraries andProof Assistants
• the

  a list of Libraries and Proof Assistants

  Resources page
• the

  the Resources page

  References page

• the References page

Other important links:

• A calendar of HoTT/UF events maintained at the UniMath github wiki
• Events collects programs, slides, and other resources of homotopy type theory workshops, meetings, and other events.

Archived version of the now defunct UF-IAS wiki:

• The IAS UF program wiki

Some mailing lists:

• Homotopy Type Theory Google Group For current research.
• HoTT Cafe Google Group “A place where non-experts can discuss homotopy type theory and related topics. Experts are welcome to join in of course!”

If you have any ideas for articles that you would like to see, let us know!

• desired articles

For now, this wiki works in parallel to the n-Lab. Links to the nlab HomePage can be made using the prefix nlab: . For example, the pages that explain how to edit this wiki are the ones for the n-Lab’s HowTo.