Feedback

X
unglue (v. t.) 1. To pay an author or publisher for publishing a Creative Commons ebook.
unglue (v. t.) 2. To make a digital book free to read and use, worldwide.
unglue (v. t.) 3. To make it legal for a digital book to be used, distributed, archived and preserved by libraries.
unglue (v. t.) 4. For an author or publisher, to accept a fixed amount of money from the public for its unlimited use of an ebook.
unglue (v. t.) 5. To make your favorite books free to everyone on earth.
unglue (v. t.) 6. To reward authors and publishers for sharing books with the world.

3 ways we can make ebooks free

MAKE
  
Creators make ebooks in EPUB, MOBI, and PDF.
Ungluers love them for doing it.
Creators apply Creative Commons licenses to ebooks.
Ungluers read them at home, at a library, anywhere.
ASK
Creators ask downloaders to contribute what they choose.
Ungluers say thank you with their support.
MAKE
  
Creators make ebooks in EPUB.
Ungluers love them for doing it.
ASK
Creators set a funding goal and a per-copy price.
Ungluers purchase the ebook to advance the campaign.
When the funding goal is met, Creative Commons licenses are automatically applied.
ASK
Creators set a funding goal and rewards for supporters.
Ungluers pledge to support the campaign.
MAKE
  
When the campaign succeeds, We collect Ungluer pledges.
The ebook is created and rewards are distributed.
Creative Commons licenses are applied.
Ungluers read them at home, at a library, anywhere.
The Univalent Foundations Program, Institute for Advanced Study
2013
Homotopy type theory is a new branch of mathematics that combines aspects of several different fields in a surprising way. It is based on a recently discovered connection between homotopy theory and type theory. It touches on topics as seemingly distant as the homotopy groups of spheres, the algorithms for type checking, and the definition of weak ∞-groupoids. Homotopy type theory offers a new “univalent” foundation of mathematics, in which a central role is played by Voevodsky’s univalence axiom and higher inductive types. The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant. We believe that univalent foundations will eventually become a viable alternative to set theory as the “implicit foundation” for the unformalized mathematics done by most mathematicians.

This is the first (and to date, only) edition of the book. For the benefit of all readers, the available PDF and printed copies are being updated on a rolling basis with minor corrections and clarifications as we receive them. Every copy has a version marker that can be found on the title page and is of the form “first-edition-XX-gYYYYYYY”, where XX is a natural number and YYYYYYY is the git commit hash that uniquely identifies the exact version. Higher values of XX indicate more recent copies. This update was on August 30, 2015 and its version marker is "first-edition-967-g0b0914e". The most recent builds, as well as PDFs with other form factors are available on GitHub. Printed copies may be purchased via the books homepage.
AVAILABLE!
Book cover

Treasures from UCL

Gillian Furlong

AVAILABLE!
Book cover
Gillian Furlong

Glimpses

Lewis Shiner

AVAILABLE!
Book cover
Lewis Shiner

Biodigital

John Sundman

UNGLUE IT!

$6,386 needed

will unglue on

Apr 21, 2016

Book cover
John Sundman
$4.00
book list status
68%

Lagos__2060

Temitayo Olofinlua et al.

UNGLUE IT!

$28,812 needed

will unglue on

Jul 26, 2059

Book cover
Temitayo Olofinlua et al.
$6.00
book list status
3%

Dave on Earth

S. Rob

UNGLUE IT!

$476 needed

will unglue on

Jun 02, 2097

Book cover
S. Rob
$5.00
book list status
4%
UNGLUE IT!

$6,657 needed

will unglue on

Jul 01, 2016

Book cover
$5.00
book list status
33%

Zero Sum Game

SL Huang

SAY THANKS!

$232 of thanks

from 6 ungluers

and 14 others

Book cover
SL Huang

The Digital Public Domain: Foundations for an Open Culture

Melanie Dulong De Rosnay and Juan Carlos De Martin

SAY THANKS!

$30 of thanks

from 14 ungluers

and 0 others

Book cover
Melanie Dulong De Rosnay and Juan Carlos De Martin

23rd Century Romance

Jake Hartnell

SAY THANKS!

$42 of thanks

from 4 ungluers

and 2 others

Book cover
Jake Hartnell
SAY THANKS!

$64 of thanks

from 6 ungluers

and 7 others

Book cover

Flatland

Edwin A. Abbott

UNGLUED!

On: Nov 06, 2018

Raised: 36

Book cover
Edwin A. Abbott
UNGLUED!

On: Oct 12, 2014

Raised: 1,264

Book cover

Complex Predicates

Stefan Müller

UNGLUED!

On: Dec 14, 2013

Raised: 500

Book cover
Stefan Müller

Feeding the City

Sara Roncaglia

UNGLUED!

On: May 31, 2013

Raised: 7,515

Book cover
Sara Roncaglia

Start Ungluing Now!

Questions?

For readers it’s a gold mine of great books they can have a say in bringing to market.