Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Are you asking for a reference on rational numbers?
In any case, the entry should indeed give some textbook references. For the moment I have added pointer to the Wikipedia article, which lists references.
just to highlight that we can’t just drop the HoTT book without commentary into generic entries – this gives a weird impression to the general reader of the nLab.
There needs to be at least a line like: “Discussion in homotopy type theory…” and then there should also a pointer to page and verse in the book. Like this:
Discussion in homotopy type theory:
added pointer to:
1 to 7 of 7