nLab bisimplicial object

Contents

Definition

A bisimplicial object in a category $C$ is a functor

F : \Delta^{op} \times \Delta^{op} \to C

where $\Delta$ is the simplex category.

This is the same as a simplicial object in the category of simplicial objects in $C$ .

Last revised on April 9, 2025 at 15:42:29. See the history of this page for a list of all contributions to it.