Contents

# Contents

## Definition

The empty simplicial set is the simplicial set $\varnothing_\bullet$ all whose component sets are empty sets:

$\underset{n \in \mathbb{N}}{\forall} \;\; \varnothing_n \;=\; \varnothing.$

The face- and degeneracy maps are, accordingly, each the unique empty function from the empty set to itself.

## Properties

Last revised on April 16, 2021 at 06:50:05. See the history of this page for a list of all contributions to it.