# Tag Info

Accepted

### What is the right notion of a functor from an internal topological category to a topologically enriched category?

I don't believe it is possible to recover the "correct" notion of "functor $\mathcal{C}\to \rm Top$", as described at the other question you linked to, by viewing $\rm Top$ only as ...
• 58.9k
Accepted

### Proposition A.2.6.15 in HTT

Retracts of weak equivalences are weak equivalences. Now if $f'$ is a retract of $f$ and you start with such a diagram with $f'$ on the left, you can create a new diagram with $f$, the same $X', X''$ ...
• 8,310