4 ms·
It is not always done, but it is still correct, to replace the objects of a category with the identity morphisms. So in Top, it is totally correct to think of t
by mathgradthrow 3y ago
It is not always done, but it is still correct, to replace the objects of a category with the identity morphisms. So in Top, it is totally correct to think of topological space as the identity homeomorphism, which is indeed continuous.
- xanderlewis 3y agoI'm aware; in mathematics it's possible to replace almost anything with some other thing to make the statement you want to be true come true. But it's usually just gonna confuse everyone.
- mathgradthrow 3y agoWell the thing I chose to replace the thing with is actually isomorphic (type equivalent) to the thing I replaced. So that's quite a bit more constrained than "replacing anything with anything". Not only are the arrows the only thing that matters, but its cleaner to suppose that they're the only thing there is.