Big Books of 2026

Join the Goodreads Author Program

Are you Univalent Foundations Project, author of the books below?
Homotopy Type Theory by The Univalent Foundations P... Homotopy Type Theory by Univalent Foundations Project


To join the author program as Univalent Foundations Project, you will first need to sign in to Goodreads. Then navigate back to this page to apply.


About the Author Program
Authors on Goodreads
Author Guidelines
Author Program How-To
Author & Advertisers Blog
Ask the Author: Featured Authors
About Goodreads