Skip to main content
1 of 4
johndoe
  • 523
  • 3
  • 7

Is a concretely reflective full concrete subcategory necessarily finally dense?

On p.371 of "The Joy of Cats", by J.Adamek H.Herrlich and G.E.Strecker:

Proposition 21.32

If a topological category $(\mathbf{A},U)$ is a finally dense full concrete subcategory of $(\mathbf{B},V)$, then $(\mathbf{A},U)$ is concretely reflective in $(\mathbf{B},V)$.

Is a concretely reflective full concrete subcategory necessarily finally dense?
johndoe
  • 523
  • 3
  • 7