In category of Set the terminal object is also a separator (or generator). But this is not correct in general category. What condition would guarantee that the terminal object of a category if exists is also a separator? I thought of this one: Any morphism $!:C\rightarrow T $ can be extended uniquely along $u: C \rightarrow A$ for any object $A$. Many Thanks
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.
Here's how it works:
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top