Redirected from "right lifting property".
Contents
Context
Category theory
Factorization systems
Contents
Idea
The lifting property is a property of a pair of morphisms in a category . It is used in homotopy theory within algebraic topology to define properties of morphisms starting from an explicitly given class of morphisms. It appears in a prominent way in the theory of model categories , an axiomatic framework for homotopy theory introduced by Daniel Quillen . It is also used in the definition of a factorization system , and of a weak factorization system , notions related to but less restrictive than the notion of a model category. A number of elementary notions may also be expressed using the lifting property starting from a list of (counter)examples.
Often it is useful to think of lifting properties as a expressing a kind of qualitative negation (“Quillen negation ”): The morphisms with the left/right lifting property against those in a class P P tend to be characterized by properties opposite of those in P P . For example, a morphism in Sets is surjective iff it has the right lifting property against the archetypical non-surjective map ∅ → { * } \varnothing \to \{*\} , and injective iff it has either left or right lifting property against the archetypical non-injective map { x 1 , x 2 } → { * } \{x_1,x_2\}\to \{*\} . (For more such examples see at separation axioms in terms of lifting properties .)
Definition
Definition
(lifting properties of morphisms) A morphism i i in a category has the left lifting property with respect to a morphism p p , and p p also has the right lifting property with respect to i i , sometimes denoted i ⧄ p i\,\,⧄\,\, p or i ↓ p i\downarrow p , iff the following implication holds for each morphism f f and g g in the category:
if the outer square of the following diagram commutes, then there exists h h completing the diagram, i.e. for each f : A → X f:A\to X and g : B → Y g:B\to Y such that p ∘ f = g ∘ i p\circ f = g \circ i there exists h : B → X h:B\to X such that h ∘ i = f h\circ i = f and p ∘ h = g p\circ h = g .
This is sometimes also known as the morphism i i being ‘’weakly orthogonal to’‘ the morphism p p ; however, ‘’orthogonal to’‘ will refer to the stronger property that whenever f f and g g are as above, the diagonal morphism h h exists and is also required to be unique.
that the corresponding unique morphisms ∅ ⟶ B \varnothing \longrightarrow B (from the initial object ) has the left lifting property in the sense of Def. (against the given morphism p p ):
that the unique morphism X ⟶ * X \longrightarrow \ast (to the terminal object ) has the right lifting property (against the given morphism i i ):
Definition
(orthogonal class /Quillen negation ) Given a class M ⊂ Mor ( 𝒞 ) M \;\subset\; Mor(\mathcal{C}) of morphisms in a category 𝒞 \mathcal{C} , its
left weak orthogonal class or left Quillen negation M ⧄ \multiscripts{^⧄}{M}{}
or
right weak orthogonal class or right Quillen negation M ⧄ \multiscripts{}{M}{^⧄}
is the class of all morphisms which have the left, respectively right, lifting property (in the sense of Def. ) with respect to each morphism in the class M M :
M ⧄ ≔ { p ∈ Mor ( 𝒞 ) | ∀ i ∈ M i ⧄ p } , ⧄ M ≔ { i ∈ Mor ( 𝒞 ) | ∀ p ∈ M i ⧄ p } .
M^{⧄}
\;\coloneqq\;
\Big\{
p \,\in\, Mor(\mathcal{C})
\;\big\vert\;
\underset{i \in M}{\forall}
\; i \,⧄\, p
\Big\},
\;\;\;\;\;
{}^{⧄}M
\;\coloneqq\;
\Big\{
i \,\in\, Mor(\mathcal{C})
\;\big\vert\;
\underset{p \in M}{\forall}
\; i \,⧄\, p
\Big\}
\,.
Examples of lifting properties
Decyphering notation in most of the examples below leads to standard definitions or reformulations. The intuition behind most examples below is that the class of morphisms consists of simple or archetypal examples related to the property defined.
We use the notation of Def. .
Elementary examples
Sets
In Set ,
{ ∅ → { * } } ⧄ = Srjctv
\big\{
\varnothing \to \{*\}\big
\}^{⧄}
\;\;\;
=
\;\;\;
Srjctv
is the class of surjective functions ,
( { a , b } → { * } ) ⧄ = Injctv
\big( \{a,b\}\to \{*\} \big)^{⧄}
\;\;\;
=
\;\;\;
Injctv
is the class of injective functions .
Modules
In the category RMod of modules over a commutative ring R R (recalling that we use thenotation of Def. ):
The surjective homomorphisms are those with the right lifting property against the initial homomorphism from the zero module into the ground ring :
(1) { 0 → R } ⧄ = Srjctv .
\{ 0 \to R \}^{⧄}
\;\;\;=\;\;\;
Srjctv
\,.
The injective homomorphisms are those with the right lifting property against the terminal homomorphism from the ground ring into the zero module :
(2) { R → 0 } ⧄ = Injctv .
\{ R \to 0 \}^{⧄}
\;\;\;=\;\;\;
Injctv
\,.
An R R -module M M is projective iff (by direct unwinding of the definitions of projective objects and lifts) the initial morphism 0 → R 0 \to R (out of the zero module into the ground ring ) has the left lifting property against all surjective homomorphisms.
With the notation of Def. this reads as follows:
M projective ⇔ { 0 → M } ⧄ Srjctv ⇔ (1) { 0 → M } ⧄ ( { 0 → R } ⧄ ) ⇔ { 0 → M } ∈ ( { 0 → R } ⧄ ) ⧄
M\;\text{projective}
\;\;\;\;\;
\Leftrightarrow
\;\;\;\;\;
\{ 0 \to M \}
\;⧄\;
Srjctv
\;\;\;\;\;
\overset{
\text{(1) }
}{
\Leftrightarrow
}
\;\;\;\;\;
\{ 0 \to M \}
\;⧄\;
\Big(
\{ 0 \to R \}^{⧄}
\Big)
\;\;\;\;\;
\Leftrightarrow
\;\;\;\;\;
\{ 0 \to M \}
\;\in\;
\multiscripts{^{⧄}}
{
\Big(
\{ 0 \to R \}^{^⧄}
\Big)
}{}
Groups
In the category Grp of groups ,
{ ℤ → 0 } ⧄ r \{\mathbb{Z} \to 0\}^{⧄ r} , resp. { 0 → ℤ } ⧄ r \{0\to \mathbb{Z}\}^{⧄ r} , is the class of injections, resp. surjections (where ℤ \mathbb{Z} denotes the infinite cyclic group ),
A group F F is a free group iff 0 → F 0\to F is in { 0 → ℤ } ⧄ r ℓ , \{0\to \mathbb{Z} \}^{⧄ r\ell},
A group A A is torsion-free iff 0 → A 0\to A is in { n ℤ → ℤ : n ≥ 0 } ⧄ r , \{ n \mathbb{Z} \to \mathbb{Z} : n\ge0 \}^{⧄ r},
A subgroup A A of B B is pure? iff A → B A \to B is in { n ℤ → ℤ : n ≥ 0 } ⧄ r . \{ n\mathbb{Z}\to \mathbb{Z} : n\ge0 \}^{⧄ r}.
( * → 1 ) ⧄ l (*\to 1)^{⧄ l} is the class of retracts
( 1 → * ) ⧄ r (1\to *)^{⧄ r} is the class of split homomorphisms
( 0 ⟶ ℤ ) ⧄ r (0\longrightarrow \mathbb{Z})^{⧄ r} is the class of surjections
( ℤ → 1 ) ⧄ r (\mathbb{Z}\to 1)^{⧄ r} is the class of injections
a group F F is free iff 1 → F 1\to F is in ( 0 ⟶ ℤ ) ⧄ rl (0\longrightarrow \mathbb{Z})^{⧄rl}
a group A A is Abelian iff A → 1 A\to 1 is in ( 𝔽 2 → ℤ × ℤ ) ⧄ r ( \mathbb{F}_2 \to \mathbb{Z}\times\mathbb{Z})^{⧄ r}
group G G can be obtained from H H by adding commutation relations, i.e.~the kernel of H → G H\to G is generated by commutators [ h 1 , h 2 ] [h_1,h_2] , h 1 , h 2 ∈ H h_1,h_2\in H , iff H → G H\to G is in ( 𝔽 2 → ℤ × ℤ ) ⧄ rl ( \mathbb{F}_2 \to \mathbb{Z}\times\mathbb{Z})^{⧄rl}
subgroup H H of G G is the normal span of substitutions in words w 1 , . . , w i w_1,..,w_i of the free group 𝔽 n \mathbb{F}_n iff G → G / H G \to G/H is in ( 𝔽 n → 𝔽 n / ≤ w 1 , . . . , w i ≥ ) ⧄ rl ( \mathbb{F}_n \to \mathbb{F}_n/\le\!w_1,...,w_i\!\ge)^{⧄rl}
{ 0 → A : A abelian } ⧄ ℓ l \{0\to A : A\,\,\text{ abelian}\}^{⧄ \ell l} is the class of homomorphisms whose kernel is perfect
For a finite group G G , in the category of finite groups,
{ 0 → ℤ / p ℤ } ⧄ G → 1 \{0\to {\mathbb{Z}}/p{\mathbb{Z}}\} \,\,⧄\,\, G\to 1 iff the order of G G is prime to p p ,
G → 1 ∈ ( 0 → ℤ / p ℤ ) ⧄ rr G\to 1 \in (0\to {\mathbb{Z}}/p{\mathbb{Z}})^{⧄ rr} iff G G is a
p
p
-group ,
H H is nilpotent iff the diagonal map H → H × H H\to H\times H is in ( 1 → * ) ⧄ ℓ r (1\to *)^{⧄ \ell r} where ( 1 → * ) (1\to *) denotes the class of maps { 1 → G : G arbitrary } , \{ 1\to G : G \text{ arbitrary}\},
a finite group H H is soluble? iff 1 → H 1\to H is in { 0 → A : A abelian } ⧄ ℓ r = { [ G , G ] → G : G arbitrary } ⧄ ℓ r . \{0\to A : A\,\,\text{ abelian}\}^{⧄ \ell r}=\{[G,G]\to G : G\,\,\text{ arbitrary } \}^{⧄ \ell r}.
Moreover,
{ 0 → G : G arbitrary } ⧄ ℓ r \{0\to G : G\,\,\text{ arbitrary}\}^{⧄ \ell r} is the class of subnormal subgroups
{ 0 → A : A abelian } ⧄ ℓ r = { [ G , G ] → G : G arbitrary } ⧄ ℓ r \{0\to A : A\,\,\text{ abelian}\}^{⧄ \ell r}=\{[G,G]\to G : G\,\,\text{ arbitrary } \}^{⧄ \ell r} , and is the class of subgroups H ≤ G H\leq G such that there is a chain of subnormal subgroups H = G 0 ⊲ G 1 ⊲ … ⊲ G n = G H=G_0 \vartriangleleft G_1 \vartriangleleft \ldots \vartriangleleft G_n =G such that G i + 1 / G i G_{i+1}/G_{i} is Abelian, for i = 0 , . . . , n − 1 i=0,...,n-1 .
{ 1 → S } ⧄ ℓ r \{1 \to S\}^{⧄ \ell r} is the class of subgroups H ≤ G H\leq G such that there is a chain of subnormal subgroups H = G 0 ⊲ G 1 ⊲ … ⊲ G n = G H=G_0 \vartriangleleft G_1 \vartriangleleft \ldots \vartriangleleft G_n =G such that G i + 1 / G i G_{i+1}/G_{i} embeds into S S , for i = 0 , . . . , n − 1 i=0,...,n-1 .
( ℤ / p ℤ ⟶ 0 ) ⧄ r (\mathbb{Z}/p\mathbb{Z}\longrightarrow 0)^{⧄r} is the class of homomorphisms whose kernel has no elements of order p p
( ℤ / p ℤ ⟶ 0 ) ⧄ rr (\mathbb{Z}/p\mathbb{Z}\longrightarrow 0)^{⧄rr} is the class of surjective homomorphisms whose kernel is a p p -group
In algebraic topology and in model categories
Lifting properties are paramount in homotopy theory and algebraic topology . In “abstract homotopy theory” lifting properties are encoded in the structures of model categories , whose defintion revolves all around compatible classes of weak factorization systems . In particular:
Serre fibrations of topological spaces
The classical model structure on topological spaces Top Qu Top_{Qu} is controlled by the following lifting properties:
consider let C 0 C_0 be the class of maps S n → D n + 1 S^n\to D^{n+1} , embeddings of the boundary S n = ∂ D n + 1 S^n=\partial D^{n+1} of a ball into the ball D n + 1 D^{n+1} . Let WC 0 WC_0 be the class of maps embedding the upper semi-sphere into the disk. WC 0 ⧄ ℓ , WC 0 ⧄ ℓ r , C 0 ⧄ ℓ , C 0 ⧄ ℓ r WC_0^{⧄ \ell}, WC_0^{⧄ \ell r}, C_0^{⧄ \ell}, C_0^{⧄ \ell r} are the classes of Serre fibrations , acyclic cofibrations, acyclic fibrations, and cofibrations. Hovey, Model Categories, Def. 2.4.3, Th.2.4.9
Hurewicz fibrations of topological spaces
A map f : U → B f:U\to B has the ‘’path lifting property’‘ iff { 0 } → [ 0 , 1 ] ⧄ f \{0\}\to [0,1] \,\,⧄\,\, f where { 0 } → [ 0 , 1 ] \{0\} \to [0,1] is the inclusion of one end point of the closed interval into the interval [ 0 , 1 ] [0,1] .
A map f : U → B f:U\to B has the homotopy lifting property iff X → X × [ 0 , 1 ] ⧄ f X \to X\times [0,1] \,\,⧄\,\, f where X → X × [ 0 , 1 ] X\to X\times [0,1] is the map x ↦ ( x , 0 ) x \mapsto (x,0) .
Kan fibrations of simplicial sets
The classical model structure on simplicial sets sSet Qu sSet_{Qu} is controlled by the following lifting properties:
Let C 0 C_0 be the class of boundary inclusions ∂ Δ [ n ] → Δ [ n ] \partial \Delta[n] \to \Delta[n] , and let WC 0 WC_0 be the class of horn inclusions Λ i [ n ] → Δ [ n ] \Lambda^i[n] \to \Delta[n] . Then the classes of Kan fibrations , acyclic cofibrations, acyclic fibrations, and cofibrations are, respectively, WC 0 ⧄ ℓ , WC 0 ⧄ ℓ r , C 0 ⧄ ℓ , C 0 ⧄ ℓ r WC_0^{⧄ \ell}, WC_0^{⧄ \ell r}, C_0^{⧄ \ell}, C_0^{⧄ \ell r} . (Model Categories, Def. 3.2.1, Th.3.6.5)
Degreewise surjections of chain complexes
A model structure on chain complexes is controlled by the following lifting properties:
Let Ch (R R ) be the category of chain complexes over a commutative ring R R . Let C 0 C_0 be the class of maps of form ⋯ → 0 → R → 0 → 0 → ⋯ → ⋯ → R → id R → 0 → 0 → ⋯ , \cdots\to 0\to R \to 0 \to 0 \to \cdots \to \cdots \to R \xrightarrow{\operatorname{id}} R \to 0 \to 0 \to \cdots, and WC 0 WC_0 be ⋯ → 0 → 0 → 0 → 0 → ⋯ → ⋯ → R → id R → 0 → 0 → ⋯ . \cdots \to 0\to 0 \to 0 \to 0 \to \cdots \to \cdots \to R \xrightarrow{\operatorname{id}} R \to 0 \to 0 \to \cdots. Then WC 0 ⧄ ℓ , WC 0 ⧄ ℓ r , C 0 ⧄ ℓ , C 0 ⧄ ℓ r WC_0^{⧄ \ell}, WC_0^{⧄ \ell r}, C_0^{⧄ \ell}, C_0^{⧄ \ell r} are the classes of fibrations, acyclic cofibrations, acyclic fibrations, and cofibrations. (Model Categories, Def. 2.3.3, Th.2.3.11)
Topology
Many elementary properties in general topology , such as compactness, being dense or open, can be expressed as iterated Quillen negation of morphisms of finite topological spaces in the category Top of topological spaces. This leads to a concise, if useless, notation for a number of properties. Items below use notation for morphisms of finite topological spaces defined in the page on separation axioms in terms of lifting properties , and some examples are explained there in detail.
In the category of uniform spaces or metric spaces with uniformly continuous maps.
A space X X is complete iff { 1 / n } n ∈ ℕ → { 0 } ∪ { 1 / n } n ∈ ℕ ⧄ X → { 0 } \{1/n\}_{n \in \mathbb{N}} \to \{0\}\cup \{1/n\}_{n \in \mathbb{N}} \,\,⧄\,\, X\to \{0\} where { 1 / n } n ∈ ℕ → { 0 } ∪ { 1 / n } n ∈ ℕ \{1/n\}_{n \in \mathbb{N}} \to \{0\}\cup \{1/n\}_{n \in \mathbb{N}} is the obvious inclusion between the two subspaces of the real line with induced metric, and { 0 } \{0\} is the metric space consisting of a single point,
A subspace i : A → X i:A\to X is closed iff { 1 / n } n ∈ ℕ → { 0 } ∪ { 1 / n } n ∈ ℕ ⧄ A → X . \{1/n\}_{n \in \mathbb{N}} \to \{0\}\cup \{1/n\}_{n \in \mathbb{N}} \,\,⧄\,\, A\to X.
In topological spaces
The following lifting properties are calculated in the category of (all) topological spaces. Below we use notation defined in the page on lifting properties
Iterated lifting properties
( ∅ ⟶ { o } ) ⧄ r (\emptyset\longrightarrow \{o\})^{⧄r} is the class of surjections
( ∅ ⟶ { o } ) ⧄ r (\emptyset\longrightarrow \{o\})^{⧄r} is the class of maps A ⟶ B A\longrightarrow B where A ≠ ∅ A\neq \emptyset or A = B A=B
( ∅ ⟶ { o } ) ⧄ rr = { { x ↔ y → c } ⟶ { x = y = c } } ⧄ l = { { x ↔ y ← c } ⟶ { x = y = c } } ⧄ l (\emptyset\longrightarrow \{o\})^{⧄rr}=\{\{x\leftrightarrow y\rightarrow c\}\longrightarrow\{x=y=c\}\}^{⧄l}=\{\{x\leftrightarrow y\leftarrow c\}\longrightarrow\{x=y=c\}\}^{⧄l} is the class of subsets, i.e. injective maps A ↪ B A\hookrightarrow B where the topology on A A is induced from B B
( ∅ ⟶ { o } ) ⧄ lr (\emptyset\longrightarrow \{o\})^{⧄lr} is the class of maps ∅ ⟶ B \emptyset\longrightarrow B , B B arbitrary
( ∅ ⟶ { o } ) ⧄ lrr (\emptyset\longrightarrow \{o\})^{⧄lrr} is the class of maps A ⟶ B A\longrightarrow B which admit a section
( ∅ ⟶ { o } ) ⧄ l (\emptyset\longrightarrow \{o\})^{⧄l} consists of maps f : A ⟶ B f:A\longrightarrow B such that either A ≠ ∅ A\neq \emptyset or A = B = ∅ A=B=\emptyset
( ∅ ⟶ { o } ) ⧄ rl (\emptyset\longrightarrow \{o\})^{⧄rl} is the class of maps of form A ⟶ A ⊔ D A\longrightarrow A\sqcup D where D D is discrete
( ∅ ⟶ { o } ) ⧄ rll (\emptyset\longrightarrow \{o\})^{⧄rll} is the class of maps A → B A\to B such that each connected subset of B B intersects the image of A A ; for “nice” spaces it means that the map π 0 ( A ) → π 0 ( B ) \pi_0(A)\to \pi_0(B) is surjective, where “nice” means that connected componets are both open and closed.
( ∅ ⟶ { o } ) ⧄ rllr (\emptyset\longrightarrow \{o\})^{⧄rllr} is the class of maps of form A → A ⊔ B A\to A\sqcup B where A ⊔ B A\sqcup B denotes the disjoint union of A A and B B .
{ { z ↔ x ↔ y → c } ⟶ { z = x ↔ y = c } } ⧄ l = { { c } ⟶ { o → c } } ⧄ lr \{ \{z\leftrightarrow x\leftrightarrow y\rightarrow c\}\longrightarrow\{z=x\leftrightarrow y=c\} \}^{⧄l} = \{\{c\}\longrightarrow \{o\rightarrow c\}\}^{⧄lr} is the class of closed inclusions A ⊂ B A\subset B where A A is closed
{ { z ↔ x ↔ y ← c } ⟶ { z = x ↔ y = c } } ⧄ l \{ \{z\leftrightarrow x\leftrightarrow y\leftarrow c\}\longrightarrow\{z=x\leftrightarrow y=c\} \}^{⧄l} is the class of open inclusions A ⊂ B A\subset B where A A is open
{ { x ↔ y → c } ⟶ { x ↔ y = c } } ⧄ l \{ \{x\leftrightarrow y\rightarrow c\}\longrightarrow\{x\leftrightarrow y=c\} \}^{⧄l} is the class of closed maps A ⟶ B A\longrightarrow B where the topology on A A is pulled back from B B
{ { x ↔ y ← c } ⟶ { x ↔ y = c } } ⧄ l \{ \{x\leftrightarrow y\leftarrow c\}\longrightarrow\{x\leftrightarrow y=c\} \}^{⧄l} is the class of open maps A ⟶ B A\longrightarrow B where the topology on A A is pulled back from B B
( { b } ⟶ { a ↘ b } ) ⧄ l (\{b\}\longrightarrow \{a{ \searrow}b\})^{⧄l} is the class of maps with dense image
( { b } ⟶ { a ↘ b } ) ⧄ lr = { { z ↔ x ↔ y → c } ⟵ { z = x ↔ y = c } } ⧄ l (\{b\}\longrightarrow \{a{ \searrow}b\})^{⧄lr}=\{ \{z\leftrightarrow x \leftrightarrow y\rightarrow c\}\longleftarrow\{z=x\leftrightarrow y=c\} \}^{⧄l} is the class of closed subsets A ⊂ X A \subset X , A A a closed subset of X X
{ { z ↔ x ↔ y ← c } ⟵ { z = x ↔ y = c } } ⧄ l \{ \{z\leftrightarrow x \leftrightarrow y\leftarrow c\}\longleftarrow\{z=x\leftrightarrow y=c\} \}^{⧄l} is the class of open subsets A ⊂ X A \subset X , A A a open subset of X X
( { a } ⟶ { a ↘ b } ) ⧄ lr (\{a\}\longrightarrow \{a{ \searrow}b\})^{⧄lr} is the class of subsets A ⊂ X A \subset X such that A A is the intersection of open subsets containing A A
( ( { a } ⟶ { a ↘ b } ) ≤ 4 ⧄ r ) ⧄ lr ((\{a\}\longrightarrow \{a \searrow b\})^{⧄r}_{\le 4})^{⧄lr} is roughly the class of proper maps
Separation axioms
Here follows a list of examples of well-known properties defined by iterated Quillen negation starting from maps between finite topological spaces , often with less than 5 elements. See at separation axioms in terms of lifting properties for more on the following.
a space K K is non-empty iff K ⟶ { o } K\longrightarrow \{o\} is in ( ∅ ⟶ { o } ) ⧄ l (\emptyset\longrightarrow \{o\})^{⧄l}
a space K K is empty iff K ⟶ { o } K \longrightarrow \{o\} is in ( ∅ ⟶ { o } ) ⧄ ll (\emptyset\longrightarrow \{o\})^{⧄ll}
a space K K is T 0 T_0 iff K ⟶ { o } K \longrightarrow \{o\} is in ( { a ↔ b } ⟶ { a = b } ) ⧄ r (\{a\leftrightarrow b\}\longrightarrow \{a=b\})^{⧄r}
a space K K is T 1 T_1 iff K ⟶ { o } K \longrightarrow \{o\} is in ( { a ↘ b } ⟶ { a = b } ) ⧄ r (\{a{ \searrow}b\}\longrightarrow \{a=b\})^{⧄r}
a space X X is Hausdorff iff for each injective map { x , y } ↪ X \{x,y\} \hookrightarrow X it holds { x , y } ↪ X ⧄ { x ↘ o ↙ y } ⟶ { x = o = y } \{x,y\} \hookrightarrow {X} \,⧄\, \{ {x} { \searrow} {o} { \swarrow} {y} \} \longrightarrow \{ x=o=y \}
a non-empty space X X is regular (T3) iff for each arrow { x } ⟶ X \{x\} \longrightarrow X it holds { x } ⟶ X ⧄ { x ↘ X ↙ U ↘ F } ⟶ { x = X = U ↘ F } \{x\} \longrightarrow {X} \,⧄\, \{x{ \searrow}X{ \swarrow}U{ \searrow}F\} \longrightarrow \{x=X=U{ \searrow}F\}
a space X X is normal (T4) iff ∅ ⟶ X ⧄ { a ↙ U ↘ x ↙ V ↘ b } ⟶ { a ↙ U = x = V ↘ b } \emptyset \longrightarrow {X} \,⧄\, \{a{ \swarrow}U{ \searrow}x{ \swarrow}V{ \searrow}b\}\longrightarrow \{a{ \swarrow}U=x=V{ \searrow}b\}
a space X X is completely normal iff ∅ ⟶ X ⧄ [ 0 , 1 ] ⟶ { 0 ↙ x ↘ 1 } \emptyset\longrightarrow {X} \,⧄\, [0,1]\longrightarrow \{0{ \swarrow}x{ \searrow}1\} where the map [ 0 , 1 ] ⟶ { 0 ↙ x ↘ 1 } [0,1]\longrightarrow \{0{ \swarrow}x{ \searrow}1\} sends 0 0 to 0 0 , 1 1 to 1 1 , and the rest ( 0 , 1 ) (0,1) to x x
a space X X is hereditary normal iff ∅ → X ⧄ { x ← au ↔ u ′ ← u ← uv → v → v ′ ↔ bv → x } ⟶ { x ← au ↔ u ′ = u ← uv → v = v ′ ↔ bv → x } \emptyset \to X ⧄
\{ x \leftarrow au \leftrightarrow u' \leftarrow u \leftarrow uv \rightarrow v \rightarrow v'\leftrightarrow bv \rightarrow x \}
\longrightarrow
\{ x \leftarrow au \leftrightarrow u' = u \leftarrow uv \rightarrow v = v'\leftrightarrow bv \rightarrow x \}
a space X X is path-connected iff { 0 , 1 } ⟶ [ 0 , 1 ] ⧄ X ⟶ { o } \{0,1\} \longrightarrow [0,1] \,⧄\, {X} \longrightarrow \{o\}
a space X X is path-connected iff for each Hausdorff compact space K K and each injective map { x , y } ↪ K \{x,y\} \hookrightarrow K it holds { x , y } ↪ K ⧄ X ⟶ { o } \{x,y\} \hookrightarrow {K} \,⧄\, {X} \longrightarrow \{o\}
A map X ⟶ Y X\longrightarrow Y is a quotient iff X → Y ⧄ { o → c } ⟶ { o ↔ c } X\to Y \,\,⧄\,\, \{o \rightarrow c\}\longrightarrow \{o\leftrightarrow c\}
For every pair of disjoint closed subsets of X X , the closures of their images of Y Y do not intersect, if X → Y ⧄ { x ← o → y } ⟶ { x = o = y } X\to Y \,\,⧄\,\, \{x\leftarrow o\rightarrow y\}\longrightarrow \{x=o=y\}
A topological space X X is extremally disconnected iff ∅ → X ⧄ { u → a , b ← v } ⟶ { u → a = b ← v } \emptyset\to X \,\,⧄\,\, \{u\rightarrow a,b\leftarrow v\}\longrightarrow \{u\rightarrow a=b\leftarrow v\}
A topological space X X is zero-dimensional iff ∅ → X ⧄ { a ← u , v → b } ⟶ { a ← u = v → b } \emptyset\to X \,\,⧄\,\, \{a\leftarrow u,v\rightarrow b\}\longrightarrow \{a\leftarrow u=v\rightarrow b\}
A topological space X X is ultranormal iff ∅ → X ⧄ { u → a , b ← v } ⟶ { a ← u = v → v } \emptyset\to X \,\,⧄\,\, \{u\rightarrow a,b\leftarrow v\}\longrightarrow \{a\leftarrow u=v\rightarrow v\}
{ • } ⟶ A \{\bullet\}\longrightarrow A is in ( ∅ ⟶ { o } ) ⧄ rll (\emptyset\longrightarrow \{o\})^{⧄rll} iff A A is connected
Y Y is totally disconnected iff { • } → y Y \{\bullet\}\xrightarrow y Y is in ( ∅ ⟶ { o } ) ⧄ rllr (\emptyset\longrightarrow \{o\})^{⧄rllr} for each map { • } → y Y \{\bullet\}\xrightarrow y Y (or, in other words, each point y ∈ Y y\in Y ).
a Hausdorff space K K is compact iff K ⟶ { o } K\longrightarrow \{o\} is in ( ( { o } ⟶ { o ↘ c } ) ≤ 5 ⧄ r ) ⧄ lr ((\{o\}\longrightarrow \{o{ \searrow}c\})^{⧄r}_{\le5})^{⧄lr}
a Hausdorff space K K is compact iff K ⟶ { o } K\longrightarrow \{o\} is in ${ { a ↔ b } ⟶ { a = b } , { o ↘ c } ⟶ { o = c } , { c } ⟶ { o ↘ c } , { a ↙ o ↘ b } ⟶ { a = o = b } } ⧄ lr
\{\, \{a\leftrightarrow b\}\longrightarrow \{a=b\},\, \{o{ \searrow}c\}\longrightarrow \{o=c\},\,
\{c\}\longrightarrow \{o{ \searrow}c\},\,\{a{ \swarrow}o{ \searrow}b\}\longrightarrow \{a=o=b\}\,\,\}^{⧄lr} $
a topological space X X is compactly generated iff ∅ ⟶ X \varnothing\longrightarrow X is in ( { { 0 ↔ 1 } → { 0 = 1 } } ∪ { ∅ → K : K compact } ) ⧄ rl \big(\{\{0 \leftrightarrow 1\}\to\{0=1\}\}\cup\{\varnothing \to K \,\,:\,\, K\,\, \text{ compact}\}\big)^{⧄rl}
a space D D is discrete iff ∅ ⟶ D \emptyset \longrightarrow D is in ( ∅ ⟶ { o } ) ⧄ rl (\emptyset\longrightarrow \{o\})^{⧄rl}
a space D D is codiscrete iff D ⟶ { o } {D} \longrightarrow \{o\} is in( { a , b } ⟶ { a = b } ) ⧄ rr = ( { a ↔ b } ⟶ { a = b } ) ⧄ lr (\{a,b\}\longrightarrow \{a=b\})^{⧄rr}= (\{a\leftrightarrow b\}\longrightarrow \{a=b\})^{⧄lr}
a space K K is connected or empty iff K ⟶ { o } K\longrightarrow \{o\} is in ( { a , b } ⟶ { a = b } ) ⧄ l (\{a,b\}\longrightarrow \{a=b\})^{⧄l}
a space K K is totally disconnected and non-empty iff K ⟶ { o } K\longrightarrow \{o\} is in ( { a , b } ⟶ { a = b } ) ⧄ lr (\{a,b\}\longrightarrow \{a=b\})^{⧄lr}
a space K K is connected and non-empty iff for some arrow { o } ⟶ K \{o\}\longrightarrow K it holds that { o } ⟶ K \{o\}\longrightarrow K is in ( ∅ ⟶ { o } ) ⧄ rll = ( { a } ⟶ { a , b } ) ⧄ l (\emptyset\longrightarrow \{o\})^{⧄rll} = (\{a\}\longrightarrow \{a,b\})^{⧄l}
A topological space X X has Lebesgue dimension at most n n iff for each finite set I I ∅ → X ⧄ { ( F , J ) : 1 ≤ | F | ≤ n + 1 , F ⊂ J ⊂ I } ⟶ { J : 1 ≤ | J | , J ⊂ I } \emptyset\to X \,\,⧄\,\,
\{ (F,J): 1\leq |F|\leq n+1, F\subset J\subset I\}\longrightarrow
\{ J: 1\leq |J|, J\subset I\}
where the order on the domain { ( F , J ) : 1 ≤ | F | ≤ n + 1 , F ⊂ J ⊂ I } \{ (F,J): 1\leq |F|\leq n+1, F\subset J\subset I\} is given by ( F , J ) → ( F ′ , J ′ ) (F,J)\to (F',J') iff F ⊂ F ′ F\subset F' and J ⊂ J ′ J\subset J' .
A topological space X X has Lebesgue dimension at most n n iff for each closed subset A A of X X A → X ⧄ 𝕊 n → { o }
A\to X \,\,⧄\,\, \mathbb{S}^n\to \{o\} where 𝕊 n \mathbb{S}^n denotes the n n -sphere.
Homotopy theory
A finite CW complex X X is contractible iff X ⟶ { • } ∈ { { a ↙ U ↘ x ↙ V ↘ b } ⟶ { a ↙ U = x = V ↘ b } } ⧄ rl X \longrightarrow {\{\bullet\}} \in \{ \{a{ \swarrow}U{ \searrow}x{ \swarrow}V{ \searrow}b\}\longrightarrow \{a{ \swarrow}U=x=V{ \searrow}b\}\}^{⧄rl}
The map defining Separation Axiom T 4 T_4 above is a trivial Serre fibration, hence their ⧄ rl {}^{⧄rl} -orthogonals are classes of trivial fibrations.
Conjecture
If f f is a “nice” map, then f f is a trivial fibration iff
f ∈ { { a ↙ U ↘ x ↙ V ↘ b } ⟶ { a ↙ U = x = V ↘ b } } ⧄ rl f\in\{ \{a{ \swarrow}U{ \searrow}x{ \swarrow}V{ \searrow}b\}\longrightarrow \{a{ \swarrow}U=x=V{ \searrow}b\}
\}^{⧄rl}
One can make the same conjecture for the map defining Separation Axiom T 6 T_6 (hereditary normal) since it is also a trivial Serre fibration.
Model theory
In model theory, a number of the Shelah’s divining lines, namely NOP , NSOP , NSOP i , NTP , NTP i NOP, NSOP, NSOP_i, NTP, NTP_i , and NATP NATP are expressed as Quillen lifting properties of form
A • → B • ⋌ M • → ⊤ A_\bullet \to B_\bullet \rightthreetimes M_\bullet\to\top
where ⊤ \top is the terminal object, and M M is a situs associated with a model and a formula, and A A and B B are objects of combinatorial nature, in the category of simplicial objects in the category of filters .