Diagonal Map in an Infinity Topos
Backlinks
N-Truncated Morphism
N-Truncated Object