All Questions
1 question
3
votes
1
answer
150
views
Internal characterizations of lifting properties?
This is basically a restatement of this question.
Two arrows $f,g$ are orthogonal, i.e satisfy $f\perp g$, iff the square below is a pullback
$$\require{AMScd} \begin{CD}
\mathsf C(B,X) @>{f^\...
- 10.5k