The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Detecting Family
We say that is a detecting family in a Category
if collectively reflect isomorphisms
i.e. if is such that every with
factors uniquely through (a unique such that )
then is an Isomorphism.