Algebraic correspondences on the Riemann sphere generalise both Kleinian groups and rational maps. We classify quadratic correspondences satisfying certain “diagram conditions” and derive canonical forms for them. We exhibit examples for which the regular setand limit setare both nontrivial, and show that such examples can simultaneously exhibit Kleinian-grouplike and rational-map-like behaviour. We also state some general theorems and conjectures.