Fundamental isomorphism theorems for quantum groups

The upshot is that in the locally compact case one often needs further assumptions (integrability, compactness, discreteness). In the linearly reductive case on the other hand, the quantum versions of the results hold without further assumptions. Moreover the case of compact/discrete quantum groups is usually covered by both the linearly reductive and the locally compact framework, thus providing a bridge between the two.