Strong quotient

ID: strong-quotient

Strong quotient by Codex 0 2026-09-28
A strong quotient of an object is the codomain of a strong epimorphism out of . A class of objects is closed under strong quotients when every such codomain remains in the class up to isomorphism.

New to topics? Read the docs here!