List view

Terminology for Sigma and truncated-Sigma

Fix in 2nd edition

Status: Open.

#780 In HoTT/book;

· mikeshulman opened on Mar 7, 2015

Replace 'mere proposition' with 'truth value'

Fix in 2nd edition

Status: Open.

#779 In HoTT/book;

· mikeshulman opened on Mar 7, 2015

Think about the beginning of chapter 2

feature request

Fix in 2nd edition

Status: Open.

#740 In HoTT/book;

· mikeshulman opened on Nov 5, 2014

Explain more category theory

feature request

Fix in 2nd edition

Status: Open.

#733 In HoTT/book;

· mikeshulman opened on Oct 21, 2014

enable pdftex extensions with \usepackage{microtype}

Fix in 2nd edition

Status: Open (in progress).

HoTT/booknumber 584

#584 In HoTT/book;

· Shark64 opened on Dec 13, 2013

Improve presentation of funext and univalence metatheory

Fix in 2nd edition

Status: Open.

#563 In HoTT/book;

· mikeshulman opened on Dec 1, 2013

Equivalence as a congruence

Fix in 2nd edition

Status: Open.

#560 In HoTT/book;

· mikeshulman opened on Dec 1, 2013

Improve exercises

Fix in 2nd edition

Status: Open.

#532 In HoTT/book;

· mikeshulman opened on Nov 21, 2013

Summary of unfamiliar terminology

feature request

Fix in 2nd edition

Status: Open.

#437 In HoTT/book;

· mikeshulman opened on Jul 31, 2013