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 7.6: Gestalten

Gestalten

Definition 7.47.

The category of Gestalten is defined as

\Gest := \StRing\catop.

Section 7.6

Gestalten

Read this result in the continuous section

Construction 7.45 Higher presentable categories
Definition 7.46 Stefanich ring
Definition 7.47 Gestalten
Theorem 7.48 Gestalten form a topos
Construction 7.49 The n-affine embedding

PreviousStefanich ring NextGestalten form a topos

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