When X is a matrix algebra, it is a (very nontrivial) fact that the objects Y are precisely the central simple k-algebras of the same dimension, and the theory presented here is the first step in describing the Brauer group of a field in terms of cohomology.