A thin category classified by a surjective invariant is equivalent to a discrete category

Initializing...

A thin category classified by a surjective invariant is equivalent to a discrete category · Prove2Me