Author: Urs Format: MarkdownItexIn the section "In terms of truncations" I have added a few more cross links (both between the definitions in that section as well as to the respective items in HTT).
<a href="https://ncatlab.org/nlab/revision/diff/n-truncated+object+of+an+%28infinity%2C1%29-category/55">diff</a>, <a href="https://ncatlab.org/nlab/revision/n-truncated+object+of+an+%28infinity%2C1%29-category/55">v55</a>, <a href="https://ncatlab.org/nlab/show/n-truncated+object+of+an+%28infinity%2C1%29-category">current</a>
In the section “In terms of truncations” I have added a few more cross links (both between the definitions in that section as well as to the respective items in HTT).
Author: Hurkyl Format: MarkdownItexThe theorem that presentable functors commute with truncation (HTT 5.5.6.28) omitted the hypothesis that the functor is left exact.
<a href="https://ncatlab.org/nlab/revision/diff/n-truncated+object+of+an+%28infinity%2C1%29-category/59">diff</a>, <a href="https://ncatlab.org/nlab/revision/n-truncated+object+of+an+%28infinity%2C1%29-category/59">v59</a>, <a href="https://ncatlab.org/nlab/show/n-truncated+object+of+an+%28infinity%2C1%29-category">current</a>
The theorem that presentable functors commute with truncation (HTT 5.5.6.28) omitted the hypothesis that the functor is left exact.
Author: Hurkyl Format: MarkdownItexIncluded the description of n-truncated objects in the category of presheaves being the presheaves taking values in n-truncated spaces.
<a href="https://ncatlab.org/nlab/revision/diff/n-truncated+object+of+an+%28infinity%2C1%29-category/61">diff</a>, <a href="https://ncatlab.org/nlab/revision/n-truncated+object+of+an+%28infinity%2C1%29-category/61">v61</a>, <a href="https://ncatlab.org/nlab/show/n-truncated+object+of+an+%28infinity%2C1%29-category">current</a>
Included the description of n-truncated objects in the category of presheaves being the presheaves taking values in n-truncated spaces.