nLab strict 3-category

Redirected from "C-infinity rings".

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

Last revised on February 17, 2009 at 08:04:04. See the history of this page for a list of all contributions to it.