N-Truncated Object
An object in an Infinity Topos is n-truncated if the Diagonal Map is invertible. Morally, this is the same thing as saying that has H-Level
An object in an Infinity Topos is n-truncated if the Diagonal Map is invertible. Morally, this is the same thing as saying that has H-Level