nLab cubical object

Redirected from "cocubical object".

Contents

Idea

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

F : \Box^{op} \to C

from the opposite category of the cube category $\Box$ into $C$ .

If $C = Set$ then this is called a cubical set.

Functors

F : \Box \to C

from the cube category itself are co-cubical objects in $C$ .

Last revised on April 16, 2015 at 05:25:33. See the history of this page for a list of all contributions to it.