nLab cubical object

Redirected from "cocubical object".
Contents

Contents

Idea

A cubical object in a category CC is a functor

F: opC F : \Box^{op} \to C

from the opposite category of the cube category \Box into CC.

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

Functors

F:C F : \Box \to C

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

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