Proof display

Page layout

Show navigation panel

View the entire manuscript as a PDF 📖 View the entire manuscript as a PDF

← Books & notes

Higher Topos Theory Section 3.1: Truncation

Monomorphisms as minus-one-truncated morphisms

Remark 3.2.

Being $\((-1)\)$ -truncated is the same as being a monomorphism.

Truncation and connectivity

Section 3.1

Truncation

Read this result in the continuous section

Definition 3.1 Truncated morphisms and objects
Remark 3.2 Monomorphisms as minus-one-truncated morphisms
Remark 3.3 Existence of truncation functors
Exercise 3.4 Truncated objects in stable categories
Lemma 3.5 Base-change stability of truncated morphisms

PreviousTruncated morphisms and objects NextExistence of truncation functors

Generated from the authoritative LaTeX source, including numbered results, cross-references, bibliography, diagrams, and nested proof details.