nLab
zigzag
Zigzags
Context
Category theory
Homotopy theory
homotopy theory , (∞,1)-category theory , homotopy type theory

flavors: stable , equivariant , rational , p-adic , proper , geometric , cohesive , directed …

models: topological , simplicial , localic , …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Zigzags
Zigzags of morphisms
In a category $C$ a zigzag of morphisms is a finite collection of morphism s $(f_i)$ in $C$ of the form

$\array{
&& x_1 &&&& x_3 & \cdots
\\
& {}^{\mathllap{f_1}}\swarrow && \searrow^{\mathrlap{f_2}}
&& {}^{\mathllap{f_3}}\swarrow
&& \searrow^{\mathrlap{f_4}} & \cdots
\\
x_0 &&&& x_2 &&&& x_4 & \cdots
}
\,.$

A zigzag consisting just out of two morphisms is a roof or span .

General such zig-zags of morphisms represent ordinary morphisms in the groupoidification of $C$ – the Kan fibrant replacement of its nerve , its simplicial localization or its 1-categorical localization at all its morphisms.

More generally, if in these zig-zags the left-pointing morphisms are restricted to be in a class $S \subset Mor(C)$ , then these zig-zags represent morphisms in the simplicial localizaton or localization of $C$ at $S$ .

Last revised on May 20, 2022 at 06:02:42.
See the history of this page for a list of all contributions to it.