Necessary and Sufficient Conditions for Controllability

The torsion free condition for controllability; the functor $\mathsf{Hom}_A(M,-)$, i.e. dependence on $\mathcal{F}$ (Lecture 6 will continue with this theme); a calculus of kernels, the elimination problem.