Implication Details
Assumptions: representable
Conclusions: continuous
Proof: This is standard, see Mac Lane, Ch. V, Theorem 4.1.
Show 11 functors using this implication
- binary coproduct functor on sets
- countable copower functor on sets
- doubling functor on sets
- forgetful functor for groups
- forgetful functor for rings
- forgetful functor for topological spaces
- forgetful functor for vector spaces
- identity functor on the category of sets
- covariant power set functor
- binary product functor on sets
- sequences functor on sets