Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I linked to it, so here is jointly epimorphic family, our newest stub.
Is the definition given there equivalent to “the induced map from the coproduct is an epimorphism” when the category has sufficient numbers of coproducts?
Yes. But it’s an easy exercise in 1-category theory, which I leave to you. :)
I will take your word for it. I just didn’t feel like checking.
Mike has added this.
1 to 5 of 5