In the Lifting theorem for finite spaces (Thm. 3.5, Eric Wofsey, quoted below),
can one relax the condition *"$A$ is a closed subset of a perfectly normal $X$"* to
*"$A\to X$ has the right lifting property with respect to $[0,1]\to \{0\leftarrow o \to 1\}$"* or even to *"$A\to X$ has the right lifting property with respect to $[0,1]\to \{o\}$"*?

Here $\{0\leftarrow o \to 1\}$ denotes the finite topological space with 2 closed points $0$ and $1$, and one open point $o$, and the map $[0,1]\to \{0\leftarrow o \to 1\}$ maps $0$ to $0$, and $1$ to $1$, and the rest $(0,1)$ to $o$.

Here is the statement of the theorem:

Theorem 3.5 (Lifting theorem for finite spaces).

Let $X$ be perfectly normal, $A \subset X$ be closed, and $Y$ be a finite space. Then if $f : X \to Y$ and $\tilde{g} : A \to |∆Y|$ is such that $\pi\tilde{g} = f|A$ for $\pi : |∆Y| \to Y$ the quotient map, there exists a lift $\tilde{f} : X \to|∆Y| $ such that $\pi \tilde{f} = f$ and $\tilde{f}|A = \tilde{g}$. Furthermore, any two such lifts are homotopic such that every stage of the homotopy is also such a lift.

Note that the first part of the theorem states the lifting property $$A\xrightarrow{f} X\rightthreetimes |\Delta Y|\xrightarrow{\pi}Y$$

Motivation. If this is possible, then one can concisely express the first part of the theorem as saying that

the geometric realisation $|\Delta Y| \to Y $ belongs to the left-right weak orthogonal (with respect to Quillen lifting property) of the map $[0,1] \to \{0\leftarrow o \to 1\}$, i.e. of the map $|\Delta Y_0| \to Sd(Y_0)$

where $Y_0=\{o\to c\} $ denotes the Sierpinski space, and $Sd(Y_0)=\{0\leftarrow o \to 1\}$ denotes the barycentric subdivision of $Y_0$, and $|.|$ denotes the geometric realisation.

In notation, $$ |\Delta Y| \to Y \in \{ [0,1]\to \{0\leftarrow o \to 1\}\}^{\rightthreetimes lr} $$

Note that the lifting property $\emptyset\to X \rightthreetimes [0,1]\to \{0\leftarrow o \rightarrow 1\}$ is a reformulation of the definition of "$X$ is perfectly normal": it says precisely that for each two closed subsets $A$ and $B$ of $X$ (the preimages of the closed points $0$ and $1$) there is a map $f:X\to [0,1]$ such that $f^{-1}(0)=A$ and $f^{-1}(1)=B$.

Also note that $Sd^2(Y_0)\to Sd(Y_0)$ can be given explicitly as $\{0\leftarrow o_1 \rightarrow o_2 \leftarrow o_3 \rightarrow 1\} \to \{0\leftarrow o_{o_1=o_2=o_3}\rightarrow 1\}$ mapping $0$ to $0$, and $1$ to $1$, and the rest $o_1,o_2,o_3$ to $o_{o_1=o_2=o_3}$.

In fact, it is tempting to replace the map $[0,1]\to \{a\leftarrow o \to b\}$ by the morphism of finite spaces $Sd^2(Y_0)\to Sd(Y_0)$ of the barycentric subdivision of the Sierpinksi space for the reason that both lifting properties below are equivalent to $X$ being normal:

i. $\emptyset\to X \rightthreetimes Sd^2(Y_0) \to Sd(Y_0) $

ii. (Urysohn lemma) $\emptyset\to X \rightthreetimes Sd^\infty(Y_0) \to Sd(Y_0) $ where $Sd^\infty(Y_0)$ denotes the inverse limit of barycentric subdivisions $$Sd^\infty(Y):=\lim(...\rightarrow Sd( ... Sd ( Y )..)\rightarrow ... \rightarrow Sd( Y)$$

Note that, as weak orthogonals are closed under limits, it is easy to see that $ Sd^\infty(Y_0) \to Sd(Y_0) \in \{ Sd^2 (Y_0)\to Sd( Y_0) \}^{\rightthreetimes lr}$.

Of course, (ii) suggests we need to replace the geometric realisation $|\Delta Y|$ of a finite space $Y$ by the inverse limit of barycentric subdivisions $ Sd^\infty(Y)$.

This leads to the following questions.

Question 1. Can one replace in Theorem 3.5 perfect normality by either normality or hereditary normality, and $|\Delta Y|\to Y$ by $Sd^\infty (Y)\to Y$ ?

Question 2. Is it true that for each finite space $Y$ $$ F\Delta^\infty (Y) \to Y \in \{ Sd^\infty(Y_0) \to Sd( Y_0) \}^{\rightthreetimes lr} ?$$

In fact, Question 2 might be oversimplified, and one might need to include morphisms corresponding to being a closed subsets or hereditary normal, see (iv-vi) below.

The following remarks might be helpful.

The considerations in Clader's thesis, Lemma 4.2 seem to imply that $|\Delta Y|\subset Sd^\infty(Y)$ is the subset of closed points, and also a deformation retract of $Sd^\infty(Y)$.

Both being a closed subset, and being perfectly normal, are lifting properties, and so are being normal and hereditary normal (see nlab for exlanation of notation used):

i. $X$ is perfectly normal iff $\emptyset \to X \rightthreetimes [0,1]\to\{a\leftarrow o \to b \}$

ii. (Urysohn lemma) $X$ is normal iff $\emptyset \to X \rightthreetimes Sd^\infty(\{a\leftarrow o \to b \}) \to\{a\leftarrow o \to b \}$

iii. $X$ is normal iff $\emptyset \to X \rightthreetimes Sd^2(\{ o \to c \})\to Sd(\{ o \to c \})$

iv. $A\to X$ is a closed subset iff $A\to X \rightthreetimes \{x\leftrightarrow y\rightarrow c\}\longrightarrow\{x\leftrightarrow y=c\} $

v. $A\to X$ is a closed map with topology on $A$ induced from $X$ iff $A\to X \rightthreetimes \{z\leftrightarrow x\leftrightarrow y\rightarrow c\}\longrightarrow\{z=x\leftrightarrow y=c\} $

vi. $X$ is hereditary normal iff $\emptyset \to X \rightthreetimes \{ \underset{X}{}{\swarrow} \overset{A\leftrightarrow U}{} {\searrow} \underset{U'}{}{\swarrow} \overset{W}{} {\searrow} \underset{V'}{}{\swarrow} \overset{V\leftrightarrow B}{}{\searrow} \underset{X}{} \} \longrightarrow \{U=U',V'=V\} $

Here $f \rightthreetimes g$ denotes that $f$ has the right lifting property with respect to $g$.

Related mathoverflow questions are How much of homotopy theory can be done using only finite topological spaces and Are finite spaces a model for finite CW-complexes, and characterization of normality by selection theorem.