two-out-of-three in nLab
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
Contents
Definition
For CC a category, a class K⊂Mor(C)K \subset Mor(C) of morphisms in CC is said to satisfy 2-out-of-3 if for all composable f,g∈Mor(C)f,g \in Mor(C) we have that if two of the three morphisms ff, gg and the composite g∘fg \circ f is in KK, then so is the third.
f↗↘ g →g∘f. \array{ \\ {}^{\mathllap{f}}\nearrow \searrow^{\mathrlap{g}} \\ \stackrel{g \circ f}{\to} } \,.
So in particular this means that KK is closed under composition of morphisms.
This definition has immediate generalization also to higher category theory. For instance in (∞,1)-category theory its says that:
a class of 1-morphisms in an (∞,1)-category satisfies two out of 3, if for every 2-morphism of the form
f↗ ⇓ ≃ ↘ g →h \array{ & {}^{\mathllap{}f}\nearrow &\Downarrow^{\simeq}& \searrow^{\mathrlap{g}} \\ &&\stackrel{h}{\to}&& }
we have that if two of ff, gg and hh are in CC, then so is the third.
Examples
-
The class of isomorphisms in any category satisfies 2-out-of-3. This case is the archetype of most of the cases in which the property is invoked: 2-out-of-3 is characteristic of morphisms that have a notion of inverse.
-
A category with weak equivalences is defined as a category with a subcategory that contains all isomorphisms and satisfies 2-out-of-3.
Last revised on June 10, 2017 at 18:17:44. See the history of this page for a list of all contributions to it.