2
$\begingroup$

Fix a finitely well-complete category $\mathsf D$. Every strong factorization system $(\mathcal L,\mathcal R)$ such that $\mathcal L$ possesses the left cancellation property is known to induce a full replete reflective subcategory.

The action of the reflection $r$ on an object $D$ is the left factor of $D\to \bf 1$. I'm trying to work out the action of the reflection on a general arrow $f$ of $\mathsf D$, but I'm stuck. If $f\in \mathcal L$ then it's easy, but in the general case, there's a commutative diagram:

enter image description here

How to get the arrow $rX\to rD^\prime$?

$\endgroup$
2
  • 2
    $\begingroup$ Use the orthogonality property of a factorization system for $\lambda_D$ and $\rho_{D'}$. $\endgroup$ Aug 3, 2016 at 3:21
  • $\begingroup$ @MikeShulman thanks and sorry for the trivial question. If you could post this as an answer (even if only for the sake of not leaving it unanswered) I will gladly accept. $\endgroup$
    – Arrow
    Aug 3, 2016 at 18:58

1 Answer 1

1
$\begingroup$

Use the orthogonality property of a factorization system for $\lambda_D$ and $\rho_{D'}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.