lie-algebras-and-their-representations

diff --git a/sections/complete-reducibility.tex b/sections/complete-reducibility.tex
@@ -608,9 +608,9 @@ This is all well and good, but what does any of this have to do with complete
 reducibility? Well, in general cohomology theories really shine when one is
 trying to control obstructions of some kind. In our case, the bifunctor
 \(H^1(\mathfrak{g}, \operatorname{Hom}(-, -)) :
-\mathfrak{g}\text{-}\mathbf{Mod} \times \mathfrak{g}\text{-}\mathbf{Mod} \to
-\mathbf{Ab}\) classifies obstructions to complete reducibility.
-Explicitly\dots
+\mathfrak{g}\text{-}\mathbf{Mod}^{\operatorname{op}} \times
+\mathfrak{g}\text{-}\mathbf{Mod} \to K\text{-}\mathbf{Vect}\) classifies
+obstructions to complete reducibility. Explicitly\dots
 
 \begin{theorem}
   Given \(\mathfrak{g}\)-modules \(N\) and \(L\), there is a one-to-one