HoTT/book issues and pull requests

#100 - Notes and exercices in the metadata of the pdf

Issue - State: closed - Opened by guillaumebrunerie over 11 years ago - 12 comments

#99 - Appendices?

Issue - State: closed - Opened by guillaumebrunerie over 11 years ago - 8 comments

#98 - Preface

Issue - State: closed - Opened by awodey over 11 years ago - 18 comments

#97 - Remove front/back covers from PDF

Issue - State: closed - Opened by cangiuli over 11 years ago - 6 comments

#96 - Strict inequalities of Cauchy reals

Issue - State: closed - Opened by guillaumebrunerie over 11 years ago - 17 comments

#95 - Add all references

Issue - State: closed - Opened by cangiuli over 11 years ago - 13 comments

#94 - Make an index

Issue - State: closed - Opened by cangiuli over 11 years ago - 97 comments

#93 - Copyright to IAS?

Issue - State: closed - Opened by andrejbauer over 11 years ago - 19 comments

#92 - Cover page

Issue - State: closed - Opened by andrejbauer over 11 years ago - 5 comments

#91 - function extensionality

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#90 - Strictly positive definitions

Issue - State: closed - Opened by kristinas over 11 years ago - 2 comments

#89 - PAT

Issue - State: closed - Opened by RobertHarper over 11 years ago - 6 comments

#88 - formulation of identity types

Issue - State: closed - Opened by RobertHarper over 11 years ago - 19 comments

#87 - book structuring

Issue - State: closed - Opened by RobertHarper over 11 years ago - 12 comments

#86 - footnote on p. 2

Issue - State: closed - Opened by awodey over 11 years ago - 35 comments

#85 - Improve explanation around unique existence

Issue - State: closed - Opened by andrejbauer over 11 years ago - 13 comments

#84 - \textbf or \emph for defined terms?

Issue - State: closed - Opened by andrejbauer over 11 years ago - 13 comments

#83 - Patching lemma

Issue - State: closed - Opened by andrejbauer over 11 years ago - 9 comments

#82 - appendix citations

Issue - State: closed - Opened by DanGrayson over 11 years ago - 3 comments

#81 - sections in chapter 1

Issue - State: closed - Opened by mikeshulman over 11 years ago - 8 comments

#80 - Green color

Issue - State: closed - Opened by andrejbauer over 11 years ago - 16 comments

#79 - formalization in preface

Issue - State: closed - Opened by awodey over 11 years ago - 20 comments

#78 - a little bit of excluded middle known

Issue - State: closed - Opened by DanGrayson over 11 years ago - 3 comments

#77 - The Hopf fibration

Issue - State: closed - Opened by andrejbauer over 11 years ago - 5 comments

#76 - (intro) a solved problem?

Issue - State: closed - Opened by noamz over 11 years ago - 32 comments

#75 - Freudenthal

Issue - State: closed - Opened by DanGrayson over 11 years ago - 2 comments

#74 - A.1 should include HoTT features

Issue - State: closed - Opened by cangiuli over 11 years ago - 20 comments

#73 - missing .sty files

Issue - State: closed - Opened by marcbezem over 11 years ago - 5 comments

#72 - what is LEM?

Issue - State: closed - Opened by awodey over 11 years ago - 2 comments

#71 - suspension of a prop and AC => LEM

Issue - State: closed - Opened by awodey over 11 years ago - 25 comments

#70 - Chapter 1 doesn't use \id macro

Issue - State: closed - Opened by cangiuli over 11 years ago - 2 comments

#69 - unwanted equality proofs described as main problem

Issue - State: closed - Opened by nicolaikraus over 11 years ago - 43 comments

#68 - Variable declarations in text

Issue - State: closed - Opened by mikeshulman over 11 years ago - 5 comments

#67 - Ex 4.5

Issue - State: closed - Opened by txa over 11 years ago - 8 comments

#66 - Ex 4.4

Issue - State: closed - Opened by txa over 11 years ago - 19 comments

#65 - rec in chapter 4

Issue - State: closed - Opened by txa over 11 years ago - 2 comments

#64 - 0,1 or 1,0

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#63 - new proofs in Ch. 4

Issue - State: closed - Opened by awodey over 11 years ago - 3 comments

#62 - cleveref.sty

Issue - State: closed - Opened by marcbezem over 11 years ago - 1 comment

#61 - Subsections in the table of contents

Issue - State: closed - Opened by guillaumebrunerie over 11 years ago - 3 comments

#60 - lics undefined string name

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#59 - notational problems in 5.2

Issue - State: closed - Opened by awodey over 11 years ago - 6 comments

#58 - Polynomial functor in Ch. 4

Issue - State: closed - Opened by awodey over 11 years ago - 6 comments

#57 - typical ambiguity

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#56 - Appendix A: UA => FE

Issue - State: closed - Opened by awodey over 11 years ago - 3 comments

#55 - Table of contents wrong pointer to Bibliography

Issue - State: closed - Opened by andrejbauer over 11 years ago - 1 comment

#54 - in Ch. 9, Sets: proof that epis are surjective

Issue - State: closed - Opened by awodey over 11 years ago - 5 comments

#53 - What is oldformal.tex for?

Issue - State: closed - Opened by favonia over 11 years ago - 1 comment

#52 - Chapter 6 refs to 5 shold be fixed

Issue - State: closed - Opened by txa over 11 years ago

#51 - 3.1.2

Issue - State: closed - Opened by RobertHarper over 11 years ago - 1 comment

#50 - 3.1.1

Issue - State: closed - Opened by RobertHarper over 11 years ago - 2 comments

#49 - basics, equivalences

Issue - State: closed - Opened by RobertHarper over 11 years ago

#48 - and/or vs smash/wedge

Issue - State: closed - Opened by mikeshulman over 11 years ago - 4 comments

#47 - Section 4.3

Issue - State: closed - Opened by mikeshulman over 11 years ago - 1 comment

#46 - Inequalities of natural numbers

Issue - State: closed - Opened by guillaumebrunerie over 11 years ago - 2 comments

#45 - preliminaries

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#44 - \lam

Issue - State: closed - Opened by DanGrayson over 11 years ago - 9 comments

#43 - naive van Kampen

Issue - State: closed - Opened by DanGrayson over 11 years ago - 7 comments

#42 - indexing in definition of "code"

Issue - State: closed - Opened by DanGrayson over 11 years ago - 2 comments

#41 - universe not truncated

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#40 - convert to tex

Issue - State: closed - Opened by DanGrayson over 11 years ago - 3 comments

#39 - question mark

Issue - State: closed - Opened by DanGrayson over 11 years ago - 2 comments

#38 - squashing

Issue - State: closed - Opened by DanGrayson over 11 years ago - 3 comments

#37 - The chapter on sets needs a lot of work

Issue - State: closed - Opened by andrejbauer over 11 years ago - 4 comments

#36 - Omega_1

Issue - State: closed - Opened by DanGrayson over 11 years ago - 3 comments

#35 - Quotient types => funext

Issue - State: closed - Opened by txa over 11 years ago

#34 - General scheme for inductive types

Issue - State: closed - Opened by txa over 11 years ago - 7 comments

#33 - How to write function abstractions

Issue - State: closed - Opened by andrejbauer over 11 years ago - 35 comments

#32 - Universes

Issue - State: closed - Opened by awodey over 11 years ago - 5 comments

#31 - eta for Nat

Issue - State: closed - Opened by nicolaikraus over 11 years ago - 2 comments

#30 - "1 + A many labels/constructors" (W-types)

Issue - State: closed - Opened by nicolaikraus over 11 years ago

#29 - \autoref{label1,label2} when Sections

Issue - State: closed - Opened by andrejbauer over 11 years ago - 4 comments

#28 - Whitehead's principle

Issue - State: closed - Opened by DanGrayson over 11 years ago - 15 comments

#27 - Eckmann-Hilton

Issue - State: closed - Opened by mikeshulman over 11 years ago - 22 comments

#26 - van Kampen

Issue - State: closed - Opened by DanGrayson over 11 years ago - 3 comments

#25 - van Kampen statement

Issue - State: closed - Opened by DanGrayson over 11 years ago - 10 comments

#24 - fundamental group of suspension

Issue - State: closed - Opened by DanGrayson over 11 years ago - 8 comments

#23 - definition of integers

Issue - State: closed - Opened by DanGrayson over 11 years ago - 2 comments

#22 - Blakers-Massey

Issue - State: closed - Opened by DanGrayson over 11 years ago - 7 comments

#21 - trivial abelian groups

Issue - State: closed - Opened by DanGrayson over 11 years ago - 2 comments

#20 - homotopy group

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#19 - Define negation and disequality

Issue - State: closed - Opened by mikeshulman over 11 years ago - 6 comments

#18 - Discuss how identity types are characterized by their induction principle

Issue - State: closed - Opened by mikeshulman over 11 years ago

#17 - Discuss what makes an inductive definition valid

Issue - State: closed - Opened by mikeshulman over 11 years ago

#16 - Discuss dependent pattern matching

Issue - State: closed - Opened by mikeshulman over 11 years ago - 2 comments

#15 - "this problem"

Issue - State: closed - Opened by DanGrayson over 11 years ago - 1 comment

#14 - How to show that something holds for all Cauchy approximations?

Issue - State: closed - Opened by andrejbauer over 11 years ago - 9 comments

#13 - Section 6.3 and truncations.

Issue - State: closed - Opened by andrejbauer over 11 years ago - 1 comment

#12 - pdfTeX warnings

Issue - State: closed - Opened by andrejbauer over 11 years ago - 2 comments

#11 - Use of "parameter space" could be confusing

Issue - State: closed - Opened by nzl-nott over 11 years ago - 3 comments

#10 - Table of equations

Issue - State: closed - Opened by mikeshulman over 11 years ago - 4 comments

#9 - Behavior of ap(f) on concatenations and inverses

Issue - State: closed - Opened by kristinas over 11 years ago - 3 comments

#8 - Impredicativity of hProp

Issue - State: closed - Opened by mikeshulman over 11 years ago - 3 comments

#7 - Naming of LEM and AC

Issue - State: closed - Opened by mikeshulman over 11 years ago - 2 comments

#6 - Pi and Sigma in PDF table of contents

Issue - State: closed - Opened by andrejbauer over 11 years ago - 6 comments

#5 - Set or h-set

Issue - State: closed - Opened by andrejbauer over 11 years ago - 5 comments

#4 - Index

Issue - State: closed - Opened by andrejbauer over 11 years ago - 3 comments

#3 - Universal Properties Section 2.6

Issue - State: closed - Opened by kristinas over 11 years ago - 13 comments

#2 - Reference updater.

Pull Request - State: closed - Opened by favonia over 11 years ago

#1 - What does "provably equal" mean?

Issue - State: closed - Opened by andrejbauer over 11 years ago - 11 comments

GitHub / HoTT/book issues and pull requests