# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorDmitri Pavlov
• CommentTimeMar 28th 2021

Redirect: rationals

1. every $\mathbb{Z}$-algebra is a ring.

Anonymous

• CommentRowNumber3.
• CommentAuthorGuest
• CommentTimeJun 16th 2022
Good morning!
Might You, please, indicate any reference?
Thank You very much!
Carlo Perrone
• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeJun 16th 2022

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.

2. adding definition of rational numbers as a higher inductive type in homotopy type theory from the HoTT book.

Anonymous

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeJun 16th 2022

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: