nLab
3-morphism
Redirected from "3-morphisms".
Contents
Context
Higher category theory
higher category theory
Basic concepts
Basic theorems
Applications
Models
Morphisms
Functors
Universal constructions
Extra properties and structure
1-categorical presentations
Contents
Definition
A 3-morphism in an n-category is a morphism between 2-morphisms.
Examples
For an abelian group, the 3-fold delooping is a 3-groupoid whose 3-morphisms are given by .
Last revised on September 11, 2010 at 10:33:26.
See the history of this page for a list of all contributions to it.