nLab
strict 3-category

Idea

Definition

A strict 33-category, often called simply a 3-category, is a category enriched over Str2Cat\Str2\Cat, the cartesian monoidal category of strict 22-categories. Similarly, a strict 3-groupoid? is a groupoid enriched over strict 2-groupoids.

These are also called globular strict 33-categories and 33-groupoids, to emphasise the underlying geometry.

Remarks

Revised on February 17, 2009 08:04:04 by Toby Bartels (71.104.234.95)