Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
2-morphism
A 2-morphism in an n-category is a k-morphism for $k = 2$: it is a higher morphism between ordinary 1-morphisms.
So in the hierarchy of $n$-categories, the first step where 2-morphisms appear is in a 2-category. This includes cases such as bicategory, 2-groupoid or double category.
There are different geometric shapes for higher structures: globes, simplices, cubes, etc. Accordingly, 2-morphisms may appear in different guises:
A globular $2$-morphism looks like this:
A simplicial $2$-morphism looks like this:
A cubical $2$-morphism looks like this:
Of course, using identity morphisms and composition, we can turn one into the other; which is more fundamental depends on which shapes you prefer.
Eric: Are there any consistency requirements for a 2-morphism? For example, in the bigon above, if $f:a\to b$, $g:a\to b$, and $\alpha:f\to g$, are there requirements on $\alpha:f\to g$ regarding $f$ and $g$? For example, should $\alpha$ come with component 1-morphisms $\alpha_a:a\to a$ and $\alpha_b:b\to b$ such that
or maybe
? Could there be a 2-morphism without the corresponding 1-morphism components?
Urs Schreiber: in any given 2-category you have to specify which 2-morphisms exactly there are supposed to be, what $\alpha$ exactly you allow between $f$ and $g$. When you ask about components, it seems you are thinking of 2-morphisms specifically in the 2-category Cat. Here, yes, the allowed 2-morphisms are those that are natural transformations between their source and target 1-morphisms, which are functors.
Eric: I think the exchange law might be what I had in mind.
Jon Slaughter: Yes, clearly any higher order structure superimposed cannot corrupt the lower structure. Given any $g = \alpha \circ f$ must be a structurally valid/preserving map between $f$ and $g$. As Urs mentions, for Cat the 2-morphisms are natural transforms and must preserve the structure of the functors below them. In general what must be preserved depends on the sub-structure. Since composable morphisms must be reducible, this requires 2-morphisms to preserve the composability rule. For 2-morphisms this does work out to be the exchange laws. For higher order morphisms one can expect compositions of higher order composiblity rules. E.g., if natural transformations must preserve functorality in Cat then 3-morphisms will have to preserve naturality(but in terms of the functor category these 3-morphisms reduce to 2-morphisms and their structural preserving rules reduce to the exchange laws). It generally is not valid to talk about components with n-morphisms since one does not know the object structure. In Cat, with functors, we know by definition they have components(the image of an arrow under the functor) and the natural transformation that must preserve the composibility of components. The exchange laws are more general in that they are not expressed in terms of components.
In the 2-category Cat, 2-morphisms are natural transformations between functors.
In a path 2-groupoid 2-morphisms are certain surfaces or images of surfaces in a space, going between paths in that space.
Last revised on September 7, 2022 at 04:45:51. See the history of this page for a list of all contributions to it.