Using categorical methods, a duality theory between reachability and observability is developed for linear systems over arbitrary rings. In particular, it is shown that a duality correspondence exists for systems with finitely generated R-modules as input, state and output modules if and only if R is a quasi-Frobenius ring.
